Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
type: Item
instance of: scholarly article
title: Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
zbMATH Open document ID: 0812.06010
DOI: 10.1007/BF01057937
author: Antonio Di Nola
author: Ada Lettieri
published in: Studia Logica
publication date: 1994-11-10T00:00:00Z
review text: An MV-algebra is an abelian monoid \((B,\oplus,0)\) with an operation \(*\) such that \(x^{**} = x\), \(x \oplus 0^* = 0^*\) and \((x^* \oplus y)^* \oplus y = (y^* \oplus x)^* \oplus x\). One usually also defines \(x \bullet y = (x^* \oplus y^*)^*\) and \(1 = 0^*\). For any abelian lattice-group \(G\) with strong unit \(u\), let \(\Gamma(G,u) = [0,u] = \{x \in G \mid 0 \leq x \leq u\}\) equipped with the operations \(x^* = u - x\), \(x \oplus y = (x + y) \wedge u\). Further, for every morphism \(f : (G,u) \to (G',u')\) let \(\Gamma(f)\) be the restriction of \(f\) to \([0,1]\). Then, as proved by the present reviewer in his paper ``Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus'' [J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)], \(\Gamma\) is a categorical equivalence between abelian lattice-groups with strong units, and MV- algebras. The order \(\text{ord }x\) of an element \(x\) in an MV-algebra \(B\) is the smallest integer \(n\) such that \(1 = x \oplus x \oplus \dots \oplus x\) (\(n\) times). If no such \(n\) exists then \(\text{ord }x = \infty\). An MV-algebra \(B\) is perfect iff for every \(x \in B\) exactly one of \(x\) and \(x^*\) is of finite order. For every abelian lattice-group \(G\), let \(G' = \mathbb{Z} \times G\), where \(\times\) denotes lexicographic product, equipped with the strong unit \(u' = (1,0)\). Then \(\Gamma(G',u')\) is a perfect MV- algebra. The authors prove that the functor \(G \mapsto \Gamma(G',u')\) is a categorical equivalence between abelian lattice-groups and perfect MV- algebras; they also show that every perfect MV-algebra is in the variety \(V(C)\) generated by Chang's algebra \(C = \Gamma(\mathbb{Z} \times \mathbb{Z},(1,0))\), and that subdirect products of totally ordered perfect MV- algebras exhaust the variety \(\text{BP}_ 0\) of bipartite MV-algebras, those MV-algebras \(B\) for which for every maximal ideal \(M\), \(B = M \cup M^*\). As a consequence, \(V(C)\) coincides with \(\text{BP}_ 0\),…
reviewed by: Daniele Mundici
Mathematics Subject Classification ID: 06F20
Mathematics Subject Classification ID: 06D30
Mathematics Subject Classification ID: 06F99
Mathematics Subject Classification ID: 18B99
zbMATH DE Number: 683202
zbMATH Keywords: abelian lattice-group
zbMATH Keywords: perfect MV-algebra
zbMATH Keywords: categorical equivalence
zbMATH Keywords: Chang's algebra
zbMATH Keywords: subdirect products
zbMATH Keywords: coproducts
zbMATH Keywords: variety
zbMATH Keywords: amalgamation
MaRDI profile type: Publication
cites work: Q4034284
cites work: Q4039742
cites work: Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
cites work: Local MV-algebras
cites work: Duality Theorems for Finitely Generated Vector Lattices
cites work: Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
cites work: Q3934450
cites work: Algebraic Analysis of Many Valued Logics
cites work: A New Proof of the Completeness of the Lukasiewicz Axioms
cites work: Q3887461
cites work: Q4296429
cites work: Q5509706
cites work: Q3832566
cites work: Super-Łukasiewicz propositional logics
cites work: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
cites work: Free products in the category of Abelian \(\ell\)-groups with strong unit
cites work: Free lattice-ordered Abelian groups
description: scientific article; zbMATH DE number 683202