Cyclotomic extension

A field extension obtained by adjoining a primitive n-th root of unity, K(ζ_n)/K.
Cyclotomic extension

Definition. Let KK be a field and let ζn\zeta_n be a in some extension field. The extension

K(ζn)/K K(\zeta_n)/K

is called a cyclotomic extension. It is a generated by a root of the Φn(x)\Phi_n(x).

Over K=QK=\mathbb{Q}, the cyclotomic field Q(ζn)\mathbb{Q}(\zeta_n) is over Q\mathbb{Q}, and its Galois group is abelian (in fact isomorphic to (Z/nZ)×(\mathbb{Z}/n\mathbb{Z})^\times).

See also. , .

Examples.

  1. Q(ζ3)=Q ⁣(1+i32)=Q(3)\mathbb{Q}(\zeta_3)=\mathbb{Q}\!\left(\frac{-1+i\sqrt3}{2}\right)=\mathbb{Q}(\sqrt{-3}), a quadratic extension.
  2. Q(ζ4)=Q(i)\mathbb{Q}(\zeta_4)=\mathbb{Q}(i), also quadratic.
  3. Q(ζ5)/Q\mathbb{Q}(\zeta_5)/\mathbb{Q} has degree 44 since degΦ5=φ(5)=4\deg \Phi_5=\varphi(5)=4.