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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cignoli, R.
Formato: JOUR
Materias:
ℓ-ideals
Boolean products
direct decompositions
lattice-ordered abelian groups
MV-algebras
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_00393215_v98_n1_p141_Cignoli
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_00393215_v98_n1_p141_Cignoli
record_format dspace
spelling todo:paper_00393215_v98_n1_p141_Cignoli2023-10-03T14:49:42Z Boolean Skeletons of MV-algebras and ℓ-groups Cignoli, R. ℓ-ideals Boolean products direct decompositions lattice-ordered abelian groups MV-algebras 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. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_00393215_v98_n1_p141_Cignoli
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic ℓ-ideals
Boolean products
direct decompositions
lattice-ordered abelian groups
MV-algebras
spellingShingle ℓ-ideals
Boolean products
direct decompositions
lattice-ordered abelian groups
MV-algebras
Cignoli, R.
Boolean Skeletons of MV-algebras and ℓ-groups
topic_facet ℓ-ideals
Boolean products
direct decompositions
lattice-ordered abelian groups
MV-algebras
description 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.
format JOUR
author Cignoli, R.
author_facet Cignoli, R.
author_sort Cignoli, R.
title Boolean Skeletons of MV-algebras and ℓ-groups
title_short Boolean Skeletons of MV-algebras and ℓ-groups
title_full Boolean Skeletons of MV-algebras and ℓ-groups
title_fullStr Boolean Skeletons of MV-algebras and ℓ-groups
title_full_unstemmed Boolean Skeletons of MV-algebras and ℓ-groups
title_sort boolean skeletons of mv-algebras and ℓ-groups
url http://hdl.handle.net/20.500.12110/paper_00393215_v98_n1_p141_Cignoli
work_keys_str_mv AT cignolir booleanskeletonsofmvalgebrasandlgroups
_version_ 1807323406192869376

Ejemplares similares