Solvable covers of the Boolean variety of unital \(\ell \)-groups (Q987183)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Solvable covers of the Boolean variety of unital \(\ell \)-groups
scientific article

    Statements

    Solvable covers of the Boolean variety of unital \(\ell \)-groups (English)
    0 references
    0 references
    0 references
    13 August 2010
    0 references
    GMV-algebras, also known as pseudo MV-algebras or \(\Psi\)MV-algebras, were introduced by Georgescu and Iorgulescu, and, independently, by Rachůnek, as a noncommutative generalization of MV-algebras -- the algebras of infinite-valued Łukasiewicz logic. GMV-algebras are categorically equivalent to unital lattice-ordered groups (unital \(\ell\)-groups for short). The connecting functor was introduced by \textit{A. Dvurečenskij} in [J. Aust. Math. Soc. 72, No. 3, 427--445 (2002; Zbl 1027.06014)]. This functor extends the categorical equivalence \(\Gamma\) between abelian unital lattice-ordered groups and MV-algebras, introduced in the present reviewer's article [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)]. One can thus speak of ``varieties'' of unital \(\ell\)-groups, despite the Archimedean property of the order-unit in an \(\ell\)-group is not even definable in first-order logic. In the paper under review the authors give a characterization of all varieties of solvable unital \(\ell\)-groups which cover the minimal nontrivial variety of Boolean unital \(\ell\)-groups, corresponding to the subvariety of GMV-algebras consisting of Boolean algebras. Their work parallels the Gurchenkov-Reilly-Darnel work on varieties of solvable \(\ell\)-groups covering the abelian variety.
    0 references
    MV-algebra
    0 references
    \(\Psi\)MV-algebra
    0 references
    pseudo MV-algebra
    0 references
    cover variety
    0 references
    unital \(\ell\)-group
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references