Kategorie:Theorie der linearen Gruppenoperationen/Definitionen