FoCM

Conference abstracts


Session S09 - Logic and Universal Algebra

July 26, 15:00 ~ 15:50

MV-álgebras monádicas y l-grupos monádicos

J. Patricio Díaz Varela

Universidad Nacional del Sur-Bahía Blanca, Argentina   -   jpdiazvarela@gmail.com

En esta charla presentamos una definición de los l-grupos monádicos con unidad fuerte y algunas propiedades básicas de esta clase de álgebras. Luego mostramos una equivalencia entre la categoría de los l-grupos monádicos y la categoría de las MV-álgebras monádicas que extiende a la equivalencia dada por D. Mundici con el funtor ?. Estudiamos las congruencias de un l-grupo monádico y las caracterizamos por medio de ciertos l-ideales monádicos. Probamos que el retículo de l-ideales monádicos es isomorfo al retículo de l-ideales de E(G). A partir de esta caracterización de las congruencias mostramos que todo l-grupo monádico es producto subdirecto de una familia de l-grupos monádicos G_i donde E(G_i) es una cadena para todo i. Para finalizar damos algunas aplicaciones de la equivalencia demostrada y comentaremos algunos de los avances en el estudio de los l-grupos monádicos como variedad .

View abstract PDF