Docentes de Matemática de la FFHA, investigan "Estructuras algebraicas asociadas a lógicas temporales"
Álgebras booleanas monádicas con un automorfismo y su relación con las Df2-álgebras.
Aldo V. Figallo y Claudia M. Gomes
Facultad de Filosofía, Humanidades y Artes
Departamento de Matemática-Instituto de Ciencias Básicas
Proyecto: Estructuras algebraicas asociadas a lógicas temporales
Resumen
En el artículo Monadic Boolean algebras with an automorphism and their relation to Df2-algebras, investigamos la clase Tkm de las álgebras booleanas monádicas con un automorfismo de período k, estas álgebras constituyen una generalización de las álgebras booleanas simétricas monádicas. Determinamos las congruencias sobre estas álgebras y caracterizamos las álgebras subdirectamente irreducibles. Esto último nos permitió probar que Tkm es una variedad discriminadora y, como una consecuencia, se caracterizan las congruencias principales. También exploramos, en el caso finito, la relación entre esta clase y la clase Df2 de las álgebras cilíndricas libres de elementos diagonales de dimensión dos.
Referencias
Figallo, Aldo V.; Gomes, Claudia M.; (2020) Monadic Boolean algebras with an automorphism and their relation to Df2-algebras. Soft Computing. 24, 227-236.
Para poder participar de la Convocatoria de Difusión de trabajo docente en materia de investigación, creación y extensión, debes hacer click en el siguiente enlace, allí podras visualizar las bases y condiciones para participar.
#QuedateEnCasa #LaFFHAtecuida
