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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Free abelian extensions of \(S_{p}\)-permutable algebras
scientific article

    Statements

    Free abelian extensions of \(S_{p}\)-permutable algebras (English)
    0 references
    0 references
    26 January 2009
    0 references
    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.
    0 references
    0 references
    free abelian extension
    0 references
    commutator
    0 references
    abelian algebra
    0 references
    permutable algebra
    0 references
    Mal'tsev term
    0 references
    free solvable algebra
    0 references
    monoid
    0 references
    word problem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers