All solid varieties of semigroups

DOI10.1006/JABR.1999.7917MaRDI QIDQ1305436zbMATH OpenOpenAlexFDO

Authors Libor Polák

Publication date 8 February 2000

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jabr.1999.7917

zbMATH Keywords

bases of identitieshyperidentitiesrectangular bandssolid varieties of semigroupsword problem

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07)

Review text

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 \textit{K. Denecke} and \textit{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.

Recommendations

• Publication:4862259
• Solid varieties of semigroups
• Hyperidentities and solid varieties

Cites work

• scientific article; zbMATH DE number 432741 (Why is no real title available?)
• scientific article; zbMATH DE number 19601 (Why is no real title available?)
• scientific article; zbMATH DE number 774078 (Why is no real title available?)
• Hyperidentities and hypervarieties
• On hyperassociativity
• Solid varieties of semigroups

Cited in

(24)

• All Reg-solid varieties of commutative semigroups.
• Solid varieties of semigroups
• On finite hyperidentity bases for varieties of semigroups
• All solid varieties of semirings
• The structure of solid binary algebras
• All \(2\)-solid varieties of semigroups
• Stable varieties of semigroups and groupoids.
• Obituary: Libor Polák (1950--2020)
• Solid varieties of semirings
• Artin theorem for semigroups
• scientific article; zbMATH DE number 528805 (Why is no real title available?)
• scientific article; zbMATH DE number 1786571 (Why is no real title available?)
• Hyperidentities and related concepts. I
• Hyperidentities and related concepts. II
• Distributive hyperidentities in semigroups..
• Associative nontrivial hyperidentities in semigroups.
• scientific article; zbMATH DE number 842086 (Why is no real title available?)
• scientific article; zbMATH DE number 908157 (Why is no real title available?)
• All linear-solid varieties of semirings
• MULTI-HYPERSUBSTITUTIONS AND COLORED SOLID VARIETIES
• Hyperidentities for some varieties of semigroups
• The greatest regular-solid variety of semigroups
• Algebras of left variable terms
• Hyperidentities and solid varieties

This page was built for publication: All solid varieties of semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1305436)