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 <math>A</math> hat nicht notwendigerweise etwas mit der Struktur zu tun, die darauf definiert ist. Speziell in der Algebra sind jedoch solche Äquivalenzrelationen <math>\equiv</math> von besonderem Interesse, deren (surjektive) Quotientenabbildung

<math>\mathrm q_{\equiv}\colon\, A \twoheadrightarrow A/{\equiv},\, a \mapsto [a]_{\equiv},</math>

mit der algebraischen Struktur <math>\mathbf A = (A, (f_i)_{i \in I})</math> verträglich bzw. ein Homomorphismus ist. Denn dann ist die von <math>\mathrm q_{\equiv}</math> induzierte Struktur auf der Quotientenmenge <math>A/{\equiv}</math>, die sogenannte Faktor- oder Quotientenalgebra <math>\mathbf A/{\equiv} := (A/{\equiv}, (f_{i,\equiv})_{i \in I})</math> von <math>\mathbf A</math> nach <math>\equiv</math> mit Operationen <math>f_{i,\equiv}</math>,

<math>f_{i,\equiv}([a_1]_{\equiv}, \dotsc, [a_{n_i}]_{\equiv}) := [f_i(a_1, \dotsc, a_{n_i})]_{\equiv}</math> für alle <math>a_{1\!\;\!}, \dotsc, a_{n_i\!} \in A</math> und jedes <math>i \in I</math>,

von der gleichen Art wie die von <math>A</math>.

Man nennt eine solche Äquivalenzrelation <math>\equiv</math> eine Kongruenzrelation auf <math>\mathbf A</math> und zwei Elemente <math>a, b \in A</math> kongruent nach <math>\equiv</math>, wenn sie bezüglich <math>\equiv</math> äquivalent sind:

<math>a \equiv b \iff [a]_{\equiv} = [b]_{\equiv}</math>.

Die Äquivalenzklasse <math>[a]_{\equiv}</math> von jedem <math>a \in A</math> heißt dann Kongruenzklasse.

Eine Äquivalenzrelation <math>\equiv</math> auf <math>A</math> ist genau dann eine Kongruenzrelation auf einer algebraischen Struktur <math>\mathbf A = (A, (f_i)_{i \in I})</math>, wenn alle fundamentalen Operationen <math>f_i</math>, <math>i \in I</math>, verträglich sind mit <math>\equiv</math>, d. h. für alle <math>a_{1\!\;\!}, \dotsc, a_{n_i\!\;\!}, b_1, \dotsc, b_{n_i\!} \in A</math>, <math>n_i \in \N</math>, mit <math>a_{1\!} \equiv b_1, \dotsc, a_{n_i\!} \equiv b_{n_i\!}</math> gilt:

<math>f_i(a_1, \dotsc, a_{n_i\!\;\!}) \equiv f_i(b_1, \dotsc, b_{n_i\!\;\!})</math>.

Kern eines Homomorphismus

Sind <math>\mathbf A = (A, (f_i)_{i \in I})</math> und <math>\mathbf B = (B, (g_i)_{i \in I})</math> zwei algebraische Strukturen gleicher Art und ist <math>\varphi\colon\, \mathbf A \to \mathbf B</math> ein Homomorphismus dieser Art, dann ist der Kern von <math>\varphi</math>

<math>\ker\varphi := \varphi^{-1} \circ \varphi = \{(a,b) \in A \times A \mid \varphi(a) = \varphi(b)\} =\colon \equiv</math>

eine Kongruenzrelation <math>\equiv</math> auf <math>\mathbf A</math> und für alle <math>a \in A</math> gilt:

<math>[a]_{\equiv} = \varphi^{-1}(\{\varphi(a)\}) = \varphi^{-1}(\varphi(\{a\})) = \ker \varphi(\{a\})</math>.

<math>\varphi</math> lässt sich wie folgt in einen surjektiven, einen bijektiven sowie einen injektiven Homomorphismus zerlegen (Homomorphiesatz):

<math>\varphi = \mathrm i_{\varphi} \circ \varphi^{\equiv\!} \circ \mathrm q_{\equiv}</math>

