Kategorie:Der Frobeniushomomorphismus/Definitionen