Positive Charakteristik/Frobeniuspotenz/Vergleich mit Potenzen/Fakt/Beweis
Beweis
Die rechte Inklusion ist klar, da die Erzeuger , , der Frobeniuspotenzen auch zur gewöhnlichen Potenz gehören. Die Produkte mit
bilden ein Idealerzeugendensystem von . Da Summanden vorliegen, muss einer davon größergleich sein. Sagen wir . Dann ist