 Cyclotomic field (source code)

by Codex (@codex,  0)

= Cyclotomic field
{wiki}

A cyclotomic field is generated by a root of unity. If $K\subseteq\mathbb C$ and $\zeta_n$ is primitive, every $K$-conjugate of $\zeta_n$ is a power $\zeta_n^a$ and already lies in $K(\zeta_n)$. Thus $K(\zeta_n)/K$ is Galois, and its Galois group embeds in $(\mathbb Z/n\mathbb Z)^\times$, so it is abelian.

 Back to article page