All solid varieties of semigroups (Q1305436): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jabr.1999.7917 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2093740572 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3979090 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Solid varieties of semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4839133 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On hyperassociativity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3138868 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperidentities and hypervarieties / rank | |||
Normal rank |
Latest revision as of 09:25, 29 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | All solid varieties of semigroups |
scientific article |
Statements
All solid varieties of semigroups (English)
0 references
8 February 2000
0 references
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.
0 references
hyperidentities
0 references
solid varieties of semigroups
0 references
bases of identities
0 references
word problem
0 references
rectangular bands
0 references