Scalar extensions for algebraic structures of Łukasiewicz logic. (Q898191)

In his paper [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)], the present reviewer established a categorical equivalence \(\Gamma\) between MV-algebras and lattice ordered abelian groups with a distinguished (strong, order) unit, for short unital \(l\)-groups. MV-algebras are the algebras of Łukasiewicz infinite-valued logic. Unital \(l\)-groups provide a modern reformulation of Euclidean magnitudes equipped with a distinguished Archimedean unit of measurement. The \(\Gamma\) equivalence turns out to naturally extend to various kinds of MV-algebras equipped with additional (product-like) operations, linking them with unital Riesz spaces and \(f\)-algebras. In the first sections of this interesting paper, the authors are mainly concerned with the preservation properties of the (possibly non-semisimple) MV-algebraic tensor product, and its relationship with tensor products of (possibly non-Archimedean) lattice ordered abelian groups with or without unit. They prove that both sorts of tensor products are preserved by \(\Gamma\). A second main result deals with the scalar extension property (SEP), which is among the most desirable properties of tensor products. The authors prove SEP for the semisimple tensor products of MV-algebras. As a byproduct, they construct categorical adjunctions involving semisimple MV-algebras, Riesz MV-algebras, and PMV-algebras and MV-algebras.