# Kongruenzrelation

In der Mathematik, genauer der Algebra, nennt man eine Äquivalenzrelation auf einer algebraischen Struktur eine Kongruenzrelation, wenn die fundamentalen Operationen der algebraischen Struktur mit dieser Äquivalenzrelation verträglich sind.

## Definitionen
### Kongruenzrelation und Quotientenalgebra

Eine Äquivalenzrelation auf einer Menge $A$ hat nicht notwendigerweise etwas mit der Struktur zu tun, die darauf definiert ist. Speziell in der Algebra sind jedoch solche Äquivalenzrelationen $\equiv$ von besonderem Interesse, deren (surjektive) Quotientenabbildung
    $\mathrm {q} _{\equiv }\colon \,A\twoheadrightarrow A/{\equiv },\,a\mapsto [a]_{\equiv },$
mit der algebraischen Struktur $\mathbf {A} =(A,(f_{i})_{i\in I})$ verträglich bzw. ein Homomorphismus ist. Denn dann ist die von $\mathrm {q} _{\equiv }$ induzierte Struktur auf der Quotientenmenge $A/{\equiv }$, die sogenannte Faktor- oder Quotientenalgebra $\mathbf {A} /{\equiv }:=(A/{\equiv },(f_{i,\equiv })_{i\in I})$ von $\mathbf {A}$ nach $\equiv$ mit Operationen $f_{i,\equiv }$,
    $f_{i,\equiv }([a_{1}]_{\equiv },\dotsc ,[a_{n_{i}}]_{\equiv }):=[f_{i}(a_{1},\dotsc ,a_{n_{i}})]_{\equiv }$ für alle $a_{1\!\;\!},\dotsc ,a_{n_{i}\!}\in A$ und jedes $i\in I$,
von der gleichen Art wie die von $A$.
Man nennt eine solche Äquivalenzrelation $\equiv$ eine Kongruenzrelation auf $\mathbf {A}$ und zwei Elemente $a,b\in A$ kongruent nach $\equiv$, wenn sie bezüglich $\equiv$ äquivalent sind:
    $a\equiv b\iff [a]_{\equiv }=[b]_{\equiv }$.
Die Äquivalenzklasse $[a]_{\equiv }$ von jedem $a\in A$ heißt dann Kongruenzklasse.
Eine Äquivalenzrelation $\equiv$ auf $A$ ist genau dann eine Kongruenzrelation auf einer algebraischen Struktur $\mathbf {A} =(A,(f_{i})_{i\in I})$, wenn alle fundamentalen Operationen $f_{i}$, $i\in I$, verträglich sind mit $\equiv$, d. h. für alle $a_{1\!\;\!},\dotsc ,a_{n_{i}\!\;\!},b_{1},\dotsc ,b_{n_{i}\!}\in A$, $n_{i}\in \mathbb {N}$, mit $a_{1\!}\equiv b_{1},\dotsc ,a_{n_{i}\!}\equiv b_{n_{i}\!}$ gilt:
    $f_{i}(a_{1},\dotsc ,a_{n_{i}\!\;\!})\equiv f_{i}(b_{1},\dotsc ,b_{n_{i}\!\;\!})$.

### Kern eines Homomorphismus

Sind $\mathbf {A} =(A,(f_{i})_{i\in I})$ und $\mathbf {B} =(B,(g_{i})_{i\in I})$ zwei algebraische Strukturen gleicher Art und ist $\varphi \colon \,\mathbf {A} \to \mathbf {B}$ ein Homomorphismus dieser Art, dann ist der Kern von $\varphi$
    $\ker \varphi :=\varphi ^{-1}\circ \varphi =\{(a,b)\in A\times A\mid \varphi (a)=\varphi (b)\}=\colon \equiv$
eine Kongruenzrelation $\equiv$ auf $\mathbf {A}$ und für alle $a\in A$ gilt:
    $[a]_{\equiv }=\varphi ^{-1}(\{\varphi (a)\})=\varphi ^{-1}(\varphi (\{a\}))=\ker \varphi (\{a\})$.
