La plus petite relation de congruence sur une algèbre contenant une paire ou un ensemble d'éléments donnés ; en d'autres termes, la congruence engendrée par ces éléments sous réflexivité, symétrie, transitivité et compatibilité avec les opérations algébriques.

Principe

Construire la plus petite relation d'équivalence compatible avec chaque opération qui identifie les générateurs choisis ; la clôture par rapport aux opérations de l'algèbre produit la congruence principale.

Démonstration

Dans un groupe, la congruence principale engendrée par la paire (a,b) est le noyau de l'homomorphisme envoyant a sur b, autrement dit le sous-groupe normal engendré par a b^{-1}. Dans une algèbre universelle, on obtient la congruence comme la clôture transitive et compatible de l'ensemble {(a,b)}.

Mauvaise application

Prendre la congruence principale pour la simple clôture d'équivalence d'une paire sans imposer la compatibilité aux opérations conduit à des relations qui ne sont pas des congruences et qui ne permettent pas de définir des quotients valides.

Conséquence

Déterminer la congruence principale fournit le quotient canonique dans lequel les éléments spécifiés sont égaux ; c'est un outil fondamental pour décrire les noyaux d'homomorphismes et les congruences engendrées.

Inversion

La congruence triviale (seules les paires identiques) et la congruence universelle (toutes les paires) définissent les extrêmes ; inverser le processus de génération aboutit à la notion de congruences maximales évitant d'identifier une paire donnée.

Limite

S'applique aux structures algébriques où les congruences (relations d'équivalence compatibles avec les opérations) existent ; elle ne s'applique pas directement aux structures purement relationnelles sans opérations algébriques ni aux constructions exigeant des clôtures supplémentaires (par ex. clôtures topologiques).

Tension sémantique

Notions proches : « clôture d'équivalence » (ignore la compatibilité aux opérations) et « treillis des congruences engendrées par un ensemble » (perspective globale à plusieurs générateurs) ; la congruence principale est la congruence minimale engendrée par une paire ou un ensemble fini.

Synthèse

La congruence principale est la relation d'équivalence minimale compatible aux opérations, obtenue en imposant l'égalité de certains éléments spécifiés ; elle décrit le plus petit quotient réalisant cette identification.