Studia Logica

, Volume 98, Issue 1, pp 141-147

First online:

Boolean Skeletons of MV-algebras and -groups

  • Roberto CignoliAffiliated withDepartamento de Matemtica, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.


MV-algebras lattice-ordered abelian groups -ideals direct decompositions Boolean products