Kleinsche Vierergruppe - LinkFang.de





Kleinsche Vierergruppe


Dieser Artikel behandelt nicht die Kleinsche Gruppen, spezielle Gruppen von Möbiustransformationen, sondern die nicht-zyklische Gruppe mit 4 Elementen.

In der Gruppentheorie ist die Kleinsche Vierergruppe, auch kurz Vierergruppe genannt, die kleinste nicht-zyklische Gruppe. Sie hat die Gruppenordnung 4, wie nur die zyklische Gruppe [math]C_4[/math] neben ihr, und ist wie diese eine abelsche Gruppe. Ihren Namen trägt sie nach Felix Klein, der 1884 in seinen Vorlesungen über das Ikosaeder und die Auflösung der Gleichungen vom fünften Grade von dieser Gruppe als „Vierergruppe“ sprach; als Symbol dient oft der Buchstabe [math]V[/math]. Die Vierergruppe wird nicht durch eine besondere Darstellungsweise ihrer Elemente charakterisiert, sondern abstrakt aufgefasst und entspricht der endlichen Gruppe [math]C_2 \times C_2[/math].

Verknüpfungstafel

Die Kleinsche Vierergruppe operiert auf einer Trägermenge der Mächtigkeit (Kardinalität) 4 und hat vier Elemente, z. B. [math]1, a, b, ab[/math], von denen [math]1[/math] das neutrale Element ist. Deren (interne) Verknüpfung von zwei Elementen ergibt wieder eines der vier Elemente – bei vertauschter Reihenfolge der jeweils verknüpften Paare das gleiche Resultat (Kommutativgesetz), bei (zweistelliger) Verknüpfung eines Elementes mit sich selbst je das neutrale Element – und wird durch die folgende Verknüpfungstafel angegeben:

[math]\circ[/math] 1 a b ab
1 1 a b ab
a a 1 ab b
b b ab 1 a
ab ab b a 1

Diese Tafel der zweistelligen Verknüpfung [math]\circ[/math] ist wie bei allen kommutativen Gruppen symmetrisch bezüglich der Hauptdiagonalen, welche bei der Vierergruppe [math]V[/math] – anders als z. B. bei der zyklischen Gruppe gleicher Ordnung (C4) – allein durch das neutrale Element belegt wird. Somit ist ein jedes Element auch (beidseitig) inverses Element zu sich selbst; jedes Element ist also involutiv.

Die Kopien von Kopfzeile und Eingangszeile, bei üblicher Notierung wie hier in der 1. Zeile bzw. der 1. Spalte zu finden, identifizieren das (beidseits) neutrale Element [math]1[/math], das als identische Abbildung der Elemente auch „Identität“ genannt wird.

Eigenschaften

Die Kleinsche Vierergruppe [math]V[/math] ist eine kommutative, jedoch keine zyklische Gruppe. Ihre Untergruppen sind {1}, {1,a}, {1,b}, {1,ab}, {1,a,b,ab} und alle normal, die Vierergruppe ist somit keine endliche einfache Gruppe. Die nicht-neutralen Elemente [math]a, b, ab[/math] haben die Elementeordnung 2, jedes Element bildet eine eigene Konjugationsklasse.

Die Vierergruppe entspricht der (abelschen und nicht-zyklischen) endlichen Gruppe [math]C_2 \times C_2[/math] – einem direkten Produkt zweier Exemplare der zyklischen Gruppe [math]C_2[/math], welche die kleinste nicht-triviale Gruppe und einzige der Gruppenordnung 2 ist. Die abstrakten Eigenschaften der Vierergruppe können am Beispiel unterschiedlicher Punktgruppen und multiplikativer Gruppen gezeigt werden, die zu ihr isomorph sind.

Auftreten

Die Vierergruppe [math]V[/math] tritt zum Beispiel auf als die Symmetriegruppe einer nicht gleichwinkligen Raute oder eines nicht gleichseitigen Rechtecks (die also kein Quadrat sind; dessen Symmetriegruppe wäre die Diedergruppe [math]D_4[/math] (der Gruppenordnung 8) und die Drehgruppe eines Quadrates ist ein Beispiel für die zyklischen Gruppe [math]C_4[/math]):

