Group extension

Summary

A group extension is a group $G$ with a normal subgroup $N$ and a quotient group $G/N$ isomorphic to a given group $Q$. It is the way to build a group out of two smaller pieces. The extension problem asks for all groups $G$ that can be built from given $N$ and $Q$. Every finite group is built from simple groups by repeated extensions, along a composition series.