Une relation d'équivalence sur une structure algébrique préservée par chaque opération de base de l'algèbre, de sorte que l'ensemble des classes d'équivalence hérite d'opérations induites bien définies et forme ainsi une algèbre quotient.

Principe

Une relation binaire ≡ sur une algèbre A est une congruence si et seulement si elle est une relation d'équivalence et, pour toute opération de base n-aire f de A, si a_i ≡ b_i pour i=1..n alors f(a_1,...,a_n) ≡ f(b_1,...,b_n). Ce principe organise la compatibilité de l'équivalence avec les opérations algébriques pour permettre la construction du quotient.

Démonstration

Dans un groupe G, le noyau d'un morphisme de groupes définit une relation d'équivalence dont les classes sont des cosets; la compatibilité avec la multiplication permet de définir de manière non ambiguë le groupe quotient G/ker(φ) par la multiplication des classes.

Mauvaise application

Considérer toute relation d'équivalence sur l'ensemble sous-jacent comme une congruence sans vérifier la compatibilité avec les opérations; par exemple, partitionner un anneau selon le degré des éléments n'est pas une congruence sauf si l'addition et la multiplication préservent cette partition, ce qui n'est généralement pas le cas.

Conséquence

La présence d'une congruence permet de former l'algèbre quotient dont la structure reflète A modulo la congruence; cela conserve les images homomorphes, décompose la structure en facteurs et soutient de nombreux résultats de classification.

Inversion

La notion inverse est une relation d'équivalence qui manque de compatibilité : les classes ne supportent pas d'opérations induites bien définies, donc aucun quotient algébrique n'existe; cette inversion souligne la nécessité de la préservation des opérations.

Limite

S'applique uniquement aux structures d'algèbre universelle avec des opérations de base et des arités spécifiées ; toutes les relations d'équivalence ne conviennent pas, et les quotients topologiques ou catégoriques exigent des données supplémentaires (topologie, morphismes).

Tension sémantique

Rivalise avec la notion arithmétique de congruence modulo n (congruence en théorie des nombres) ; les deux sont des relations d'équivalence mais diffèrent par le contexte de compatibilité et la sémantique du quotient induit.

Synthèse

Une relation de congruence est l'équivalence compatible avec les opérations sur une algèbre, identifiant des éléments en classes sur lesquelles toutes les opérations de base se descendent, permettant ainsi la construction d'algèbres quotient et l'étude systématique des factorisations et des morphismes.