All Linear-Solid Varieties of Semirings

A variety of semirings is said to be solid if each of its identities is satisfied as hyperidentity. There are precisely four solid varieties of semirings. Each of them contains every derived algebra, where the both fundamental operations are replaced by arbitrary binary term operations. If a variety...

Full description

Bibliographic Details
Main Authors: Hounnon Hippolyte, Denecke Klaus
Format: Article
Language:English
Published: Sciendo 2019-06-01
Series:Discussiones Mathematicae - General Algebra and Applications
Subjects:
Online Access:https://doi.org/10.7151/dmgaa.1301
Description
Summary:A variety of semirings is said to be solid if each of its identities is satisfied as hyperidentity. There are precisely four solid varieties of semirings. Each of them contains every derived algebra, where the both fundamental operations are replaced by arbitrary binary term operations. If a variety contains all linear derived algebras, where the fundamental operations are replaced by term operations induced by linear terms, it is called linear-solid. We prove that a variety of semirings is solid if and only if it is linear-solid.
ISSN:2084-0373