Teoría de Representación para PMVf-álgebras Producto.

En este trabajo de investigación, se establece de manera explícita la equivalencia categórica entre una subvariedad propia de la clase de PMV -álgebras que llamaremos PMVf -álgebras (PMV -álgebras de funciones), y la categoría de los fu-anillos semi-low. Esta representación categórica se realiza con...

Full description

Autores:
Cruz Mera, Lilian Johana
Tipo de recurso:
Doctoral thesis
Fecha de publicación:
2020
Institución:
Universidad del Valle
Repositorio:
Repositorio Digital Univalle
Idioma:
spa
OAI Identifier:
oai:bibliotecadigital.univalle.edu.co:10893/17972
Acceso en línea:
https://hdl.handle.net/10893/17972
Palabra clave:
Teoria matematica
Matemáticas
Filosofía de las matemáticas
Rights
openAccess
License
http://purl.org/coar/access_right/c_abf2
Description
Summary:En este trabajo de investigación, se establece de manera explícita la equivalencia categórica entre una subvariedad propia de la clase de PMV -álgebras que llamaremos PMVf -álgebras (PMV -álgebras de funciones), y la categoría de los fu-anillos semi-low. Esta representación categórica se realiza con el espectro primo de las MV -álgebras, a través de la equivalencia entre MV -álgebras y lu-grupos establecida por Mundici, pero desde la perspectiva de Dubuc-Poveda, que extiende la construcción definida por Chang para cadenas. Como caso particular, se caracterizan los fu-anillos asociados por esta equivalencia a las álgebras de Boole. Se estudian algunos anillos de funciones continuas a trozos de [0, 1] en [0, 1] cuyos componentes están constituidos por un número finito de polinomios con coeficientes enteros. Estos casos de ¿curvas algebraicas¿ (curvas tratadas como ceros de los polinomios que la componen), corresponden a una subclase de PMVf-álgebras relacionadas con las PMVf-álgebras libres de la variedad generada por el intervalo [0, 1], HSP[0, 1]. Por último, dado que la categoría de f-anillos con unidad fuerte contiene una clase de anillos no unitarios, como por ejemplo algunos ideales principales en el anillo de funciones continuas con valores en un espacio topoló-gico compacto, probamos así la co-extensividad de una categoría esencialmente diferente a la categoría de anillos conmutativos unitarios. Como consecuencia, obtenemos la co-extensividad de algunas subcategorías plenas de las MV -álgebras con producto, a través de la equivalencia entre las PMVf-álgebras y los fu-anillos