Endliche Körper/Nullstellen von X^q-X/bilden Körper/Fakt/Beweis

Beweis

Zunächst gilt für jedes Element ${}x\in \mathbb {Z} /(p)\subseteq K$, dass

${}x^{p^{e}}={\left(x^{p}\right)}^{p^{e-1}}=x^{p^{e-1}}=\ldots =x\,$

ist, wobei wir wiederholt den kleinen Fermat benutzt haben. Insbesondere ist also ${}0,1,-1\in M$. Es ist ${}z^{q}=F^{e}(z)$ und der Frobeniushomomorphismus

$F\colon K\longrightarrow K,\,x\longmapsto x^{p},$

ist ein Ringhomomorphismus nach Aufgabe. Daher ist für ${}x,y\in M$ einerseits

${}(x+y)^{q}=F^{e}(x+y)=F^{e}(x)+F^{e}(y)=x^{q}+y^{q}=x+y\,$

und andererseits

${}(xy)^{q}=x^{q}y^{q}=xy\,.$

Ferner gilt für ${}x\in M$, ${}x\neq 0$, die Gleichheit

${}{\left(x^{-1}\right)}^{q}={\left(x^{q}\right)}^{-1}=x^{-1}\,,$

sodass auch das Inverse zu ${}M$ gehört und in der Tat ein Körper vorliegt.

Zur bewiesenen Aussage