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

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

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

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

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

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

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

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

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.