El problema del espectro primo para MV- ́algebras y l-grupos abelianos

Este trabajo es una monografía en la cual se estudian con detalle la teoría y los resultados presentados en el artículo, The spectrum problem for abelian l-groups and MV-algebras de A. Di Nola y G. Lenzi, 2020. Se presentan los conceptos teóricos básicos y necesarios sobre MV-´algebras y l-grupos. S...

Full description

Autores:
Pérez Guzmán, Alexánder
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2024
Institución:
Universidad del Valle
Repositorio:
Repositorio Digital Univalle
Idioma:
spa
OAI Identifier:
oai:bibliotecadigital.univalle.edu.co:10893/33065
Acceso en línea:
https://hdl.handle.net/10893/33065
Palabra clave:
Matemáticas
Álgebra abstracta
Grupos abelianos
Poliedros
Rights
openAccess
License
Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
Description
Summary:Este trabajo es una monografía en la cual se estudian con detalle la teoría y los resultados presentados en el artículo, The spectrum problem for abelian l-groups and MV-algebras de A. Di Nola y G. Lenzi, 2020. Se presentan los conceptos teóricos básicos y necesarios sobre MV-´algebras y l-grupos. Se estudia la topología del espectro primo tanto de las MV- álgebras como de los l-grupos. Se introducen nociones adicionales como los retículos de Belluce, las MV- álgebras y los l-grupos libres, poliedros y conos, con el objetivo de obtener una caracterización tipológica de los espectros primos estudiados. En el caso de las MV- álgebras, el Teorema establece que un espacio es el espectro primo de una MV-´algebra, si y solamente si, es espectral y es una imagen epimorfa cerrada del retículo de poliedros en [0, 1]n para algún ∈ N. Por otro lado, para los l-grupos, el Teorema indica que un espacio coincide con el espectro primo de algún l-grupo abeliano, si y solamente si, es espectral generalizado y es una imagen epimorfa cerrada del retículo de conos en Rn para algún n ∈ N. Finalmente, se presentan dos funtores entre las categorías de MV-´algebras y l-grupos abelianos con unidad fuerte, con los cuales se demuestra que forman una equivalencia categórica y en consecuencia, estas dos estructuras algebraicas representan esencialmente los mismos objetos matemáticos.