Hybrid bases for varieties of semigroups. (Q2496163)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hybrid bases for varieties of semigroups. |
scientific article |
Statements
Hybrid bases for varieties of semigroups. (English)
0 references
12 July 2006
0 references
Given a type \(\tau\) of algebras, a hypervariable is a symbol that is substituted by an operation symbol from \(\tau\) of the corresponding arity. The \(n\)-ary hybrid terms over the set \(\{x_1,\dots,x_n\}\) of variables are recursively defined by: (i) each variable \(x_i\) is an \(n\)-ary hybrid term; (ii) if \(T_1,\dots,T_m\) are \(n\)-ary hybrid terms and \(f\) is an \(m\)-ary operation symbol of type \(\tau\), then \(f(T_1,\dots,T_m)\) is an \(n\)-ary hybrid term; (iii) if \(T_1,\dots,T_m\) are \(n\)-ary hybrid terms and \(F\) is an \(m\)-ary hypervariable then \(F(T_1,\dots,T_m)\) is an \(n\)-ary hybrid term. Then, a hybrid identity is a couple \(h_1=h_2\) where \(h_1,h_2\) are hybrid terms. The authors present finite bases of hybrid identities for the varieties of normal bands, commutative bands and abelian groups of finite exponent. The variety of abelian groups of finite exponent \(n\) has no finite basis of hyperidentities but has a finite basis of hybrid identities.
0 references
finite bases of hyperidentities
0 references
lattices of varieties
0 references
finite bases of hybrid identities
0 references