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