La relación de congruencia más pequeña en un álgebra que contiene un par o un conjunto de elementos especificados; equivalentemente, la congruencia generada por esos elementos bajo reflexividad, simetría, transitividad y compatibilidad con las operaciones algebraicas.

Principio

Formar la menor relación de equivalencia compatible con cada operación que identifique los generadores elegidos; el cierre por las operaciones del álgebra produce la congruencia principal.

Demostración

En un grupo, la congruencia principal generada por la pareja (a,b) es el núcleo del homomorfismo que envía a en b, es decir, el subgrupo normal generado por a b^{-1}. En álgebra universal se construye como el cierre transitivo y compatible de {(a,b)}.

Aplicación incorrecta

Tratar la congruencia principal como la mera clausura de equivalencia de una pareja sin imponer compatibilidad con las operaciones produce relaciones que no son congruencias y que impiden formar cocientes válidos.

Consecuencia

Determinar la congruencia principal da el cociente canónico en el que los elementos especificados se igualan; es una herramienta básica para describir núcleos de homomorfismos y congruencias generadas.

Inversión

La congruencia trivial (solo pares idénticos) y la congruencia universal (todos los pares) marcan los extremos; invertir el proceso de generación conduce a la noción de congruencias máximas que evitan identificar una pareja dada.

Límite

Se aplica en estructuras algebraicas donde existen congruencias (relaciones de equivalencia compatibles con las operaciones); no se aplica directamente a estructuras puramente relacionales sin operaciones ni a construcciones que requieren cierres adicionales (p. ej., cierres topológicos).

Tensión semántica

Términos cercanos incluyen ‘cierre de equivalencia’ (ignora compatibilidad con operaciones) y ‘retículo de congruencias generado por un conjunto’ (perspectiva de múltiples generadores); la congruencia principal es la mínima congruencia generada por una pareja o un conjunto finito.

Síntesis

La congruencia principal es la relación de equivalencia mínima compatible con las operaciones, obtenida al forzar la igualdad de elementos especificados, y describe el cociente más pequeño que realiza esa identificación.