Isomorphiesatz
aus Wikipedia, der freien Enzyklopädie
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.
Inhaltsverzeichnis |
[Bearbeiten] Gruppentheorie
[Bearbeiten] Erster Isomorphiesatz
Es seien G eine Gruppe, N ein Normalteiler in G und H eine Untergruppe von G. Dann ist auch das Produkt 
eine Untergruppe von G, N ist ein Normalteiler in HN und die Gruppe 
ist ein Normalteiler in H. Es gilt:
Dabei bezeichnet 
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
induziert.
Anschaulich ausgedrückt besagt der 1. Isomorphiesatz, dass man mit N "erweitern" darf.
[Bearbeiten] Zweiter Isomorphiesatz
Es seien G eine Gruppe, H ein Normalteiler in G und N eine Untergruppe von H, die Normalteiler in G ist. Dann gilt:
In diesem Fall kann man kanonische Isomorphismen in beide Richtungen angeben, einerseits induziert durch
andererseits durch
Anschaulich ausgedrückt besagt der 2. Isomorphiesatz, dass man N "kürzen" darf.
[Bearbeiten] Vektorräume, abelsche Gruppen oder Objekte einer beliebigen abelschen Kategorie
Es seien 
- Vektorräume über einem Körper
- oder abelsche Gruppen
- oder allgemeiner Moduln über einem Ring
- oder ganz allgemein Objekte einer abelschen Kategorie.
Dann gilt:
Auch hier steht das Symbol für die Isomorphie der entsprechenden algebraischen Strukturen bzw. Objekte in der jeweiligen Kategorie.
Die kanonischen Isomorphismen sind eindeutig dadurch bestimmt, dass sie mit den beiden kanonischen Pfeilen von M bzw. P kompatibel sind.
Eine weitreichende Verallgemeinerung der Isomorphiesätze liefert das Schlangenlemma.
