Kurs:Lineare Algebra (Osnabrück 2017-2018)/Eigentliche Bewegungsgruppe/Fix/Endliche Untergruppe/Numerische Eigenschaften/Fakt/Faktreferenznummer