Cyclotomic field

A cyclotomic field is the splitting field of the cyclotomic polynomial

${\displaystyle \Phi _{n}(x)=\prod _{\stackrel {1\leq k\leq n}{\gcd(k,n)=1}}\left(x-e^{2i\pi {\frac {k}{n}}}\right)}$

and therefore it is a Galois extension of the field of rational numbers. The degree of the extension

[Q(ζ_n):Q]

is given by φ(n) where φ is Euler's phi function. A complete set of Galois conjugates is given by { (ζ_n)^a } , where a runs over the set of invertible residues modulo n (so that a is relatively prime to n). The Galois group is naturally isomorphic to the multiplicative group

(Z/nZ)^×

of invertible residues modulo n, and it acts on the primitive nth roots of unity by the formula

b: (ζ_n)^a → (ζ_n)^a b.

The discriminant of the extension is[1]

${\displaystyle (-1)^{\varphi (n)/2}{\frac {n^{\varphi (n)}}{\displaystyle \prod _{p|n}p^{\varphi (n)/(p-1)}}},}$

where ${\displaystyle \varphi (n)}$ is Euler's totient function.

The ring of integers of the cyclotomic field Q(ζ_n) is Z[ζ_n].

Gauss made early inroads in the theory of cyclotomic fields, in connection with the geometrical problem of constructing a regular n-gon with a compass and straightedge. His surprising result that had escaped his predecessors was that a regular heptadecagon (with 17 sides) could be so constructed. More generally, if p is a prime number, then a regular p-gon can be constructed if and only if p is a Fermat prime; in other words if ${\displaystyle \varphi (p)=p-1=2^{k}}$ is a power of 2.

For n = 3 and n = 6 primitive roots of unity admit a simple expression via square root of three, namely:

ζ₃ = √3 i − 1/2,   ζ₆ = √3 i + 1/2

Hence, both corresponding cyclotomic fields are identical to the quadratic field Q(√−3). In the case of ζ₄ = i = √−1 the identity of Q(ζ₄) to a quadratic field is even more obvious. However, this is not the case for n = 5, because expressing fifth roots of unity requires square roots of square root expressions, or a quadratic extension of a quadratic extension. The geometric problem for a general n can be reduced to the following question in Galois theory: can the nth cyclotomic field be built as a sequence of quadratic extensions?

A natural approach to proving Fermat's Last Theorem is to factor the binomial xⁿ + yⁿ, where n is an odd prime, appearing in one side of Fermat's equation

${\displaystyle x^{n}+y^{n}=z^{n}}$

as follows:

${\displaystyle x^{n}+y^{n}=(x+y)(x+\zeta y)\cdots (x+\zeta ^{n-1}y)}$

Here x and y are ordinary integers, whereas the factors are algebraic integers in the cyclotomic field Q(ζ_n). If unique factorization of algebraic integers were true, then it could have been used to rule out the existence of nontrivial solutions to Fermat's equation.

Several attempts to tackle Fermat's Last Theorem proceeded along these lines, and both Fermat's proof for n = 4 and Euler's proof for n = 3 can be recast in these terms. The complete list of n for which the field has unique factorization is:[2]

• 1 through 22, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 38, 40, 42, 44, 45, 48, 50, 54, 60, 66, 70, 84, 90.

Kummer found a way around this difficulty. He introduced a replacement for the prime numbers in the cyclotomic field Q(ζ_p), expressed the failure of unique factorization quantitatively via the class number h_p and proved that if h_p is not divisible by p (such numbers p are called regular primes) then Fermat's theorem is true for the exponent n = p. Furthermore, he gave a criterion to determine which primes are regular and using it, established Fermat's theorem for all prime exponents p less than 100, with the exception of the irregular primes 37, 59, and 67. Kummer's work on the congruences for the class numbers of cyclotomic fields was generalized in the twentieth century by Iwasawa in Iwasawa theory and by Kubota and Leopoldt in their theory of p-adic zeta functions.

(sequence A061653 in the OEIS), or OEIS: A055513 or OEIS: A000927 for the ${\displaystyle h}$-part (for prime n)

• Kronecker–Weber theorem
• Cyclotomic polynomial

• Bryan Birch, "Cyclotomic fields and Kummer extensions", in J.W.S. Cassels and A. Frohlich (edd), Algebraic number theory, Academic Press, 1973. Chap.III, pp. 45–93.
• Daniel A. Marcus, Number Fields, third edition, Springer-Verlag, 1977
• Washington, Lawrence C. (1997), Introduction to Cyclotomic Fields, Graduate Texts in Mathematics, 83 (2 ed.), New York: Springer-Verlag, doi:10.1007/978-1-4612-1934-7, ISBN 0-387-94762-0, MR 1421575
• Serge Lang, Cyclotomic Fields I and II, Combined second edition. With an appendix by Karl Rubin. Graduate Texts in Mathematics, 121. Springer-Verlag, New York, 1990. ISBN 0-387-96671-4

• Coates, John; Sujatha, R. (2006). Cyclotomic Fields and Zeta Values. Springer Monographs in Mathematics. Springer-Verlag. ISBN 3-540-33068-2. Zbl 1100.11002.
• Weisstein, Eric W. "Cyclotomic Field". MathWorld.
• Hazewinkel, Michiel, ed. (2001) [1994], "Cyclotomic field", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
• On the Ring of Integers of Real Cyclotomic Fields. Koji Yamagata and Masakazu Yamagishi: Proc,Japan Academy, 92. Ser a (2016)