Der Ringhom. $$\mathbb Z \to K ,\quad n\mapsto n \cdot 1$$ ist nicht injektiv, da K endlich und der Kern ist ein Primideal, da Z/Kern isomorph zu einem Unterring P von K. Daher Kern=(p) für eine Primzahl p. K ist ein Vektorraum über P mit der Addition in K und der Multiplikation in K, eingeschränkt auf Skalare aus P, als Skalarmultiplikation. Eine Basis kann nicht größer sein als der Vektorraum und jeder VR hat eine Basis. Sei also K n-dimensional. Damit K als VR über F_p isomorph zu \( (\mathbb Z/p\mathbb Z)^n \) und die Menge hat p^n Elemente.