mit <math>\varphi^{\equiv}\colon\, A/{\equiv} \;{\!\;\twoheadrightarrow\;\!\!\!\!\!\!\!\!\!\!\;\rightarrowtail}\; \varphi(A),\, [a]_{\equiv} \mapsto \varphi(a),</math> und der Inklusionsabbildung <math>\mathrm i_{\varphi}\colon\, \varphi(A) \rightarrowtail B,\, \varphi(a) \mapsto \varphi(a)</math>.

Verallgemeinerung

Quotientenstruktur

Allgemein spielen diejenigen Äquivalenzrelationen <math>\equiv</math> auf einer Menge <math>A</math> eine wichtige Rolle, deren Quotientenabbildung

<math>\mathrm q_{\equiv}\colon\, A \twoheadrightarrow A/{\equiv},\, a \mapsto [a]_{\equiv},</math>

mit der Struktur <math>\mathbf A = (A, (R_i)_{i \in I})</math> auf <math>A</math> verträglich bzw. ein Homomorphismus ist.

Die durch <math>\mathrm q_{\equiv}</math> gegebene Struktur auf der Quotientenmenge <math>A/{\equiv}</math>, die sogenannte Faktor- oder Quotientenstruktur <math>\mathbf A/{\equiv} := (A/{\equiv}, (R_{i,\equiv})_{i \in I})</math> mit Relationen <math>R_{i,\equiv}</math>,

<math>([a_1]_{\equiv}, \dotsc, [a_{n_i}]_{\equiv}) \in R_{i,\equiv} \;:\!\iff (a_1, \dotsc, a_{n_i}) \in R_i\;\;</math> für jedes <math>i \in I</math>,

ist dann wieder von der gleichen Art wie die von <math>A</math>.

Insbesondere sind dann auch alle zu <math>\mathbf A</math> gehörenden Funktionen mit <math>\equiv</math> verträglich.

Spezielle Kongruenzen

Normalteiler einer Gruppe

Bezeichne nun <math>\mathbf G = (G, *)</math> eine Gruppe, <math>e</math> deren neutrales Element und <math>\mathbf N = (N, *)</math> eine beliebige normale Untergruppe von <math>\mathbf G</math>.

Für jedes <math>a \in G</math> sei

die zugehörige Nebenklasse des Normalteilers <math>N</math>.<ref name="Traeger">Zwischen einer Gruppe <math>\mathbf G = (G, *)</math> und ihrer Trägermenge <math>G</math> wird in der Literatur meist nicht klar unterschieden.</ref> Mit

und dem Komplexprodukt <math>\cdot</math> bildet dann <math>\mathbf G/N := (G/N, \cdot)</math> eine Gruppe mit dem neutralen Element <math>N = eN</math>: die Faktorgruppe von <math>\mathbf G</math> nach <math>N</math>.

Weil aber

<math>\varphi_N\colon\, \mathbf G \to \mathbf G/N,\, a \mapsto aN,</math>

ein Gruppenhomomorphismus ist, ist

<math>\equiv_{N\,} := \ker\varphi_N</math>

eine Kongruenzrelation auf <math>\mathbf G</math> und für alle <math>a, b \in G</math> gilt:

<math>a \equiv_{N\!} b \iff \varphi_N(a) = \varphi_N(b) \iff aN = bN</math>.

Umgekehrt liefert jede beliebige Kongruenzrelation <math>\equiv</math> auf <math>\mathbf G</math> genau einen Normalteiler <math>[e]_{\equiv}</math> in <math>\mathbf G</math>.

Bei einer Gruppe entsprechen also die Normalteiler genau den Kongruenzrelationen. Daher wird für einen beliebigen Gruppenhomomorphismus <math>\varphi\colon\, \mathbf G \to \mathbf H</math> auch der Normalteiler

<math>[e]_{\equiv} = \ker \varphi(\{e\})</math>

als der Kern von <math>\varphi</math> bezeichnet.

Kongruenz nach einem Modul

Eine additive abelsche Gruppe <math>\mathbf G = (G, +)</math> nennt man einen Modul (von lat. modulus Maß). Da jede Untergruppe <math>\mathbf M = (M, +)</math> von <math>\mathbf G</math> ein Modul und zudem normal ist, entsprechen die Trägermengen der Untergruppen<ref name="Traeger" /> 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 <math>a \in G</math> die Nebenklasse

