Hyperassociative varieties of semigroups
type: Item
instance of: scholarly article
title: Hyperassociative varieties of semigroups
zbMATH Open document ID: 0806.20049
DOI: 10.1007/BF02573469
published in: Semigroup Forum
publication date: 1995-02-13T00:00:00Z
full work available at URL: https://eudml.org/doc/135332
review text: 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.
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 08B05
Mathematics Subject Classification ID: 08A40
Mathematics Subject Classification ID: 08B15
zbMATH DE Number: 611113
zbMATH Keywords: variety of semigroups
zbMATH Keywords: operation symbols
zbMATH Keywords: alphabet
zbMATH Keywords: hypersubstitution
zbMATH Keywords: hyperidentity
zbMATH Keywords: hyperassociative variety
zbMATH Keywords: identities
author: Klaus Denecke
author: Jörg Koppitz
reviewed by: Sheila Oates-Williams
MaRDI profile type: Publication
cites work: The lattice of semigroup varieties
cites work: Q3235342
cites work: Hyperidentities and hypervarieties
cites work: Q4285329
cites work: Hyperidentities for some varieties of commutative semigroups
OpenAlex ID: W2007358273
Recommended article: Associative nontrivial hyperidentities in semigroups.
Recommended article: Hyperidentities for some varieties of semigroups
Recommended article: On Strongly Associative (Semi)Hypergroups
Recommended article: Semigroup varieties and semigroup algebras
Recommended article: On hypersemigroups
Recommended article: Hyperidentities for some varieties of commutative semigroups
Recommended article: Hyperidentities in semigroups
Recommended article: Varieties of Commutative Semigroups
Recommended article: Q4223650
description: scientific article; zbMATH DE number 611113