Boolean Skeletons of MV-algebras and ℓ-groups
Let Γ be Mundici's functor from the category 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 MV of MV-algebras and homomorphisms. It is shown that for each stron...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_00393215_v98_n1_p141_Cignoli |
| Aporte de: |
| Sumario: | Let Γ be Mundici's functor from the category 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 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. © 2011 Springer Science+Business Media B.V. |
|---|