Gruppenerweiterung

In der Gruppentheorie, einem Teilgebiet der Mathematik, sind Gruppenerweiterungen eine Möglichkeit, Gruppen durch einen Normalteiler und die sich ergebende Faktorgruppe zu beschreiben.

Für Gruppen $G$ und $N$ ist eine Gruppenerweiterung von $G$ durch $N$ eine Gruppe $E$ mit einem surjektiven Gruppenhomomorphismus $\varphi :E\to G$ und Kern isomorph zu $N$. Mit anderen Worten, es gibt eine exakte Sequenz

$1\to N\to E\to G\to 1$.

Notwendigerweise ist dann $N$ ein Normalteiler und $G$ isomorph zur Faktorgruppe $E/N$.

Ein Morphismus zwischen zwei Erweiterungen $\varphi :E\to G,{\varphi }^{\prime }:E^{\prime }\to G$ derselben Gruppe $G$ ist ein Gruppenhomomorphismus $\psi :E\to E^{\prime }$ mit ${\varphi }^{\prime }\psi =\varphi$.

Als triviale Erweiterung durch $H$ bezeichnet man die Projektion $G\times H\to G$. Als zentrale Erweiterung bezeichnet man Erweiterungen, bei denen $N$ zum Zentrum von $G$ gehört. Insbesondere muss $N$ dann eine abelsche Gruppe sein.

Eine spezielle Klasse von Gruppenerweiterungen sind semidirekte Produkte $G⋉H$. Eine Erweiterung $\varphi :E\to G$ ist genau dann ein semidirektes Produkt, wenn es einen Homomorphismus $s:G\to E$ mit $\varphi \circ s=i{d}_G$ gibt. Auch für eine abelsche Gruppe $H$ ist ein semidirektes Produkt $G⋉H$ nur dann eine zentrale Erweiterung, wenn der das semidirektes Produkt definierende Homomorphismus $G\to Aut(H)$ trivial ist, es sich also um das direkte Produkt $G\times H$ handelt.