Untergruppe - LinkFang.de





Untergruppe


In der Gruppentheorie der Mathematik ist eine Untergruppe [math](U, \circ)[/math] einer Gruppe [math](G, \circ)[/math] eine Teilmenge [math]U[/math] von [math]G[/math], die bezüglich der Verknüpfung [math]\circ[/math] selbst wieder eine Gruppe ist. Es gibt die Kurzschreibweise [math]U\leq G[/math], zu lesen als   "[math]U[/math] ist Untergruppe von [math]G[/math]".

Die Gruppe [math](G, \circ)[/math] heißt Obergruppe der Untergruppe [math](U, \circ)[/math], in Zeichen [math]G \geq U[/math].

Untergruppen sind die Unterstrukturen in der Gruppentheorie.

Äquivalente Definitionen

Eine nichtleere Teilmenge [math]U[/math] von [math]G[/math] bildet genau dann eine Untergruppe [math](U, \circ)[/math] von [math](G, \circ)[/math], wenn zu zwei beliebigen Elementen in [math]U[/math] auch deren Verknüpfung in [math]U[/math] ist, und zu jedem Element in [math]U[/math] auch dessen Inverses in [math]U[/math] ist:

  • [math]a,b \in U \Rightarrow a \circ b \in U[/math]
  • [math]a \in U \Rightarrow a^{-1} \in U[/math]

Dann enthält [math]U[/math] nämlich auch ein neutrales Element, welches mit dem von [math]G[/math] übereinstimmt.

Weitere äquivalente Kriterien: Die nichtleere Teilmenge [math]U[/math] von [math]G[/math] ist genau dann eine Untergruppe von [math]G[/math],

  • wenn für alle [math]a,b \in U \Rightarrow a \circ b^{-1} \in U[/math] gilt.
  • wenn [math]a\sim b:\Longleftrightarrow a\circ b^{-1}\in U[/math] eine Äquivalenzrelation auf [math]G[/math] ist.
  • wenn für alle [math]a\in U, b\notin U\Rightarrow a\circ b\notin U[/math] gilt.

Je nach Art der Verknüpfung können verschiedene Kriterien zum Nachweis der Untergruppeneigenschaft von Vorteil sein. In der Definition und dem ersten äquivalenten Kriterium wird ausschließlich auf die innere Struktur der Untergruppe Bezug genommen. Im zweiten und dritten äquivalenten Kriterium werden Elemente außerhalb der Untergruppe mit einbezogen, wobei das dritte Kriterium ohne Inversenbildung formuliert ist und daher für Matrixgruppen anwendbar wird, bei denen die Inversenbildung aufwändig ist.

Beispiele

Spezielle Untergruppen

  • Von einer Gruppe [math]G[/math] sind stets [math]G[/math] selbst sowie die einelementige Gruppe [math]\{e\}[/math] Untergruppen. Diese werden die trivialen Untergruppen von [math]G[/math] genannt. Im Fall [math]G=\{e\}[/math] sind diese beiden Untergruppen gleich und stellen die einzige Untergruppe dar. Alle anderen Gruppen [math]G\neq\{e\}[/math] haben mindestens zwei Untergruppen, nämlich die beiden voneinander verschiedenen trivialen.
  • Eine von [math]G[/math] verschiedene Untergruppe [math]U[/math] wird echte Untergruppe genannt, in Kurzschreibweise [math]U\ltG[/math].
  • Untergruppen, die unter der Konjugation in sich abgebildet werden, heißen Normalteiler. Mit ihnen können Faktorgruppen gebildet werden.
  • Untergruppen, die unter allen Automorphismen der Gruppe in sich abgebildet werden, heißen charakteristische Untergruppen. Offenbar sind charakteristische Untergruppen Normalteiler.

Eigenschaften

Das neutrale Element einer Gruppe ist das neutrale Element jeder Untergruppe und somit ist es insbesondere in jeder Untergruppe enthalten.

Der Durchschnitt einer Familie von Untergruppen einer Gruppe [math]G[/math] ist eine Untergruppe von [math]G[/math].

Die Untergruppenrelation ist transitiv. Das heißt, wenn [math]A[/math] Untergruppe einer Gruppe [math]B[/math] ist, die ihrerseits Untergruppe von [math]C[/math] ist, dann ist [math]A[/math] auch Untergruppe von [math]C[/math]. Kurz gilt also

