, Volume 98, Issue 1-2, pp 141-147

Boolean Skeletons of MV-algebras and -groups

Purchase on Springer.com

$39.95 / €34.95 / £29.95*

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Let Γ be Mundici’s functor from the category ${\mathcal{LG}}$ whose objects are the lattice-ordered abelian groups (-groups for short) with a distinguished strong order unit and the morphisms are the unital homomorphisms, onto the category ${\mathcal{MV}}$ of MV-algebras and homomorphisms. It is shown that for each strong order unit u of an -group G, the Boolean skeleton of the MV-algebra Γ(G, u) is isomorphic to the Boolean algebra of factor congruences of G.