als Restklasse nach <math>M</math> oder Restklasse modulo <math>M</math> (von lat. modulō, Ablativ zu modulus) und die Faktorgruppe <math>\mathbf G/M := (G/M, +)</math> heißt Restklassenmodul von <math>\mathbf G</math> nach <math>M</math>.

Wenn zwei Elemente <math>a, b \in G</math> kongruent nach <math>\equiv_M</math> sind, dann nennt man sie auch kongruent nach dem Modul <math>M</math><ref name="Traeger" /> oder kongruent modulo <math>M</math> und schreibt dies

<math>a \equiv b \pmod M\quad</math> oder <math>\quad a \equiv b \mod M\quad</math> oder kurz <math>\quad a \equiv b \;\;(M)</math>.

Es gilt:

<math>a \equiv b \mod M \;\;\iff\;\; -b + a \in M</math>.

Ist <math>M</math> einfach erzeugt in <math>G</math>, also <math>M = \langle m\rangle := \{\zeta m \mid \zeta \in \Z\}</math> für ein <math>m \in G</math>, dann sagt man auch, dass <math>a, b</math> kongruent modulo <math>m</math> sind und notiert

<math>a \equiv b \mod m</math>.

Beispiele

Identitätsrelation

Für jede algebraische Struktur <math>\mathbf A = (A, (f_i)_{i \in I})</math> ist die durch den Graphen der identischen Abbildung <math>\operatorname{id}_A</math> auf <math>A</math> gegebene Äquivalenzrelation, die Gleichheits- oder Identitätsrelation

<math>\mathrm I_A := \{(a, b) \in A \times A \mid a = b\} = \{(a, a) \mid a \in A\}</math>,

eine Kongruenzrelation auf <math>\mathbf A</math>.

Allrelation

Auf <math>\mathbf A = (A, (f_i)_{i \in I})</math> seien nun jeweils zwei beliebige Elemente äquivalent. Dadurch ist eine Äquivalenzrelation gegeben, die sogenannte All- oder Universalrelation

<math>\mathrm U_A := A \times A = \{(a, b) \mid a, b \in A\}</math>,

auch sie ist eine Kongruenzrelation auf <math>\mathbf A</math>.

Ringideale

Jeder Ring <math>\mathbf R = (R, +, \cdot)</math> ist ein Modul <math>(R, +)</math> ü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 <math>\mathbf R</math>.

L^p-Raum

Im Vektorraum <math>(\mathcal{L}^p, +)</math> der <math>p</math>-fach integrierbaren Funktionen, <math>0 < p \leq \infty</math>, ist

<math>\mathcal{U}_0 := \{f \in \mathcal{L}^p \mid f(x) = 0</math> fast überall<math>\}</math>

Trägermenge eines Unterraums von <math>(\mathcal{L}^p, +)</math>.

Den Quotientenvektorraum

<math>(L^p, +) := (\mathcal{L}^{p\!}/\mathcal{U}_0, +)</math>

bezeichnet man als <math>L^{p\!}</math>-Raum.

Kongruenz ganzer Zahlen

„Kongruenz“ nannte man ursprünglich jede auf dem Hauptidealring der ganzen Zahlen <math>(\Z, +, \cdot)</math> definierte Kongruenz zweier ganzer Zahlen <math>\alpha, \beta</math> modulo einer weiteren ganzen Zahl <math>\mu</math>:

<math>\alpha \equiv \beta \mod \mu \;\;\iff\;\; \alpha - \beta \in (\mu) := \Z\mu = \{\zeta\mu \mid \zeta \in \Z\}</math>.

<math>\alpha</math> und <math>\beta</math> sind genau dann kongruent modulo <math>\mu</math>, wenn sie denselben Rest bei Division durch <math>\mu</math> haben. Die zugehörigen Kongruenzklassen heißen auch Restklassen modulo <math>\mu.</math>

Weitere Kongruenzbegriffe

Literatur

{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}

Einzelnachweise und Anmerkungen

Definitionen