Definition 11.1
Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 11 Gruppentheorie/Äquivalenz zu Untergruppe/Definition