×

All solid varieties of semigroups. (English) Zbl 0935.20050

An identity \(u=v\) is said to be a hyperidentity in a variety \(\mathcal V\) if \(\mathcal V\) hypersatisfies \(u=v\) in the sense that whenever the operation symbols occurring in the terms \(u\) and \(v\) are replaced by any term (of the same type) of the appropriate arity, \(\mathcal V\) satisfies the resulting identity. A variety is called solid if it hypersatisfies all its identities.
In the class of all semigroups, the greatest solid variety \(\mathcal H\) has been discovered by K. Denecke and J. Koppitz [Semigroup Forum 49, No. 1, 41-48 (1994; Zbl 0806.20049)]; \(\mathcal H\) is exactly the variety that hypersatisfies the associative law. The author [Algebra Universalis 36, No. 3, 363-378 (1996; Zbl 0905.20038)] has given a simple equational basis and an efficient solution to the word problem for \(\mathcal H\). In the present paper he characterizes all solid varieties of semigroups. Namely, a non-trivial variety \({\mathcal V}\subseteq{\mathcal H}\) is solid if and only if \(\mathcal V\) contains all rectangular bands, is right-left dual and either consists of bands or contains a non-trivial zero multiplication semigroup.

MSC:

20M07 Varieties and pseudovarieties of semigroups
20M05 Free semigroups, generators and relations, word problems
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Denecke, K.; Lau, D.; Pöschel, R.; Schweigert, D., Hyperidentities, hyperequational classes and clone congruences, Contrib. General Algebra, 7, 97-118 (1991) · Zbl 0759.08005
[2] Denecke, K.; Wismath, S., Solid varieties of semigroups, Semigroup Forum, 48, 219-234 (1994) · Zbl 0797.20045
[3] J. Koppitz, On equational description of solid semigroup varieties, preprint.; J. Koppitz, On equational description of solid semigroup varieties, preprint. · Zbl 0829.20084
[4] Polák, L., On hyperassociativity, Algebra Universalis, 36, 363-378 (1996) · Zbl 0905.20038
[5] Schweigert, D., Hyperidentities, (Rosenberg, I. G.; Sabidussi, G., Algebras and Orders (1993), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht), 405-506 · Zbl 0853.08004
[6] Taylor, W., Hyperidentities and hypervarieties, Aequationes Math., 23, 30-49 (1981) · Zbl 0491.08009
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.