Coproduct MV-algebras, nonstandard reals, and Riesz spaces
type: Item
instance of: scholarly article
title: Coproduct MV-algebras, nonstandard reals, and Riesz spaces
zbMATH Open document ID: 0864.06005
author: Ada Lettieri
author: Antonio Di Nola
published in: Journal of Algebra
publication date: 1997-06-17T00:00:00Z
review text: Introduced by C. C. Chang, MV-algebras are the Lindenbaum algebras of the infinite-valued calculus of Łukasiewicz. They can be defined by a small number of simple equations, capturing the properties of the real unit interval [0,1] equipped with truncated addition and rotation around 1/2. 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)], MV-algebras are categorially equivalent to abelian lattice-ordered groups with strong unit. Suppose \(A\) is an MV-algebra having a unique maximal ideal \(J\). Thus, as a consequence of Hölder's theorem, the quotient \(A/J\) is isomorphic to a subalgebra of the MV-algebra [0,1]. Let \(B\) be a totally ordered MV-algebra, and \(\text{Rad} B\) denote the unique maximal ideal of \(B\). Let \((\text{Rad} B)\) denote the subalgebra of \(B\) generated by \(\text{Rad} B\). The authors use nonstandard real numbers to give concrete representations of those totally ordered MV-algebras that are isomorphic to the coproduct of \(B/ \text{Rad} B\) and \((\text{Rad} B)\). For more information on MV-coproducts see the reviewer's paper ``Free products in the category of abelian \(\ell\)-groups with strong unit'' [J. Algebra 113, 89-109 (1988; Zbl 0658.06010)]. As an application of their representation, the authors discuss the MV-algebraic counterpart of vector lattices.
Mathematics Subject Classification ID: 06D30
Mathematics Subject Classification ID: 06F20
Mathematics Subject Classification ID: 03H05
zbMATH DE Number: 954774
zbMATH Keywords: gamma functor
zbMATH Keywords: nonstandard real numbers
zbMATH Keywords: representations
zbMATH Keywords: totally ordered MV-algebras
zbMATH Keywords: coproduct
zbMATH Keywords: vector lattices
reviewed by: Daniele Mundici
MaRDI profile type: Publication
full work available at URL: jabr.1996.0342
OpenAlex ID: W2025885789
DOI: 10.1006/JABR.1996.0342
Recommended article: Yosida Type Representation for Perfect MV‐Algebras
Recommended article: Semi-simple and complete MV-algebras
Recommended article: Q4699340
Recommended article: Q4461656
Recommended article: Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
Recommended article: Free products of unital \(\ell \)-groups and free products of generalized MV-algebras
Recommended article: Q4804660
Recommended article: Continuum many top varieties of GMV-algebras and unital \(\ell \)-groups
Recommended article: Q3807181
Recommended article: Covers of the Abelian Variety of Generalized MV-Algebras
description: scientific article; zbMATH DE number 954774