Positive Charakteristik/Frobeniuspotenz/Eigenschaften/Fakt/Beweis
Beweis
- Dies ist eine Umformulierung der Definition.
- Die Inklusion ist klar. Es genügt zu zeigen, dass die Idealerzeuger aus Teil (1) mit den angegebenen Erzeugern dargestellt werden kann. Es sei dazu . Dann ist
mit und somit
also .
- Unter der gegebenen Voraussetzung ist
(mit ) und somit
also