Free abelian extensions of \(S_{p}\)-permutable algebras (Q2519236)

Let \(S_0\) and \(S_p\) be two fixed semigroups and \(S\) be the free product of them with an external unit element. Let \(\mathcal V\) be a variety of acts over \(S\) and with a Mal'tsev polynomial \(p(x,y,z)\). An algebra of \(\mathcal V\) is called \(S_p\)-permutable if \(p(s(x),s(y),s(z))=s(p(x,y,z))\) for each \(s \in S_p\). It is shown that the construction of a free abelian extension and of a free solvable algebra in any congruence permutable variety is reduced to the case of \(\mathcal V\)-algebras for a suitable monoid \(S\). The author presents a construction of a free abelian extension of an arbitrary \(\mathcal V\)-algebra \(A\) in terms of \(A\) and a construction of the free solvable \(\mathcal V\)-algebra of degree \(k\) for any natural number \(k\). If \(S\) is a finite monoid, a relationship between free solvable algebras of different ranks and of the same degree is shown. The author studies free solvable algebras satisfying the Hopf property. The variety of all solvable \(S_p\)-permutable algebras has a solvable identity problem if and only if \(S\) has a solvable word problem.