Positive Charakteristik/Frobeniuspotenz/Vergleich mit Potenzen/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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