$\varphi$ lässt sich wie folgt in einen surjektiven, einen bijektiven sowie einen injektiven Homomorphismus zerlegen (Homomorphiesatz):
    $\varphi =\mathrm {i} _{\varphi }\circ \varphi ^{\equiv \!}\circ \mathrm {q} _{\equiv }$
mit $\varphi ^{\equiv }\colon \,A/{\equiv }\;{\!\;\twoheadrightarrow \;\!\!\!\!\!\!\!\!\!\!\;\rightarrowtail }\;\varphi (A),\,[a]_{\equiv }\mapsto \varphi (a),$ und der Inklusionsabbildung $\mathrm {i} _{\varphi }\colon \,\varphi (A)\rightarrowtail B,\,\varphi (a)\mapsto \varphi (a)$.

## Verallgemeinerung
### Quotientenstruktur

Allgemein spielen diejenigen Äquivalenzrelationen $\equiv$ auf einer Menge $A$ eine wichtige Rolle, deren Quotientenabbildung
    $\mathrm {q} _{\equiv }\colon \,A\twoheadrightarrow A/{\equiv },\,a\mapsto [a]_{\equiv },$
mit der Struktur $\mathbf {A} =(A,(R_{i})_{i\in I})$ auf $A$ verträglich bzw. ein Homomorphismus ist.
Die durch $\mathrm {q} _{\equiv }$ gegebene Struktur auf der Quotientenmenge $A/{\equiv }$, die sogenannte Faktor- oder Quotientenstruktur $\mathbf {A} /{\equiv }:=(A/{\equiv },(R_{i,\equiv })_{i\in I})$ mit Relationen $R_{i,\equiv }$,
    $([a_{1}]_{\equiv },\dotsc ,[a_{n_{i}}]_{\equiv })\in R_{i,\equiv }\;:\!\iff (a_{1},\dotsc ,a_{n_{i}})\in R_{i}\;\;$ für jedes $i\in I$,
ist dann wieder von der gleichen Art wie die von $A$.
Insbesondere sind dann auch alle zu $\mathbf {A}$ gehörenden Funktionen mit $\equiv$ verträglich.

## Spezielle Kongruenzen
### Normalteiler einer Gruppe

Bezeichne nun $\mathbf {G} =(G,*)$ eine Gruppe, $e$ deren neutrales Element und $\mathbf {N} =(N,*)$ eine beliebige normale Untergruppe von $\mathbf {G}$.
Für jedes $a\in G$ sei
    $aN:=\{a*n\mid n\in N\}$
die zugehörige Nebenklasse des Normalteilers $N$. Mit
    $G/N:=\{aN\mid a\in G\}$
und dem Komplexprodukt $\cdot$ bildet dann $\mathbf {G} /N:=(G/N,\cdot )$ eine Gruppe mit dem neutralen Element $N=eN$: die Faktorgruppe von $\mathbf {G}$ nach $N$.
Weil aber
    $\varphi _{N}\colon \,\mathbf {G} \to \mathbf {G} /N,\,a\mapsto aN,$
ein Gruppenhomomorphismus ist, ist
    $\equiv _{N\,}:=\ker \varphi _{N}$
eine Kongruenzrelation auf $\mathbf {G}$ und für alle $a,b\in G$ gilt:
    $a\equiv _{N\!}b\iff \varphi _{N}(a)=\varphi _{N}(b)\iff aN=bN$.
Umgekehrt liefert jede beliebige Kongruenzrelation $\equiv$ auf $\mathbf {G}$ genau einen Normalteiler $[e]_{\equiv }$ in $\mathbf {G}$.
Bei einer Gruppe entsprechen also die Normalteiler genau den Kongruenzrelationen. Daher wird für einen beliebigen Gruppenhomomorphismus $\varphi \colon \,\mathbf {G} \to \mathbf {H}$ auch der Normalteiler
    $[e]_{\equiv }=\ker \varphi (\{e\})$
als der Kern von $\varphi$ bezeichnet.

### Kongruenz nach einem Modul

