Kommutative endliche Gruppe/Körper mit Einheitswurzeln/Charaktergruppe/Isomorph/Fakt/Beweis

Beweis

Nach Fakt  (2) und Fakt kann man annehmen, dass ${}G=\mathbb {Z} /(n)$ eine endliche zyklische Gruppe ist, und dass ${}K$ eine ${}n$-te primitive Einheitswurzel besitzt. Jeder Gruppenhomomorphismus

$\varphi \colon G\longrightarrow K^{\times }$

ist durch ${}\zeta =\varphi (1)$ eindeutig festgelegt, und wegen

${}\zeta ^{n}=(\varphi (1))^{n}=\varphi (n)=\varphi (0)=1\,$

ist ${}\zeta$ eine ${}n$-te Einheitswurzel. Umgekehrt kann man zu jeder ${}n$-ten Einheitswurzel ${}\zeta$ durch die Zuordnung ${}1\mapsto \zeta$ nach Fakt und Fakt einen Gruppenhomomorphismus von ${}\mathbb {Z} /(n)$ nach ${}K^{\times }$ definieren. Die Menge der ${}n$-ten Einheitswurzeln ist, da eine primitive Einheitswurzel vorhanden ist, eine zyklische Gruppe der Ordnung ${}n$. Also gibt es ${}n$ solche Homomorphismen. Wenn ${}\zeta$ eine primitive Einheitswurzel ist, dann besitzt der durch ${}1\mapsto \zeta$ festgelegte Homomorphismus die Ordnung ${}n$ und ist damit ein Erzeuger der Charaktergruppe, also ${}(\mathbb {Z} /(n))^{\vee }\cong \mathbb {Z} /(n)$.

Zur bewiesenen Aussage