Free products of unital \(\ell \)-groups and free products of generalized MV-algebras (Q976749): Difference between revisions

As was shown by the first author in his paper ``Pseudo MV-algebras are intervals in \(l\)-groups'' [J. Aust. Math. Soc. 72, No. 3, 427--445 (2002; Zbl 1027.06014)], GMV-algebras are categorically equivalent to unital lattice-ordered groups. The connecting 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 authors construct free products of unital lattice-ordered groups. Free products are also investigated in some varieties of GMV-algebras. Free products in MV-algebras and in unital lattice-ordered abelian groups were shown to exist in the present reviewer's paper ``Free products in the category of abelian \(l\)-groups with strong unit'' [J. Algebra 113, No. 1, 89--109 (1988; Zbl 0658.06010)].