Loosely-abelian algebras (Q292836): Difference between revisions

The well-known notion of an abelian (commutative) group or of a commutative semigroup is extended to arbitrary algebras as follows: An algebra \((A,F)\) is said to be abelian if for every \((n+1)\)-ary term \(f\) and \(u,v,x_1,\dots,x_n,y_1,\dots,y_n\in A\), \[ f(u,x_1,\dots,x_n)=f(u,y_1,\dots,y_n) \Leftrightarrow f(v,x_1,\dots,x_n)=f(v,y_1,\dots,y_n) \] holds. The author presents a further generalization of the notion, a \(k\)-loosely abelian algebra. The main result of the paper is the following: Let \(\mathbf{A}\) be a finite loosely-abelian algebra. Then there is a polynomial time algorithm solving equations over \(\mathbf{A}\). The last section contains a necessary and sufficient condition under which a finite separative algebra is \(1\)-loosely abelian. Several examples are well integrated in a text.