Cyclotomic field


In number theory, a cyclotomic field is a number field obtained by adjoining a complex primitive root of unity to, the field of rational numbers. The -th cyclotomic field is obtained by adjoining a primitive -th root of unity to the rational numbers.
The cyclotomic fields played a crucial role in the development of modern algebra and number theory because of their relation with Fermat's last theorem. It was in the process of his deep investigations of the arithmetic of these fields – and more precisely, because of the failure of unique factorization in their rings of integers – that Ernst Kummer first introduced the concept of an ideal number and proved his celebrated congruences.

Properties

A cyclotomic field is the splitting field of the cyclotomic polynomial
and therefore it is a Galois extension of the field of rational numbers. The degree of the extension
is given by where is Euler's phi function. A complete set of Galois conjugates is given by, where runs over the set of invertible residues modulo . The Galois group is naturally isomorphic to the multiplicative group
of invertible residues modulo, and it acts on the primitive th roots of unity by the formula
The discriminant of the extension is
where is Euler's totient function.
The ring of integers of the cyclotomic field is.

Relation with regular polygons

made early inroads in the theory of cyclotomic fields, in connection with the geometrical problem of constructing a regular -gon with a compass and straightedge. His surprising result that had escaped his predecessors was that a regular heptadecagon could be so constructed. More generally, if is a prime number, then a regular -gon can be constructed if and only if is a Fermat prime; in other words if is a power of 2.
For and primitive roots of unity admit a simple expression via square root of three, namely:
Hence, both corresponding cyclotomic fields are identical to the quadratic field Q. In the case of the identity of to a quadratic field is even more obvious. However, this is not the case for, 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 can be reduced to the following question in Galois theory: can the th cyclotomic field be built as a sequence of quadratic extensions?

Relation with Fermat's Last Theorem

A natural approach to proving Fermat's Last Theorem is to factor the binomial,
where is an odd prime, appearing in one side of Fermat's equation
as follows:
Here and are ordinary integers, whereas the factors are algebraic integers in the cyclotomic field. 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 and Euler's proof for can be recast in these terms. The complete list of n for which the field has unique factorization is:
Kummer found a way around this difficulty. He introduced a replacement for the prime numbers in the cyclotomic field, expressed the failure of unique factorization quantitatively via the class number and proved that if is not divisible by then Fermat's theorem is true for the exponent. Furthermore, he gave a criterion to determine which primes are regular and using it, established Fermat's theorem for all prime exponents 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.

List of class numbers of cyclotomic fields

, or or for the -part