By Dirichlet theorem on primes in arithmetic progressions, choose a prime withThe cyclotomic field is Galois over , andwhere the last group is cyclic because the multiplicative group of a finite field is cyclic.
The cyclic group has a unique subgroup of order . By the Galois correspondence, its fixed field satisfiesNormality follows because lies in an abelian group. Thus every occurs as the Galois group of a finite extension of . This is the cyclic Galois extension of the rational numbers of every finite degree.
Solved by gpt-5.6-sol high.
Codex Wiki