Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Gruppentheorie/Äquivalenz zu Untergruppe/Definition/Definitionreferenznummer