Die vier Elemente sind dabei: [math]1[/math] als die Identität (oder Drehung um 0°), [math]a[/math] als die Spiegelung an der senkrechten Mittelachse, [math]b[/math] als die Spiegelung an der waagrechten Mittelachse, und [math]ab[/math] als die 180°-Drehung um den Mittelpunkt, welche auch als kombinierte horizontale und vertikale Spiegelung aufgefasst werden kann. Mit den wie oben beschrifteten Ecken eines Rechtecks liefert die Permutationsdarstellung

[math]\left(A,B,C,D\right)\mapsto\left(A,B,C,D\right)[/math], das Element [math]1[/math] darstellend
[math]\left(A,B,C,D\right)\mapsto\left(B,A,D,C\right)[/math], das Element [math]a[/math] darstellend
[math]\left(A,B,C,D\right)\mapsto\left(D,C,B,A\right)[/math], das Element [math]b[/math] darstellend
[math]\left(A,B,C,D\right)\mapsto\left(C,D,A,B\right)[/math], das Element [math]ab[/math] darstellend

und mit Notation der Permutationen in Zykelschreibweise

[math]V = \{ \mathbf{id}=(A)(B)(C)(D), (A,B)(C,D), (A,D)(B,C), (A,C)(B,D) \}[/math]

In dieser Darstellung ist [math]V[/math] die Kommutatorgruppe und damit ein Normalteiler der alternierenden Gruppe [math]A_4[/math] und auch Normalteiler der symmetrischen Gruppe [math]S_4[/math]. In der Galoistheorie erklärt die Existenz der Kleinschen Vierergruppe in dieser Darstellung die Existenz der Lösungsformel für Gleichungen vierten Grades.

Des Weiteren ist die Vierergruppe isomorph zu

  • [math]\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}[/math],
  • der Diedergruppe der Ordnung 4 ([math]D_2[/math]),
  • der Einheitengruppe des Ringes [math]\mathbb{Z}/8\mathbb{Z}[/math] (das sind die Restklassen von 1, 3, 5 und 7 unter Multiplikation modulo 8),
  • der Einheitengruppe des Ringes [math]\mathbb{Z}/12\mathbb{Z}[/math] (das sind die Restklassen von 1, 5, 7 und 11 unter Multiplikation modulo 12),
  • der Automorphismengruppe des folgenden Graphen:
  • der von den Involutionen [math]a,b:K^* \, \rightarrow \, K^* [/math] mit einem beliebigen Körper [math]K[/math] und
[math]a:[/math] [math] x \mapsto -x [/math]
[math]b:[/math] [math]x \mapsto x^{-1} [/math]

     erzeugten Gruppe mit der Hintereinanderausführung als Gruppenverknüpfung.

Darstellungen

Die reguläre Darstellung

Die reguläre Darstellung von [math]V=\{e,a,b,c\}[/math] (hier wird [math]c=ab[/math] gesetzt) über einem Körper [math]K[/math] (z.B. [math]K=\R[/math]) ist der folgende Gruppenhomomorphismus [math]\rho:V\rightarrow \mathrm{GL}_4(K)[/math] in die Gruppe der invertierbaren 4×4-Matrizen. [math]\rho(x)[/math] ist die Abbildungsmatrix zu derjenigen linearen Abbildung, die die Basis [math]e,a,b,c[/math] des 4-dimensionalen Vektorraums [math]Ke+Ka+Kb+Kc[/math] auf [math]xe,xa,xb,xc[/math] abbildet, das heißt die 4 Basiselemente werden als Elemente der Vierergruppe aufgefasst und mit [math]x[/math] multipliziert. Dann ist natürlich [math]\rho(e)[/math] die 4×4-Einheitsmatrix. Zur bestimmung von [math]\rho(a)[/math] beachte, dass die Basis [math]e,a,b,c[/math] auf [math]ae,aa,ab,ac[/math], also auf [math]a,e,c,b[/math] abgebildet wird, die darstellende Matrix ist daher

