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