On \(n\)-perfect GMV-algebras (Q934035): Difference between revisions

GMV-algebras, also known as pseudo MV-algebras, were introduced by Georgescu and Iorgules\-cu and independently by Rachůnek as a noncommutative generalization of MV-algebras, the latter being the algebras of infinite-valued Łukasiewicz logic. GMV-algebras turn out to be categorically equivalent to unital lattice-ordered groups. The connecting functor was introduced by the author of the paper under review, thus extending the well-known equivalence \(\Gamma\) between abelian unital lattice-ordered groups and MV-algebras (see the reviewer's article [``Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus'', J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)]). In 2001, Leuştean studied perfect GMV-algebras as a noncommutative generalization of perfect MV-algebras, first introduced by Di Nola and Lettieri. In the paper under review, the author introduces \(n\)-perfect GMV-algebras -- those GMV-algebras that can be split into \(n+1\) comparable slices. It is shown that any such algebra has a unique state. An equational basis is provided for the variety generated by \(n\)-perfect GMV-algebras. It is shown that lattice-ordered groups are categorically equivalent to a certain subclass of \(n\)-perfect GMV-algebras, called ``strong'' \(n\)-perfect GMV-algebras. Further, any \(n\)-perfect GMV-algebra is an interval of a lexicographic product of the naturally ordered additive group of integers with a lattice-ordered group.