Auflösbare Gruppe/Kurze exakte Sequenz/Kriterium/Fakt

Es sei eine Gruppe, ein Normalteiler und die zugehörige Restklassengruppe.

Dann ist genau dann auflösbar, wenn dies für und gilt.