[math]\rho(a) = \begin{pmatrix}0&1&0&0\\1&0&0&0\\0&0&0&1\\0&0&1&0\end{pmatrix}[/math].

Genauso bestimmt man

[math]\rho(b) = \begin{pmatrix}0&0&1&0\\0&0&0&1\\1&0&0&0\\0&1&0&0\end{pmatrix}, \quad \quad \rho(c) = \begin{pmatrix}0&0&0&1\\0&0&1&0\\0&1&0&0\\1&0&0&0\end{pmatrix}[/math]

Daher ist

[math] \left\{ \begin{pmatrix}1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{pmatrix}, \begin{pmatrix}0&1&0&0\\1&0&0&0\\0&0&0&1\\0&0&1&0\end{pmatrix}, \begin{pmatrix}0&0&1&0\\0&0&0&1\\1&0&0&0\\0&1&0&0\end{pmatrix}, \begin{pmatrix}0&0&0&1\\0&0&1&0\\0&1&0&0\\1&0&0&0\end{pmatrix}\right\} \,\subset \,\mathrm{GL}_4(K)[/math]

eine 4-elementige Gruppe, die zur Kleinschen Vierergruppe isomorph ist, und die angegebene Abbildung [math]\rho[/math] ist ein Gruppenisomorphismus.[1]

Irreduzible Darstellungen

Als vierelementige abelsche Gruppe muss die Kleinsche Vierergruppe [math]V=\{e,a,b,c\}[/math] vier irreduzible Darstellungen besitzen. Diese sind die folgenden Gruppenhomomorphismen [math]\sigma_e, \sigma_a, \sigma_b, \sigma_c:V\rightarrow \{1,-1\}[/math]:

[math]\sigma_e(x) = 1[/math]   für alle [math]x\in V[/math]
[math]\sigma_a(x) = \begin{cases}1 & \text{ für } x\in \{e,a\}\\ -1 & \text{ sonst} \end{cases}[/math]
[math]\sigma_b(x) = \begin{cases}1 & \text{ für } x\in \{e,b\}\\ -1 & \text{ sonst} \end{cases}[/math]
[math]\sigma_c(x) = \begin{cases}1 & \text{ für } x\in \{e,c\}\\ -1 & \text{ sonst} \end{cases}[/math]

Beachte, dass diese Homomorphismen bzgl. der punktweisen Multiplikation von Abbildungen wieder eine Gruppe bilden und dass [math]\sigma:V\rightarrow \mathrm{Abb}(V,\C), \, x\mapsto \sigma_x[/math], ein Gruppenhomomorphismus ist, der ein Isomorphismus [math]V\rightarrow \{\sigma_e,\sigma_a,\sigma_b,\sigma_c\}[/math] ist. Dies zeigt, dass [math]V[/math] zu ihrer Dualgruppe isomorph ist.

Automorphismengruppe

Ein Automorphismus der Kleinschen Vierergruppe [math]V[/math] muss die Ordnungen der Gruppenelemente festlassen, kann also höchstens die drei Elemente [math]a,b,c[/math] der Ordnung 2 permutieren. Tatsächlich ist jede Abbildung, die [math]e[/math] fest lässt und [math]a,b,c[/math] permutiert, ein Automorphismus. Das liegt daran, dass die Verknüpfung auf [math]V[/math] so beschrieben werden kann, dass das Produkt von zwei gleichen Elementen der Ordnung 2 gleich dem neutralen Element ist und das Produkt von zwei verschiedenen Elementen der Ordnung das jeweils dritte Element der Ordnung 2 ist, und das bleibt bei Permutationen der Elemente der Ordnung 2 erhalten. Daher ist die Automorphismengruppe von [math]V[/math] isomorph zu symmetrischen Gruppe S3.

Belege

Einzelnachweise

  1. Kurt Meyberg: Algebra II. Carl Hanser Verlag (1976), ISBN 3-446-12172-2, Beispiel 9.1.3 c1

Kategorien: Gruppentheorie | Endliche Gruppe

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