Präsentation & Erzeuger
Algebraisch — zwei kommutierende Involutionen
V₄ = ⟨a, b | a² = b² = (ab)² = e⟩
Zwei Erzeuger der Ordnung 2, die kommutieren. Das dritte Nichteinselement ist ihr Produkt ab. Alle drei sind gleichberechtigt — es gibt einen Automorphismus, der a, b, ab beliebig permutiert, daher Aut(V₄) ≅ S₃.
Elemente nach Ordnung
Tabellarisch — 4 Elemente
Das Kennzeichen von V₄: außer e hat jedes Element Ordnung 2. Genau das unterscheidet sie von ℤ₄, das ein Element der Ordnung 4 besitzt.
| Element | Ord. | erzeugt |
|---|---|---|
| e | 1 | |
| a | 2 | |
| b | 2 | |
| ab | 2 |
Verknüpfungstafel (Cayley-Tafel)
Tabellarisch — Eintrag = Zeile · Spalte
V₄ ist abelsch — die Tafel ist symmetrisch zur Diagonale. Jedes Element ist zu sich selbst invers, daher steht auf der ganzen Diagonale e. Die drei Elemente a, b, c erzeugen je eine Untergruppe {e, x} ≅ ℤ₂; das Produkt zweier verschiedener ist stets das dritte: ab = c.
| · | e | a | b | c |
|---|---|---|---|---|
| e | e | a | b | c |
| a | a | e | c | b |
| b | b | c | e | a |
| c | c | b | a | e |
Aufbau, Kommutator & Zentrum
Konzeptuell — das Musterbeispiel eines direkten Produkts
Bildungsart. V₄ ist das direkte Produkt ⟨a⟩ × ⟨b⟩ ≅ ℤ₂ × ℤ₂: beide Faktoren sind normal, kommutieren elementweise und schneiden sich nur in e. Im Gegensatz zum semidirekten Produkt (etwa D₄ = ℤ₄ ⋊ ℤ₂) wirkt hier kein Faktor nichttrivial auf den anderen.
Kommutator & Zentrum. Weil V₄ abelsch ist, gilt [V₄,V₄] = {e} und Z(V₄) = V₄ — die Kommutatoruntergruppe ist trivial, das Zentrum die ganze Gruppe. Die Abelisierung V₄/[V₄,V₄] ist V₄ selbst.
Sylow. Wegen |V₄| = 2² ist V₄ eine 2-Gruppe und ihre eigene 2-Sylow-Untergruppe. In A₄ ist V₄ die einzige 2-Sylow-Untergruppe (n₂ = 1) und deshalb dort normal.
Untergruppenverband
Diagrammatisch — drei gleichberechtigte ℤ₂, alle normal
Drei Untergruppen der Ordnung 2, alle normal (violette Schrift), plus {e} und V₄. Ein perfekt symmetrischer Verband — die drei ℤ₂ sind durch Automorphismen austauschbar.
Rolle in S₄ und A₄
Verbindend — warum V₄ überall auftaucht
V₄ tritt als Normalteiler in größeren Gruppen auf und ist der Schlüssel zur Auflösbarkeit:
Geometrie
Anschaulich — Symmetrien des (nicht-quadratischen) Rechtecks
V₄ sind die vier Deckabbildungen eines echten Rechtecks: die Identität, die Spiegelung an der Waagerechten (a), die an der Senkrechten (b) und die 180°-Drehung (ab = ba).
Weil das Rechteck keine Diagonalsymmetrie hat, gibt es keine 4-Zählung — im Gegensatz zum Quadrat (D₄). Deshalb ist V₄ nicht zyklisch.
V₄ gegen ℤ₄
Vergleichend — die zwei Gruppen der Ordnung 4
Bis auf Isomorphie gibt es genau zwei Gruppen der Ordnung 4, beide abelsch. Der Unterschied ist die Existenz eines Elements der Ordnung 4:
V₄ = ℤ₂ × ℤ₂
- alle Elemente ≠ e haben Ordnung 2
- nicht zyklisch
- drei Untergruppen der Ordnung 2
- Symmetrien des Rechtecks
ℤ₄
- ein Element der Ordnung 4
- zyklisch, ⟨1⟩
- eine Untergruppe der Ordnung 2
- Drehungen des Quadrats
Prüfungsrelevanz & Anwendungen
Merkkern
- 1Kleinste nicht-zyklische Gruppe; alle Elemente haben Ordnung ≤ 2.
- 2Standardbeispiel des direkten Produkts: V₄ = ℤ₂ × ℤ₂.
- 3Normalteiler in A₄ und S₄; trägt die Auflösbarkeit von S₄.
- 4Unterscheidung von ℤ₄: ℤ₄ hat ein Element der Ordnung 4, V₄ nicht.
Anwendungen: