Es sei K = Z / ( p ) {\displaystyle {}K=\mathbb {Z} /(p)} , wir betrachten den Frobeniushomomorphismus
und dadurch K [ X 1 , … , X n ] {\displaystyle {}K[X_{1},\ldots ,X_{n}]} als K [ X 1 , … , X n ] {\displaystyle {}K[X_{1},\ldots ,X_{n}]} -Modul. Bestimme eine Basis
,
wir betrachten den
Frobeniushomomorphismus
![{\displaystyle K[X_{1},\ldots ,X_{n}]\longrightarrow K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f272f3fd0035e484f9b1c22ff48b44a186869d29)
![{\displaystyle {}K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96607693c80a38f197b1443eb366df0a6bbef1c3)
als
-Modul.
Bestimme eine
Basis
