Positive Charakteristik/Frobeniuspotenz/Eigenschaften/Fakt/Beweis

Beweis
  1. Dies ist eine Umformulierung der Definition.
  2. 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 .

  3. Unter der gegebenen Voraussetzung ist

    (mit ) und somit

    also