Kommutator-Untergruppe

Kommutator-Untergruppe

In der Mathematik bezeichnet die Kommutatorgruppe (oder Kommutator-Untergruppe) zu einer Gruppe G diejenige Untergruppe, die von den Kommutatoren von G erzeugt wird:

K(G) = \langle\{[a,b]\ |\ a,b\in G\}\rangle,\qquad [a,b]=aba^{-1}b^{-1}.

Die Kommutatorgruppe wird auch mit [G,G] bezeichnet.

Im Allgemeinen ist die Menge aller Kommutatoren keine Untergruppe von G, die Phrase erzeugt von in der Definition kann also nicht weggelassen werden.

Inhaltsverzeichnis

Eigenschaften

K(G) ist Normalteiler von G, da für alle x\in G gilt: x − 1[a,b]x = [x − 1ax,x − 1bx].

Die Kommutatorgruppe misst, wie weit eine Gruppe von Kommutativität entfernt ist. G ist genau dann abelsch, wenn K(G) = {e}. Ist G = K(G), nennt man G eine perfekte Gruppe.

Die Faktorgruppe G / K(G) ist stets abelsch, sie wird als Abelisierung der Gruppe bezeichnet. Für jeden Normalteiler N gilt:

G / N ist genau dann abelsch, wenn K(G) \subseteq N.

Das heißt, die Kommutatorgruppe ist der kleinste Normalteiler, für den die Faktorgruppe abelsch ist.

Beispiel

Es sei Sn die symmetrische Gruppe und An die alternierende Gruppe. Dann gilt:

  • K(Sn) = An für n\geq 2.
  • K(An) = An für n\geq 5.
  • K(A4) = V, wobei V die Kleinsche Vierergruppe bezeichnet.
  • K(A3) = K(A2) = {e}.

Höhere Kommutatorgruppen

Das Bilden der Kommutatorgruppe lässt sich iterieren, man bezeichnet die n-te Kommutatorgruppe mit Kn(G). Die rekursive Definition lautet:

  1. K0(G): = G.
  2. Kn + 1(G): = K(Kn(G)).

Eine Gruppe G heißt auflösbar genau dann, wenn eine Kette von sukzessiven Normalteilern G=G_0\triangleright G_1\triangleright\ldots\triangleright G_n=\{e\} (Subnormalreihe) existiert, so dass die Faktorgruppen Gk / Gk + 1 abelsch sind. Die Konstruktion der iterierten Kommutatorgruppe liefert ein Kriterium für die Auflösbarkeit von G:

G ist genau dann auflösbar, wenn es ein n \in \mathbb{N} gibt mit Kn(G) = {e}.

In der Tat ist die bei fortgesetzter Kommutatorbildung entstehende absteigende Reihe von Untergruppen oder eine Verfeinerung dieser Reihe äquivalent zu jeder solchen Subnormalreihe oder einer Verfeinerung derselben.

Der Zusammenhang zwischen den beiden äquivalenten Definitionen der Auflösbarkeit, über fortgesetzte Kommutatorenbildung einerseits und über eine Subnormalreihe andererseits sowie der Begriff der Subnormalreihe werden im Artikel „Reihe (Gruppentheorie)“ erläutert.

Beispiel

Die symmetrische Gruppe Sn bzw. die alternierende Gruppe An ist genau dann auflösbar, wenn n < 5. Für n\in\{2,3\} sieht man das sofort mit obigem Beispiel ein. Für n = 4 gilt:

K(S4) = A4, K(A4) = V, K(V) = {e}, da V abelsch ist.

Für n\geq 5 wird die Kette der iterierten Kommutatorgruppen stationär bei A_n \neq \{e\}, also ist dann weder Sn noch An auflösbar.


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Kommutator (Mathematik) — In der Mathematik misst der Kommutator (lat. commutare vertauschen), wie sehr zwei Elemente einer Gruppe oder einer assoziativen Algebra das Kommutativgesetz verletzen. Inhaltsverzeichnis 1 Kommutatoren in Gruppen 2 Kommutatoren in Algebren 3 …   Deutsch Wikipedia

  • Kommutator — Stromwender * * * Kom|mu|ta|tor 〈m. 23〉 = Kollektor (2) [zu lat. commutare „verändern, umwandeln“] * * * Kommutator   der, s/... toren,    1) Elektrotechnik: Stromwender, Kollẹktor, koaxial auf der Welle einer Kommutatormaschine aufsitzendes… …   Universal-Lexikon

  • Kommutatorengruppe — In der Mathematik bezeichnet die Kommutatorgruppe (oder Kommutator Untergruppe) zu einer Gruppe G diejenige Untergruppe, die von den Kommutatoren von G erzeugt wird: Die Kommutatorgruppe wird auch mit [G,G] bezeichnet. Im Allgemeinen ist die… …   Deutsch Wikipedia

  • Kommutatoruntergruppe — In der Mathematik bezeichnet die Kommutatorgruppe (oder Kommutator Untergruppe) zu einer Gruppe G diejenige Untergruppe, die von den Kommutatoren von G erzeugt wird: Die Kommutatorgruppe wird auch mit [G,G] bezeichnet. Im Allgemeinen ist die… …   Deutsch Wikipedia

  • Freie Gruppe — In der Mathematik heißt eine Gruppe frei, wenn sie eine Teilmenge S enthält, so dass jedes Gruppenelement auf genau eine Weise als (reduziertes) Wort von Elementen in S und deren Inversen geschrieben werden kann. Hierbei ist die Reihenfolge der… …   Deutsch Wikipedia

  • Kommutatorgruppe — In der Mathematik bezeichnet die Kommutatorgruppe (oder Kommutator Untergruppe) zu einer Gruppe G diejenige Untergruppe, die von den Kommutatoren in der Gruppe G erzeugt wird: Die Kommutatorgruppe wird auch mit [G,G] bezeichnet. Im Allgemeinen… …   Deutsch Wikipedia

  • Antikommutator — In der Mathematik misst der Kommutator (lat. commutare vertauschen), wie sehr zwei Elemente einer Gruppe oder einer assoziativen Algebra das Kommutativgesetz verletzen. Inhaltsverzeichnis 1 Kommutatoren in Gruppen 2 Kommutatoren in Algebren 3… …   Deutsch Wikipedia

  • Vertauschungsrelation — In der Mathematik misst der Kommutator (lat. commutare vertauschen), wie sehr zwei Elemente einer Gruppe oder einer assoziativen Algebra das Kommutativgesetz verletzen. Inhaltsverzeichnis 1 Kommutatoren in Gruppen 2 Kommutatoren in Algebren 3… …   Deutsch Wikipedia

  • Generelle lineare Gruppe — Allgemeine lineare Gruppe GL(n,K) berührt die Spezialgebiete Mathematik Gruppentheorie Lie Gruppen Physik Symmetrie Quantenmechanik Eichtheorie Relativitätstheorie Lorentz Gruppe …   Deutsch Wikipedia

  • Lineare Gruppe — Allgemeine lineare Gruppe GL(n,K) berührt die Spezialgebiete Mathematik Gruppentheorie Lie Gruppen Physik Symmetrie Quantenmechanik Eichtheorie Relativitätstheorie Lorentz Gruppe …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”