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

Abstract

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