Eine Gruppenkonstruktion, die eine Gruppe G als Halbdirektes Produkt N ⋊φ H aus einem normalen Untergrupp N, einem Untergrupp H und einem Homomorphismus φ: H → Aut(N) aufbaut, der die Wirkung von H auf N festlegt; die Multiplikation lautet (n1,h1)(n2,h2) = (n1 φ(h1)(n2), h1h2).

Prinzip

Kombiniere eine interne normale Untergruppe und einen komplementären Untergrupp mit einer spezifizierten Wirkung, so dass die Erweiterung zerfällt: Die Gesamtgruppe ist das Mengenerzeugnis von N und H mit der Kreuzwirkung durch den Homomorphismus nach Aut(N); die Konstruktion kodiert gespaltene Gruppen­erweiterungen und macht deutlich, wie nichttriviale Wirkungen nichttriviale halbdirekte Strukturen erzeugen.

Demonstration

Die dihedrale Gruppe der Ordnung 2n ist Z_n ⋊ Z_2, wobei Z_2 auf Z_n durch Inversion wirkt; konkret nimmt man N = zyklische Rotationsgruppe, H = {1, Spiegelung} und φ(Spiegelung) = Inversionsautomorphismus, wodurch die bekannten Relationen r^n = 1, s^2 = 1, srs = r^{−1} entstehen.

Fehlanwendung

Zu glauben, jede Gruppenerweiterung sei ein Halbdirektes Produkt (d. h. gespalten): Viele Erweiterungen spalten nicht und lassen sich ohne Wahl einer Schnittabbildung nicht als N ⋊ H realisieren; ebenso führt die Annahme einer eindeutigen halbdirekten Zerlegung zu Fehlern, da unterschiedliche Wirkungen zu nichtisomorphen Halbdirekten Produkten führen können, obwohl N und H gleich sind.

Konsequenz

Ermöglicht die explizite Realisierung und Klassifikation gespaltener Erweiterungen; liefert eine konkrete Beschreibung von Gruppen mit vorgegebener normaler Untergruppe und komplementärem Untergruppe und ist ein zentrales Werkzeug zum Konstruieren von Beispielen und Analysieren von Gruppenstrukturen mittels Aktionen und Automorphismen.

Umkehrung

Das direkte Produkt ist der Spezialfall mit trivialer Wirkung φ und ergibt N × H; das Vergessen der Wirkung reduziert halbdirekte Produkte auf direkte Produkte und verliert die Information darüber, wie H N ‚verwindet‘.

Abgrenzung

Erfordert die Angabe einer Wirkung φ: H → Aut(N) sowie das Vorhandensein einer normalen Untergruppe N und eines Untergrupp H, deren Produkt die ganze Gruppe ergibt und deren Schnitt trivial ist für die interne Interpretation; nicht jede kurze exakte Folge 1 → N → G → H → 1 spaltet, daher decken Halbdirekte Produkte nicht alle Erweiterungen ab.

Semantische Spannung

Verwechslungen treten häufig auf zwischen gespaltenen Erweiterungen (halbdirekte Produkte) und allgemeinen Gruppenerweiterungen, die durch Kohomologie klassifiziert werden; die halbdirekte Produktkonstruktion ist konkret und konstruktiv, während Existenz und Klassifikation nichtgespaltener Erweiterungen kohomologisch sind und oft keine expliziten halbdirekten Realisierungen besitzen.

Synthese

Die Konstruktion des halbdirekten Produkts verbindet eine normale Untergruppe und eine komplementäre Untergruppe durch Festlegung einer Wirkung der letzteren auf die erstere mittels Automorphismen; sie realisiert gespaltene Erweiterungen konkret und parametrisiert viele nichtabelsche Kombinationen zweier gegebener Gruppen durch die Wahl der Wirkung.