Isomorphiesatz - LinkFang.de





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 [math]G[/math] eine Gruppe, [math]N[/math] ein Normalteiler in [math]G[/math] und [math]H[/math] eine Untergruppe von [math]G[/math]. Dann ist auch das Komplexprodukt [math]HN:=\{hn\mid h\in H, n\in N\}[/math] eine Untergruppe von [math]G[/math], [math]N[/math] ist ein Normalteiler in [math]HN[/math] und die Gruppe [math]H\cap N[/math] ist ein Normalteiler in [math]H[/math]. Es gilt:

[math]H/(H\cap N)\cong HN/N.[/math]

Dabei bezeichnet [math]\cong[/math] 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

[math]f\colon H\to HN/N,\quad h\mapsto hN,[/math]

induziert, denn es gilt offenbar

[math]\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[/math].

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

Zweiter Isomorphiesatz

Es seien [math]G[/math] eine Gruppe, [math]H[/math] ein Normalteiler in [math]G[/math] und [math]N[/math] eine Untergruppe von [math]H[/math], die Normalteiler in [math]G[/math] ist. Dann gilt:

  • [math](G/N)/(H/N)\cong G/H.[/math]

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

[math]G/N\to G/H,\quad gN\mapsto gH,[/math]

andererseits durch

[math]G\to(G/N)/(H/N),\quad g\mapsto gN(H/N).[/math]

Anschaulich ausgedrückt besagt der zweite Isomorphiesatz, dass man [math]N[/math] "kürzen" darf.

Vektorräume, abelsche Gruppen oder Objekte einer beliebigen abelschen Kategorie

Es seien [math]M,N\subseteq Q\subseteq P[/math]

Dann gilt:

  • [math]M/(M\cap N)\cong (M+N)/N[/math]
  • [math](P/N)/(Q/N)\cong P/Q[/math]

Auch hier steht das Symbol [math]\cong[/math] 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 [math]M[/math] bzw. [math]P[/math] kompatibel sind.

Eine weitreichende Verallgemeinerung der Isomorphiesätze liefert das Schlangenlemma.

Literatur

Weblinks

matheplanet.com: Gruppenzwang IV - Ausführliche Erklärungen und Beweise der Isomorphiesätze


Kategorien: Algebra

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Isomorphiesatz (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.