##  [Congruence Principale](/fr/node/62450) 

 Définition

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

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

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

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

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

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

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

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

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.