## [Retículo de Congruencias](/es/node/62448) Definición El conjunto de todas las relaciones de congruencia en un álgebra, ordenado por inclusión y equipado con las operaciones de retículo meet (intersección) y join (la menor congruencia que contiene la unión, es decir, la congruencia generada por la unión); esta estructura se denomina retículo de congruencias y refleja la estructura de cocientes y equivalencias compatibles con las operaciones algebraicas. ## Principio Principio Las congruencias forman un retículo algebraico: las intersecciones dan meets, y los joins corresponden a congruencias generadas; las imágenes por homomorfismo corresponden a cocientes por congruencias, de modo que la estructura del retículo codifica cómo el álgebra se descompone mediante cocientes y representaciones subdirectas. ## Demostración Demostración En teoría de grupos, las congruencias de un grupo corresponden a sus subgrupos normales, y el retículo de congruencias es isomorfo al retículo de subgrupos normales ordenado por inclusión; en álgebras reticuladas, los retículos de congruencias pueden mostrar comportamientos no distributivos que codifican restricciones de identidad sutiles de la álgebra. ## Aplicación incorrecta Aplicación incorrecta Confundir el retículo de congruencias con el retículo de todas las relaciones de equivalencia sobre el soportE (las congruencias deben ser compatibles con todas las operaciones), o confundir retículos de congruencias con retículos de subálgebras (las congruencias capturan el comportamiento de los cocientes, no la inclusión de subestructuras). ## Consecuencia Consecuencia El retículo de congruencias organiza todas las estructuras de cociente de un álgebra y suele controlar propiedades estructurales importantes (modularidad, distributividad, condiciones de permutabilidad). Comprender este retículo guía la clasificación de álgebras en una variedad e informa sobre teoremas de representabilidad y descomposición. ## Inversión Inversión Considerar el poset de todas las relaciones de equivalencia sin compatibilidad produce una estructura mucho mayor que no refleja los cocientes algebraicos; a la inversa, centrarse solo en el retículo de subálgebras ignora los mecanismos de cociente que capturan las congruencias. ## Límite Límite El retículo de congruencias depende del álgebra y de la firma; distintas firmas sobre el mismo soporte pueden producir retículos de congruencias diferentes. Excluye relaciones que no sean congruencias (no preservadas por las operaciones) y no contempla estructuras adicionales como topologías u órdenes salvo que formen parte de la firma algebraica. ## Tensión semántica Tensión semántica Una noción cercana es el retículo de subestructuras normales (ideales, subgrupos normales) en variedades específicas donde las congruencias tienen representantes canónicos; otra tensión es la visión sintáctica (congruencias generadas por relaciones) frente a la visión semántica (relaciones de equivalencia compatibles con las operaciones). ## Síntesis Síntesis El retículo de congruencias es la estructura ordenada de todas las relaciones de equivalencia compatibles con las operaciones de un álgebra: sus meets y joins codifican intersección y generación de congruencias, refleja el comportamiento de cocientes y descomposición, y sus propiedades reticulares reflejan identidades y restricciones algebraicas profundas.