, Volume 98, Issue 1-2, pp 141-147
Date: 18 Jun 2011

Boolean Skeletons of MV-algebras and -groups

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.