⌂ Start

← Start › S₃

S₃ — die kleinste nicht-abelsche Gruppe

Die Symmetriegruppe des gleichseitigen Dreiecks, S₃ ≅ D₃ ≅ ℤ₃ ⋊ ℤ₂. Mit sechs Elementen die kleinste nicht-abelsche Gruppe — und der Grundbaustein hinter S₄/V₄ und GL(2, 2).

S₃

Ordnung
6 = 2·3
abelsch
nein (kleinste!)
auflösbar
ja
Zentrum
{e}
Kommutator
[S₃,S₃] = A₃
Aufbau
ℤ₃ ⋊ ℤ₂
Erzeuger
⟨σ, τ⟩

Bezüge von S₃

≤S₄ — als Punktstabilisator (fixiert eine Ziffer)
↞S₄ / V₄ ≅ S₃
◁ ≅ ℤ₃, Index 2 (Normalteiler)
⋊ℤ₃ ⋊ ℤ₂ (semidirekt)
≅D₃ ≅ GL(2, 2)

Fokus

Aktiv: —

Präsentation & Erzeuger

Algebraisch — Drehung und Spiegelung

S₃ = ⟨σ, τ | σ³ = τ² = e, τστ = σ⁻¹⟩

σ ist die Drehung um 120° (ein 3-Zykel), τ eine Spiegelung (eine Transposition). Die Relation τστ = σ⁻¹ sagt: Spiegeln kehrt den Drehsinn um — genau die Wirkung, die S₃ zum semidirekten Produkt ⋊ macht.

Die 6 Elemente in Zyklenschreibweise: e, (123), (132) (Drehungen) und (12), (13), (23) (Spiegelungen). S₃ ist zugleich die volle Permutationsgruppe von {1, 2, 3}.

Elemente nach Ordnung

Tabellarisch — 6 Elemente

Zwei Elemente der Ordnung 3 (die Drehungen) und drei der Ordnung 2 (die Spiegelungen) — das ist zugleich die Aufteilung in Konjugiertenklassen.

Element(e)AnzahlOrd.Art
e11neutral
(123), (132)23Drehungen =
(12), (13), (23)32 (konjugiert)

Summe: 1 + 2 + 3 = 6. Drei Konjugiertenklassen ⇒ drei irreduzible Darstellungen (triviale, Signum, 2-dimensionale Standarddarstellung).

Verknüpfungstafel (Cayley-Tafel)

Tabellarisch — Eintrag = Zeile · Spalte (Zeile von links)

Nicht symmetrisch — S₃ ist nicht kommutativ, z. B. στ ≠ τσ. Der linke obere 3×3-Block ist die zyklische Untergruppe A₃ = {e, σ, σ²}; die drei Spiegelungen bilden die versetzten Nebenklassen. Farbe nach Elementordnung.

·eσσ²τστσ²τ
eeσσ²τστσ²τ
σσσ²eστσ²ττ
σ²σ²eσσ²ττστ
ττσ²τστeσ²σ
στσττσ²τσeσ²
σ²τσ²τσττσ²σe
e · Ordnung 1σ, σ² · Ordnung 3τ, στ, σ²τ · Ordnung 2

Normalteiler, Zentrum & Kompositionsreihe

Strukturell

Der einzige nichttriviale echte Normalteiler ist (Index 2, daher automatisch normal). Die drei Spiegelungs-Untergruppen sind nicht normal — sie bilden eine einzige Konjugiertenklasse. Das Zentrum ist trivial: Z(S₃) = {e}.

◁ℤ₃
◁ℤ₂

Kompositionsfaktoren ℤ₃ und ℤ₂ — beide abelsch, also ist S₃ auflösbar. Kommutatoruntergruppe [S₃, S₃] = A₃, Abelisierung S₃ / A₃ ≅ ℤ₂ (das Signum).

Untergruppenverband

Diagrammatisch — 6 Untergruppen, Farbe = Konjugationsklasse

Durchgezogener Rahmen = Normalteiler. Nur die Spiegelungsklasse (gestrichelt, 3 konjugierte Kopien) ist nicht normal. Ein Klick hebt dieselbe Klasse überall hervor.

Geometrie

Anschaulich — Symmetrien des gleichseitigen Dreiecks

123

S₃ sind die 6 Deckabbildungen des gleichseitigen Dreiecks: 3 Drehungen (0°, 120°, 240° = e, σ, σ²) und 3 Spiegelungen an den Achsen durch je eine Ecke und die gegenüberliegende Kantenmitte.

Weil jede Spiegelung eine andere Ecke fixiert, permutieren die Drehungen die drei Achsen zyklisch — deshalb sind alle drei konjugiert und keine ist normal.

Als semidirektes Produkt & Bezüge

Konzeptuell — wie S₃ aufgebaut ist

S₃ spaltet: der Normalteiler und ein Komplement schneiden sich nur in e, und ⟨τ⟩ wirkt per Inversion:

S₃ = A₃ ⋊ ⟨τ⟩ = ℤ₃ ⋊ ℤ₂,   φτ(σ) = τστ⁻¹ = σ⁻¹.

S₃ ist damit die kleinste Diedergruppe (D₃) und tritt an mehreren Stellen auf:

  • als Punktstabilisator in S₄ (alle Permutationen, die eine feste Ziffer fixieren) — daher n = 4 konjugierte Kopien;
  • als Quotient S₄ / V₄ ≅ S₃;
  • als Matrixgruppe GL(2, 𝔽₂) ≅ S₃ (siehe Matrixgruppen).

Sylow: |S₃| = 2·3, also n₃ = 1 (A₃ normal) und n₂ = 3 (die drei Spiegelungs-Untergruppen).

Prüfungsrelevanz & Anwendungen

Merkkern

  • 1Kleinste nicht-abelsche Gruppe; S₃ ≅ D₃ ≅ GL(2,2), Ordnung 6.
  • 2Ein Normalteiler A₃ ≅ ℤ₃ (Index 2); drei konjugierte, nicht-normale ℤ₂; Zentrum {e}.
  • 3S₃ = ℤ₃ ⋊ ℤ₂ (spaltet), auflösbar mit Kette {e} ◁ A₃ ◁ S₃.
  • 4Tritt auf als S₄/V₄ und als Punktstabilisator in S₄.

Anwendungen:

Symmetriegruppe des DreiecksGalois-Gruppe kubischer Polynomekleinstes nicht-abelsches Beispiel