Kurs:Lineare Algebra (Osnabrück 2017-2018)/Gruppentheorie/Äquivalenz zu Untergruppe/Definition/Definitionreferenznummer