Kategorie:Theorie des linearen Frobeniushomomorphismus/Definitionen