[math]A\leq B, B\leq C\Rightarrow A\leq C[/math]

Zu beachten ist, dass die entsprechende Aussage für Normalteiler nicht gilt.

Der Satz von Lagrange liefert für endliche Gruppen ein notwendiges Kriterium für die Existenz einer Untergruppe mit einer bestimmten Ordnung. Aus ihm folgt nämlich, dass die Ordnung einer Untergruppe [math]U[/math] einer endlichen Gruppe [math]G[/math] die Ordnung der Gruppe [math]G[/math] teilt. Ist beispielsweise [math]|G|[/math] eine Primzahl, so kann die Ordnung einer Untergruppe [math]U[/math] nur 1 oder [math]|G|[/math] betragen. Also sind in diesem Falle die trivialen Untergruppen die einzigen Untergruppen von [math]G[/math]. Weitere Aussagen über die Existenz bestimmter Untergruppen mit einer bestimmten Ordnung erhält man aus den Sylow-Sätzen. Ist [math]p[/math] eine Primzahl und [math]p^n[/math] ein Teiler der Gruppenordnung, so gibt es Untergruppen der Ordnung [math]p^k, 0\le k \le n[/math]. Die 12-elementige alternierende Gruppe A4 hat keine Untergruppe der Ordnung 6.

Erzeugte Untergruppen

Da der Durchschnitt von Untergruppen wieder eine Untergruppe ist, gibt es zu jeder Teilmenge [math]E \subseteq G[/math] einer Gruppe [math](G,\circ)[/math] eine bezüglich der Inklusion minimale Untergruppe von [math]G[/math], die [math]E[/math] enthält. Diese Untergruppe wird mit [math]\langle E \rangle[/math] bezeichnet und die von [math]E[/math] erzeugte Untergruppe [math] \langle E \rangle [/math] von [math]G[/math] genannt. Abstrakt definiert man also

[math]\langle E \rangle := \bigcap_{E\subseteq U\leq G} U[/math]

Man kann zeigen, dass die Elemente von [math] \langle E \rangle [/math] genau die Elemente von [math]G[/math] sind, welche man durch Verknüpfungen von endlich vielen [math]a_i \in E\cup E^{-1} [/math] erhält. Hierbei bezeichnet [math]E^{-1}[/math] die Menge der Inversen der Elemente von [math]E[/math]. Es gilt also:

[math] \langle E \rangle = \{ a_1 \circ a_2 \circ ... \circ a_n | a_1,\dotsc,a_n \in E\cup E^{-1}, n \in \N \}[/math]

Gilt für eine Untergruppe [math]U[/math], dass [math]U=\langle E \rangle[/math], so heißt [math]E[/math] ein Erzeugendensystem von [math]U[/math]. Das Erzeugendensystem einer Untergruppe ist nicht eindeutig.

Eine Untergruppe [math]U[/math], welche ein endliches Erzeugendensystem besitzt, wird als endlich erzeugte Gruppe bezeichnet. Besitzt [math]U[/math] ein Erzeugendensystem aus einem Element [math]g[/math], so heißt [math]U[/math] zyklisch und man schreibt [math] U= \langle g \rangle :=\langle \{ g \} \rangle [/math]. Will man [math]\langle g \rangle[/math] explizit durch seine Elemente beschreiben, so erhält man:

[math] \langle g \rangle := \{ g^z | z \in \Z \}[/math],

Die Gruppenordnung [math] | \langle g \rangle | [/math] heißt die Ordnung des erzeugenden Elements [math]g[/math].

Die Menge aller Untergruppen einer Gruppe [math]G[/math] bildet einen vollständigen Verband, den Untergruppenverband. Die beiden trivialen Untergruppen [math]\{e\}[/math] und [math]G[/math] entsprechen dem Null- bzw. dem Einselement des Verbandes. Dabei sind die Verbandsoperationen

[math]U \land V = U\cap V[/math] (Durchschnitt),
[math]U \lor V = \langle U \cup V\rangle [/math] (von der Vereinigung erzeugte Untergruppe).

Literatur

Weblinks


Kategorien: Gruppentheorie | Gruppe (Mathematik)

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Untergruppe (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.