Continuum many top varieties of GMV-algebras and unital \(\ell \)-groups (Q976750): Difference between revisions

GMV-algebras, also known as pseudo MV-algebras, were introduced by Georgescu and Iorgulescu and independently by Rachůnek as a noncommutative generalization of MV-algebras -- the latter being the algebras of infinite-valued Łukasiewicz logic. GMV-algebras are categorically equivalent to unital lattice-ordered groups. The connecting functor was introduced by \textit{A. Dvurečenskij} in his paper ``Pseudo MV-algebras are intervals in \(l\)-groups'' [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 ``Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus'' [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)]. In this paper, the author shows that there are continuum many top varieties of GMV-algebras. The author also investigates the fine structure of the countable lattice of varieties generated by periodic primitive unital lattice-ordered groups where the unit is a rational translation.