MV-algebras in duality with labelled root systems (Q5957698)

In this review we apply the standard notation for MV-algebras. Let \(\mathbf{QF}\) be the class of MV-algebras which is defined by the following conditions: (1) \(\mathbf{QF}\) contains, for each integer \(n\), every subalgebra \(A(k_1,\dots,k_n)\) of \(\varGamma(\mathbb Z_0\otimes \mathbb Z_n\otimes\dots\otimes\mathbb Z_1(1, 0, \dots,0))\), which is generated by \((0, k_n,\dots,k_1)\) where \(k_1,\dots,k_n\) are positive integers; (2) \(\mathbf{QF}\) is the smallest class of MV-algebras containing all the above defined algebras \(A(k_1,\dots,k_n)\), which is closed under finite products, homomorphic images and subalgebras. We denote by \(\mathbb{QFC}\) the full subcategory of the category \(\mathbb{MV}\) whose subjects are the members of \(\mathbf{QF}\). Further, the authors define the notion of a labelled finite root system; the class of all such systems is denoted by \(\mathbf{LFRS}\). Let \(\mathbb{LFRS}\) be the category whose objects are elements of \(\mathbf{LFRS}\) and whose morphisms are defined in a natural way. The authors construct functors \(\mathcal D:\mathbb{QFC}\rightarrow\mathbb{LFRS}\) and \(\mathcal L:\mathbb{LFRS}\rightarrow \mathbb{QFC}\); the main result of the paper is the following theorem: The functors \(\mathcal D\) and \(\mathcal L\) establish a dual equivalence between the categories \(\mathbb{QFC}\) and \(\mathbb{LFRS}\).