Korrespondenzsatz (Gruppentheorie)

Der Korrespondenzsatz beschreibt im mathematischen Teilgebiet der Gruppentheorie den Sachverhalt, dass die Untergruppen in einer Faktorgruppe $G/N$ genau denjenigen Untergruppen der Ausgangsgruppe entsprechen, die den Normalteiler $N$ umfassen. Die Bezeichnung Korrespondenzsatz wird, wenn auch seltener, für ähnliche Beziehungen zwischen Unterstrukturen anderer algebraischer Strukturen verwendet.

Korrespondenzsatz in der Gruppentheorie

Es sei $\varphi :G\rightarrow H$ ein surjektiver Gruppenhomomorphismus mit Kern $N$. Dann ist die Zuordnung

$U\mapsto \varphi (U)$

eine Bijektion zwischen der Menge aller $N$ umfassenden Untergruppen $U$ von $G$ auf die Menge aller Untergruppen von $H$.

$V\mapsto \varphi ^{-1}(V)$

ist die Umkehrabbildung. Die Untergruppen von $H$ korrespondieren also eineindeutig zu den Untergruppen von $G$, die $N$ enthalten. Dabei werden in beiden Richtungen Normalteiler auf Normalteiler abgebildet.

Spezialisiert man diese Aussage auf $G/N\cong H$, so erhält man, dass die Untergruppen (bzw. Normalteiler) von $G/N$ genau diejenigen der Form $U/N$ sind mit einer Untergruppe (bzw. einem Normalteiler) $N\subset U\subset G$.

Diese Zuordnung ist monoton, das heißt für Untergruppen $N\subset U_{1},U_{2}\subset G$ gilt $U_{1}\subset U_{2}$ genau dann, wenn $U_{1}/N\subset U_{2}/N$.

Folgerung: Ein Normalteiler $N$ ist genau maximal unter allen Normalteilern von $G$, wenn $G/N$ einfach ist.

Korrespondenzsatz in der Ringtheorie

Es seien $R$ ein Ring mit Einselement und ${\mathfrak {a}}\subset R$ ein zweiseitiges Ideal. Dann ist die Zuordnung

${\mathfrak {b}}\mapsto {\mathfrak {b}}/{\mathfrak {a}}$

eine Bijektion von der Menge aller ${\mathfrak {a}}$ umfassenden Linksideale auf die Menge der Linksideale in $R/{\mathfrak {a}}$. Diese Zuordnung is monoton, das heißt für Linksideale ${\mathfrak {a}}\subset {\mathfrak {b}},{\mathfrak {b'}}\subset R$ gilt ${\mathfrak {b}}\subset {\mathfrak {b'}}$ genau dann, wenn ${\mathfrak {b}}/{\mathfrak {a}}\subset {\mathfrak {b'}}/{\mathfrak {a}}$

Korrespondenzsatz für Moduln

Es seien $M$ ein Links-R-Modul und $T\subset M$ ein Untermodul. Dann ist die Zuordnung

$S\mapsto S/T$

eine Bijektion von der Menge aller $T$ umfassenden Untermoduln $S\subset M$ auf die Menge aller Untermoduln von $M/T$. Diese Zuordnung ist monoton, das heißt für Untermoduln $T\subset S,S'\subset M$ gilt $S\subset S'$ genau dann, wenn $S/T\subset S'/T$.