Kreisteilungskörper/Einheitswurzeln/Gleichheit/Fakt

Die Einheitswurzelgruppe des ${}n$-ten Kreisteilungskörpers ${}K_{n}$ ist

${}\mu _{}{\left(K_{n}\right)}=\mu _{n}\,$

bei ${}n$ gerade und

${}\mu _{}{\left(K_{n}\right)}=\mu _{2n}\,$

bei ${}n$ ungerade.

Zum Beweis, Alternativen Beweis erstellen