Eine additive abelsche Gruppe $\mathbf {G} =(G,+)$ nennt man einen Modul (von lat. modulus Maß). Da jede Untergruppe $\mathbf {M} =(M,+)$ von $\mathbf {G}$ ein Modul und zudem normal ist, entsprechen die Trägermengen der Untergruppen genau den Kongruenzrelationen auf einem Modul.
Dies gilt ebenso für die Trägermengen der Untermoduln eines Moduls über einem Ring und insbesondere auch für die Untervektorräume eines Vektorraumes.
Man bezeichnet für alle $a\in G$ die Nebenklasse
    $a+M:=\{a+m\mid m\in M\}$
als Restklasse nach $M$ oder Restklasse modulo $M$ (von lat. modulō, Ablativ zu modulus) und die Faktorgruppe $\mathbf {G} /M:=(G/M,+)$ heißt Restklassenmodul von $\mathbf {G}$ nach $M$.
Wenn zwei Elemente $a,b\in G$ kongruent nach $\equiv _{M}$ sind, dann nennt man sie auch kongruent nach dem Modul $M$ oder kongruent modulo $M$ und schreibt dies
    $a\equiv b{\pmod {M}}\quad$ oder $\quad a\equiv b\mod M\quad$ oder kurz $\quad a\equiv b\;\;(M)$.
Es gilt:
    $a\equiv b\mod M\;\;\iff \;\;-b+a\in M$.
Ist $M$ einfach erzeugt in $G$, also $M=\langle m\rangle :=\{\zeta m\mid \zeta \in \mathbb {Z} \}$ für ein $m\in G$, dann sagt man auch, dass $a,b$ kongruent modulo $m$ sind und notiert
    $a\equiv b\mod m$.

## Beispiele
### Identitätsrelation

Für jede algebraische Struktur $\mathbf {A} =(A,(f_{i})_{i\in I})$ ist die durch den Graphen der identischen Abbildung $\operatorname {id} _{A}$ auf $A$ gegebene Äquivalenzrelation, die Gleichheits- oder Identitätsrelation
    $\mathrm {I} _{A}:=\{(a,b)\in A\times A\mid a=b\}=\{(a,a)\mid a\in A\}$,
eine Kongruenzrelation auf $\mathbf {A}$.

### Allrelation

Auf $\mathbf {A} =(A,(f_{i})_{i\in I})$ seien nun jeweils zwei beliebige Elemente äquivalent. Dadurch ist eine Äquivalenzrelation gegeben, die sogenannte All- oder Universalrelation
    $\mathrm {U} _{A}:=A\times A=\{(a,b)\mid a,b\in A\}$,
auch sie ist eine Kongruenzrelation auf $\mathbf {A}$.

### Ringideale

Jeder Ring $\mathbf {R} =(R,+,\cdot )$ ist ein Modul $(R,+)$ über sich selbst und die Trägermengen der zugehörigen Untermoduln sind genau die Ideale des Ringes, daher entsprechen die Ringideale genau den Kongruenzrelationen auf $\mathbf {R}$.

### L$^p$-Raum

Im Vektorraum $({\mathcal {L}}^{p},+)$ der $p$-fach integrierbaren Funktionen, $0<p\leq \infty$, ist
    ${\mathcal {U}}_{0}:=\{f\in {\mathcal {L}}^{p}\mid f(x)=0$ fast überall$\$
Trägermenge eines Unterraums von $({\mathcal {L}}^{p},+)$.
Den Quotientenvektorraum
    $(L^{p},+):=({\mathcal {L}}^{p\!}/{\mathcal {U}}_{0},+)$
bezeichnet man als $L^{p\!}$-Raum.

### Kongruenz ganzer Zahlen

„Kongruenz“ nannte man ursprünglich jede auf dem Hauptidealring der ganzen Zahlen $(\mathbb {Z} ,+,\cdot )$ definierte Kongruenz zweier ganzer Zahlen $\alpha ,\beta$ modulo einer weiteren ganzen Zahl $\mu$:
    $\alpha \equiv \beta \mod \mu \;\;\iff \;\;\alpha -\beta \in (\mu ):=\mathbb {Z} \mu =\{\zeta \mu \mid \zeta \in \mathbb {Z} \}$.
$\alpha$ und $\beta$ sind genau dann kongruent modulo $\mu$, wenn sie denselben Rest bei Division durch $\mu$ haben.

## Weitere Kongruenzbegriffe

* Kongruente Zahl
* Kongruenz (Geometrie)