Endliche Körper/Existenz und Eindeutigkeit/Fakt/Beweis

Beweis

Existenz. Wir wenden Fakt auf den Grundkörper ${}\mathbb {Z} /(p)$ und das Polynom ${}X^{q}-X$ an und erhalten einen Körper ${}L$ der Charakteristik ${}p$ , über dem ${}X^{q}-X$ in Linearfaktoren zerfällt. Nach Fakt gibt es dann einen Unterkörper ${}M$ von ${}L$ , der aus genau ${}q$ Elementen besteht.

Eindeutigkeit. Es seien ${}K$ und ${}L$ zwei Körper mit ${}q$ Elementen. Es sei ${}x\in K^{\times }$ ein primitives Element, das nach Fakt existiert. Daher ist ${}K\cong \mathbb {Z} /(p)[X]/(F)$ , wobei ${}F\in \mathbb {Z} /(p)[X]$ das Minimalpolynom von ${}x\in K$ ist. Da ${}K^{\times }$ die Ordnung ${}q-1$ besitzt, gilt für jede Einheit ${}z^{q-1}=1$ und damit überhaupt ${}z^{q}=z$ für alle ${}z\in K$ . D.h., dass jedes Element von ${}K$ eine Nullstelle von ${}X^{q}-X$ ist und dass daher ${}X^{q}-X$ über ${}K$ in Linearfaktoren zerfällt. Da insbesondere ${}x^{q}-x=0$ ist, muss das Minimalpolynom ${}F$ ein Teiler von ${}X^{q}-X$ sein, also ${}X^{q}-X=F\cdot G$ . Nun zerfällt (aus den gleichen Gründen) das Polynom ${}X^{q}-X$ auch über ${}L$ und insbesondere hat ${}F$ eine Nullstelle ${}\lambda \in L$ . Der Einsetzungshomomorphismus liefert einen Ringhomomorphismus