## [Konstruktion des Halb‑Direkten Produkts](/de/node/62428) Definition 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 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 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 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 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 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 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 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 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.