Splitting field of xⁿ−1. Gal(ℚ(ζₙ)/ℚ) ≅ (ℤ/n)*. Ring of integers ℤ[ζₙ]; class number h_n controls regular primes.