Es sei G {\displaystyle {}G} eine Gruppe, N ⊆ G {\displaystyle {}N\subseteq G} ein Normalteiler und G / N {\displaystyle {}G/N} die zugehörige Restklassengruppe.
Dann ist G {\displaystyle {}G} genau dann auflösbar, wenn dies für N {\displaystyle {}N} und G / N {\displaystyle {}G/N} gilt.
