Hybrid bases for varieties of semigroups. (Q2496163)

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.