[unknown]
Klaus Denecke, Jörg Koppitz, Nittiya Pabhapote (2008)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
A regular hypersubstitution is a mapping which takes every -ary operation symbol to an -ary term. A variety is called regular-solid if it contains all algebras derived by regular hypersubstitutions. We determine the greatest regular-solid variety of semigroups. This result will be used to give a new proof for the equational description of the greatest solid variety of semigroups. We show that every variety of semigroups which is finitely based by hyperidentities is also finitely based...