Hyperidentities for some varieties of commutative semigroups (Q1175932): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: The lattice of semigroup varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Lattice of Equational Classes of Commutative Semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: All subvarieties of a certain variety of semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Note on Commutative Semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperidentities and hypervarieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperidentities for some varieties of commutative semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5758382 / rank | |||
Normal rank |
Revision as of 11:23, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hyperidentities for some varieties of commutative semigroups |
scientific article |
Statements
Hyperidentities for some varieties of commutative semigroups (English)
0 references
25 June 1992
0 references
A hyperidentity differs from an ordinary identity in that it involves variables representing functions as well as ordinary variables and a variety \({\mathfrak V}\) satisfies a hyperidentity if, whenever the variables representing functions are replaced by terms of \({\mathfrak V}\) of the correct arity, then the resulting identity holds in \({\mathfrak V}\). For instance, the variety of commutative semigroups satisfies the hyperidentity \(F(G(x,y),G(z,w))=G(F(x,z),F(y,w))\). A hypervariety is a class of varieties closed under the formation of equivalent, product, reduct and subvarieties. \textit{W. Taylor} [Aequationes Math. 23, 30-49 (1981; Zbl 0491.08009)] showed that there is a Birkoff-type theorem for hypervarieties and identities: Theorem. Every set of hyperidentities defines a hypervariety and every hypervariety is definable by a set of hyperidentities. This paper considers the above concepts applied to \(L({\mathfrak CS})\), the lattice of varieties of commutative semigroups. For any variety \({\mathfrak V}\) of semigroups, we can define a hypervariety, \(H({\mathfrak V})\), which is the smallest hypervariety containing \({\mathfrak V}\) and a variety \(\bar{\mathfrak V}\), the closure of \({\mathfrak V}\), which is the largest variety in \(H({\mathfrak V})\). Information about the closure of various varieties is obtained by first constructing hyperidentities which they satisfy. For instance, it is shown that the variety \({\mathfrak A}_ p\) of abelian groups of prime exponent \(p\), satisfies a certain hyperidentity \(K_ p\), where, for example, \(K_ 3\) is \[ F(F(F(x,z_ 2),F(z_ 2,z_ 1)),F(F(z_ 2,z_ 1),F(z_ 1,y)))=F(x,y). \] However, other varieties of commutative semigroups, such as \({\mathfrak A}_ q\), for \(p\neq q\), and \({\mathfrak A}_{1,p}\), defined by the identities \(xy=yx\), \(x=x^{p+1}\), do not satisfy this hyperidentity. Several other hyperidentities which distinguish hypervarieties of commutative semigroups are constructed. A sample result is: Proposition. Let \(p\) be prime; then the closed variety \(\bar{\mathfrak A}_{1,p}\) has precisely 32 subvarieties, of which seven are closed. Thus there are seven corresponding hypervarieties.
0 references
variety of commutative semigroups
0 references
Birkoff-type theorem
0 references
hypervarieties
0 references
hyperidentities
0 references
lattice of varieties
0 references
hypervarieties of commutative semigroups
0 references