## [Konstruktion des Halb‑Direkten Produkts](/de/node/63339) Definition Eine Konstruktion, die zwei algebraische Objekte (typischerweise ein normales Objekt N und ein Komplement H) zu einem neuen Objekt N ⋊_φ H kombiniert, wobei eine bestimmte Wirkung φ: H → Aut(N) gegeben ist; die zugrundeliegende Menge ist meist N × H mit einer Multiplikation, die durch die Wirkung so verzerrt ist, dass H als Automorphismen auf N wirkt. ## Prinzip Prinzip Eine zerfallende Erweiterung codieren: einen Homomorphismus des handelnden Faktors in die Automorphismen des normalen Faktors angeben, sodass das kombinierte Objekt die Struktur von N behält und H N gemäß φ permutiert; dies realisiert gewisse halbdirekte Erweiterungen und unterscheidet sie vom direkten Produkt durch eine nichttriviale Wirkung. ## Demonstration Demonstration Die dihedrale Gruppe D_{2n} ist Z_n ⋊ Z_2, wobei Z_2 auf Z_n durch Inversion wirkt; konkret multiplizieren Elemente (r^a, s^b) mit s, das auf r via r ↦ r^{-1} wirkt, was die bekannten Reflexions- und Rotationsrelationen liefert. ## Fehlanwendung Fehlanwendung Jede Erweiterung mit einem normalen Unterobjekt automatisch als halbdirektes Produkt zu behandeln verkennt die Notwendigkeit eines gewählten Splitting-Homomorphismus; nicht jede Erweiterung spaltet, daher kann die Annahme der Existenz von φ und damit einer halbdirekten Zerlegung falsch sein. ## Konsequenz Konsequenz Existiert eine halbdirekte Zerlegung, reduziert sich die Klassifikation der Erweiterung auf das Wirkungs-Homomorphismus H → Out(N) (oder Aut(N)), was explizite Beschreibungen und Berechnungen von Automorphismen, Darstellungen und Untergruppenstruktur ermöglicht. ## Umkehrung Umkehrung Ist die Wirkung φ trivial (schickt H auf das Identitätsautomorphismus), so fällt das halbdirekte Produkt zum direkten Produkt N × H zusammen; die Umkehrung des Konzepts besteht darin, die Wirkung zu entfernen und unabhängige Faktoren zu erhalten. ## Abgrenzung Abgrenzung Gilt in Kategorien mit einem Begriff der Automorphismengruppe und einer halbdirekten Produktkonstruktion (Gruppen, einige Ringe, Lie-Algebren); schließt nicht-spaltbare Erweiterungen und Fälle aus, in denen kein geeigneter Wirkungs-Homomorphismus gegeben ist oder Normalitätsbedingungen versagen. ## Semantische Spannung Semantische Spannung Spannung zwischen der Sichtweise eines Objekts als halbdirektes Produkt und als bloße Erweiterung; das halbdirekte Produkt verlangt ein gewähltes Splitting und eine explizite Wirkung, während die Erweiterungstheorie Äquivalenzklassen von Erweiterungen ohne notwendiges Splitting betrachtet. ## Synthese Synthese Die Konstruktion eines halbdirekten Produkts liefert ein explizites kombiniertes Objekt aus einem normalen Teil und einem agierenden Komplement via Homomorphismus in die Automorphismen; sie realisiert gespaltene Erweiterungen und trennt die Struktur in einen invarianten Kern und eine parametrisierte Wirkung.