Isomorphiesatz

Die Isomorphiesätze sind zwei mathematische Sätze, die Aussagen über Gruppen machen. Sie lassen sich auch auf komplexere algebraische Strukturen übertragen und sind somit ein wichtiges Resultat der universellen Algebra. Die Isomorphiesätze sind eine direkte Folgerung aus dem Homomorphiesatz der entsprechenden algebraischen Struktur.

Manchmal wird der Homomorphiesatz als erster Isomorphiesatz bezeichnet. Die unten angegebenen Sätze heißen dann dementsprechend zweiter bzw. dritter Isomorphiesatz.

Gruppentheorie

Erster Isomorphiesatz

Es seien eine Gruppe, ein Normalteiler in und eine Untergruppe von . Dann ist auch das Komplexprodukt $HN:=\{hn\mid h\in H,n\in N\}$ eine Untergruppe von , ist ein Normalteiler in und die Gruppe $H\cap N$ ist ein Normalteiler in . Es gilt:

$H/(H\cap N)\cong HN/N.$

Dabei bezeichnet $\cong$ die Isomorphie von Gruppen.

Der Isomorphismus, der dabei üblicherweise gemeint ist, wird als kanonischer Isomorphismus bezeichnet. Er wird gemäß dem Homomorphiesatz von der surjektiven Abbildung

$f\colon H\to HN/N,\quad h\mapsto hN,$

induziert, denn es gilt offenbar

$\mathrm {kern} \left(f\right)=\left\{a\in H\mid aN=N\right\}=\left\{a\in H\mid a\in N\right\}=H\cap N$ .

Aus dem ersten Isomorphiesatz erhält man als Spezialfall die anschauliche Aussage, dass man genau dann mit "erweitern" darf, wenn $H\cap N=\{0\}$ .

Zweiter Isomorphiesatz

Es seien eine Gruppe, ein Normalteiler in und eine Untergruppe von , die Normalteiler in ist. Dann gilt:

$(G/N)/(H/N)\cong G/H.$

In diesem Fall kann man kanonische Isomorphismen in beide Richtungen angeben, einerseits induziert durch

$G/N\to G/H,\quad gN\mapsto gH,$

andererseits durch

$G\to (G/N)/(H/N),\quad g\mapsto gN(H/N).$

Anschaulich ausgedrückt besagt der zweite Isomorphiesatz, dass man "kürzen" darf.

Ringe

In angepasster Form gelten die Isomorphiesätze auch für Ringe:

Erster Isomorphiesatz

Es seien ein Ring, ${\mathfrak {a}}$ ein Ideal von und ein Unterring von . Dann ist die Summe $S+{\mathfrak {a}}=\{s+a|s\in S,a\in {\mathfrak {a}}\}$ ein Unterring von und der Schnitt $S\cap {\mathfrak {a}}$ ein Ideal von . Es gilt:

$S/(S\cap {\mathfrak {a}})\cong (S+{\mathfrak {a}})/{\mathfrak {a}}$

Dabei bezeichnet $\cong$ die Isomorphie von Ringen.

Zweiter Isomorphiesatz

Es seien ein Ring, ${\mathfrak {b}}\subseteq {\mathfrak {a}}$ zwei Ideale von . Dann ist ${\mathfrak {a}}/{\mathfrak {b}}=\{a+{\mathfrak {b}}|a\in {\mathfrak {a}}\}$ ein Ideal von $R/{\mathfrak {b}}$ . Es gilt: