Hyperassociative varieties of semigroups (Q1328444): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 13:43, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hyperassociative varieties of semigroups |
scientific article |
Statements
Hyperassociative varieties of semigroups (English)
0 references
13 February 1995
0 references
Let \(\tau = (n_ i)_{i\in I}\) be a type and \((f_ i)_{i \in I}\) operation symbols such that the arity of \(f_ i\) is \(n_ i\). Let \(W_ \tau(X)\) be the set of all terms of type \(\tau\) in an alphabet \(X\). A map \(\sigma: (f_ i)_{i \in I} \to W_ \tau(X)\) is a hypersubstitution, and \(\sigma\) can be extended to a map \(\widehat{\sigma}: W_{\tau} \to W_{\tau}\) in an obvious way. We then have that \(t \approx t'\) is a hyperidentity of an algebra \(A\) if \(\widehat{\sigma}(t) \approx \widehat{\sigma}(t')\) is an identity in \(A\). An equation is a hyperidentity of a variety \(V\) if it is a hyperidentity of every algebra in \(V\). A variety \(V\) of semigroups is hyperassociative if \(F(F(x,y),z)\approx F(x,F(y,z))\) is a hyperidentity in \(V\). It is easily checked that any hyperassociative variety of semigroups satisfies the identities: \(x^ 4 \approx x^ 2\) and \(xyxzxyx \approx xyzyx\). This paper gives a very much more complicated (but still finite) set of identities which a variety satisfies if and only if it is hyperassociative.
0 references
variety of semigroups
0 references
operation symbols
0 references
alphabet
0 references
hypersubstitution
0 references
hyperidentity
0 references
hyperassociative variety
0 references
identities
0 references