The Chang-Mundici's \(l\)-group of a BL-algebra (Q2828629)

In his paper [Trans. Am. Math. Soc. 93, 74--80 (1959; Zbl 0093.01104)], \textit{C. C. Chang} showed that every MV-chain is the interval \([0,p]\) of some totally ordered abelian group \(G\), with \(p\) a distinguished positive element of \(G\). The element \(p\) need not be an order unit of \(G\); uniqueness issues and functorial properties have no role in Chang's proof: for, his main concern in the celebrated paper was to give a model-theoretic proof of the completeness of the Łukasiewicz axioms. In his paper [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)] (unquoted in the paper under review), the present reviewer established a categorical equivalence \(\Gamma\) between the variety of MV-algebras and lattice-ordered abelian groups with a distinguished (strong, order) unit, for short, unital \(l\)-groups. Let \(\Xi\) denote the adjoint functor of \(\Gamma\). The authors extend the (object fragment of the) \(\Xi\) functor, by equipping every BL algebra \(L\) with a unital \(l\)-group \(G_L\) which coincide with \(\Xi(L)\) when \(L\) is an MV-algebra. The main tool is provided by a suitable variant of the ``good sequences'', also introduced in the present reviewer's paper [loc. cit.]. For background on MV-algebras and proper credits, see the monograph [\textit{R. L. O. Cignoli} et al., Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)].