IITCI   25651
INSTITUTO DE INVESTIGACION EN TECNOLOGIAS Y CIENCIAS DE LA INGENIERIA
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Conectores de Hilbert-Galois
Autor/es:
DANIELA MONTANGIE
Lugar:
Tandil (https://sites.google.com/view/seminariodelogicaalgebraica)
Reunión:
Seminario; Seminario de Lógica Algebraica; 2020
Institución organizadora:
Universidad Nacional del Centro de la Provincia de Buenos Aires
Resumen:
Los matemáticos frecuentemente se enfrentan a la siguiente situación: existendos "mundos" y dos funciones transformadoras de un lado a otro que conectan aestos mundos. Se intenta entonces que, después de que un objeto ha sido transformado de un mundo a otro y luego llevado de regreso al primer mundo, exista unacierta estabilidad. Cuando ambos mundos poseen órdenes naturales y sucede quelos procesos de transformación respetan estos órdenes, se logran situaciones queson simples, con numerosos resultados que pueden manejarse de una manera muyelegante. Estas situaciones se pueden obtener trabajando con las conexiones deGalois.En esta charla contaremos un poco sobre el tratamiento de las conexiones deGalois desde sus comienzos, pero desde la perspectiva de teoría de estructuras ordenadas, hasta la transformación necesaria para aplicarlos a las álgebras de Hilbert. Luego, introducimos a las HilGC-álgebras, que son álgebras de Hilbert enriquecidas con operadores que llamamos Hilbert-Galois.A partir de una dualidad tipo espectral obtenida para las álgebras de Hilbert ypara las álgebras de Hilbert con supremo, y de sus aplicaciones para estudiar diferentes extensiones de las álgebras de Hilbert con operadores modales, comparamos a las HilGC-álgebras con las álgebra de Hilbert modal con operador necesidad y posibilidad, y mostramos su representación y dualidad topológica utilizando espacios sober dotados de una sola relación binaria, la cual es utilizada para representar los conectores de Hilbert-Galois en el álgebra dual.También introducimos la noción de congruencias en las HilGC-álgebras y mostramosla dualidad existente con ciertos subconjuntos cerrados del espacio dual y con una clase particular de filtros implicativos de las HilGC-álgebras. Estos resultados permitieron dar una caracterización de las álgebras simples y subdirectamente irreducibles de las HilGC-álgebras.