Überblick
Konzeptuell — Gruppen zusammensetzen
Aus einem Normalteiler N ◁ G und einer Untergruppe H ≤ G mit N ∩ H = {e} und NH = G entsteht G auf zwei Arten — je nachdem, ob H ebenfalls normal ist:
Direkt · N × H
- beide Faktoren normal
- Elemente kommutieren: nh = hn
- H wirkt trivial auf N
Semidirekt · N ⋊ H
- nur N normal
- H wirkt per Automorphismus auf N
- direktes Produkt = Sonderfall (Wirkung trivial)
In beiden Fällen ist |G| = |N| · |H|. Man spricht von einer internen Zerlegung (N, H als Untergruppen von G) oder einer externen Konstruktion (G aus abstrakten N, H gebaut).
Direktes Produkt
Bildungsvorschrift & Beispiele
Externe Konstruktion. Auf der Menge N × H definiert man die Verknüpfung komponentenweise:
Interne Erkennung. Eine Gruppe G ist (isomorph zum) direkten Produkt zweier Untergruppen N, H, wenn:
Dann kommutieren N und H elementweise, und G ≅ N × H. Beispiele:
- V₄ = ℤ₂ × ℤ₂ — die Kleinsche Vierergruppe.
- ℤ₆ ≅ ℤ₂ × ℤ₃ und allgemein ℤmn ≅ ℤm × ℤn für ggT(m,n)=1 (Chinesischer Restsatz).
- Jede endliche abelsche Gruppe ist direktes Produkt zyklischer p-Gruppen (Hauptsatz).
Semidirektes Produkt
Bildungsvorschrift & Beispiele
Externe Konstruktion. Gegeben ein Gruppenhomomorphismus φ : H → Aut(N) (H „wirkt" auf N). Auf N × H definiert man die verdrehte Verknüpfung:
Das Resultat heißt N ⋊φ H. Ist φ trivial (φh = id für alle h), reduziert sich die Regel auf das direkte Produkt. In G gilt die Rechenregel h n h−1 = φh(n) — H „verdreht" N per Konjugation.
Interne Erkennung (Spaltung). G ist semidirektes Produkt, wenn:
H heißt dann ein Komplement zu N; die kurze exakte Folge 1 → N → G → H → 1 spaltet. Beispiele:
Erkennungskriterien im Vergleich
Direkt vs. semidirekt vs. keins
| Bedingung | direkt N×H | semidirekt N⋊H |
|---|---|---|
| N normal | ✓ | ✓ |
| H normal | ✓ | nur wenn φ trivial |
| N ∩ H = {e} | ✓ | ✓ |
| NH = G | ✓ | ✓ |
| Wirkung φ: H→Aut(N) | trivial | beliebig |
| elementweise Kommutativität | ja | i. A. nein |
Beispiele auf einen Blick
Tabellarisch
Prüfungsrelevanz & Anwendungen
Merkkern
- 1Beide: N ◁ G, N∩H={e}, NH=G ⇒ |G| = |N|·|H|. Unterschied: ist auch H normal (direkt) oder nur N (semidirekt)?
- 2Verknüpfungsregel semidirekt: (n₁,h₁)(n₂,h₂) = (n₁ φh₁(n₂), h₁h₂); direkt = trivialer Sonderfall.
- 3Leitbeispiel D₄ = ℤ₄ ⋊ ℤ₂ (τστ = σ⁻¹); allgemein Dₙ, Sₙ = Aₙ ⋊ ℤ₂.
- 4Q₈ spaltet nicht — kein (nichttriviales) semidirektes Produkt.
Anwendungen: