Positive Charakteristik/Frobeniuspotenz/Vergleich mit Potenzen/Fakt
Es sei ein kommutativer Ring in positiver Charakteristik und ein Ideal.
Dann gilt für die Frobeniuspotenzen und den gewöhnlichen Potenzen die Beziehungen (mit ).
Es sei 
Dann gilt für die
Frobeniuspotenzen
und den
gewöhnlichen Potenzen
die Beziehungen
(mit
![{\displaystyle {}I^{nq}\subseteq I^{[q]}\subseteq I^{q}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c2ae0cb9787c43e40fa1aac158f666c3351547c)