# Cyclotomic field

A field $K _ {n} = \mathbf Q ( \zeta _ {n} )$ obtained from the field $\mathbf Q$ of rational numbers by adjoining a primitive $n$- th root of unity $\zeta _ {n}$, where $n$ is a natural number. The term (local) cyclotomic field is also sometimes applied to the fields $\mathbf Q _ {p} ( \zeta _ {n} )$, where $\mathbf Q _ {p}$ is the field of rational $p$- adic numbers. Since $K _ {n} = K _ {2n}$ when $n$ is odd, it is usually assumed that $n \not\equiv 2$( $\mathop{\rm mod} 4$). Distinct $n$ then correspond to non-isomorphic fields $K _ {n}$.

Cyclotomic fields arise naturally in the cyclotomy problem — the division of a circle into $n$ equal parts is equivalent to the construction of a primitive root $\zeta _ {n}$ in the complex plane. The structure of cyclotomic fields is "fairly simple" , and they therefore provide convenient experimental material in formulating general concepts in number theory. For example, the concept of an algebraic integer and a divisor first arose in the study of cyclotomic fields.

The special position of cyclotomic fields among all algebraic number fields is illustrated by the Kronecker–Weber theorem, which states that a finite extension $K/ \mathbf Q$ is Abelian if and only if $K \subset K _ {n}$ for some $n$. An analogous proposition holds for local cyclotomic fields.

## Algebraic theory.

The field $K _ {n}$ is an Abelian extension of $\mathbf Q$ with Galois group

$$G ( K _ {n} / \mathbf Q ) \simeq \ ( \mathbf Z /n \mathbf Z ) ^ {*} ,$$

where $( \mathbf Z /n \mathbf Z ) ^ {*}$ is the multiplicative group of the ring of residues modulo $n$. In particular, the degree $[ K _ {n} : \mathbf Q ]$ is $\phi ( n)$, where $\phi ( n)$ is Euler's function. The field $K _ {n}$ is totally imaginary and of degree 2 over its maximal totally real subfield $K _ {n} ^ {+} = \mathbf Q ( \zeta _ {n} + \zeta _ {n} ^ {-} 1 )$.

If $n = p _ {1} ^ {t _ {1} } \dots p _ {s} ^ {t _ {s} }$ is the factorization of $n$ into prime numbers, then $K _ {n}$ is the linearly disjoint compositum of the fields $K _ {p _ {1} ^ {t _ {1} } } \dots K _ {p _ {s} ^ {t _ {s} } }$. In the field $K _ {p ^ {t} }$ the prime divisor $p$ has ramification index $e = ( p - 1) p ^ {t - 1 } = \phi ( p ^ {t} )$. In the same field one has the following equality of principal divisors: $( p) = ( 1 - \zeta _ {p ^ {t} } ) ^ {e}$. All other prime divisors of $\mathbf Q$ are unramified in $K _ {p ^ {t} }$, whence it follows that $p$ is ramified in $K _ {n}$ if and only if $p\mid n$.

The numbers $1, \zeta _ {n} \dots \zeta _ {n} ^ {\phi ( n) - 1 }$ form an integral basis for the field $K _ {n}$. The discriminant of $K _ {p ^ {t} }$ is equal to $\pm p ^ {p ^ {t - 1 } ( pt - t - 1) }$. If $E$ and $F$ are fields which are linearly disjoint over $\mathbf Q$ with relatively prime discriminants $D _ {E}$ and $D _ {F}$, then $D _ {EF} = D _ {E} ^ {n} D _ {F} ^ {m}$, where $n = [ F: \mathbf Q ]$, $m = [ E: \mathbf Q ]$. This makes it possible to calculate $D _ {K _ {n} }$ for arbitrary $n$( see ).

For the field $K _ {p ^ {t} }$, the numbers

$$\frac{( 1 - \zeta _ {p ^ {t} } ^ {a} ) }{( 1 - \zeta _ {p ^ {t} } ^ {b} ) } ,$$

where $a, b \not\equiv 0 ( \mathop{\rm mod} p)$, generate a subgroup of finite index in the group of all units. The elements of this subgroup are known as circular units or cyclotomic units.

The decomposition law for cyclotomic fields, that is, the law according to which the prime divisors $( p)$ in $\mathbf Q$ factorize into prime divisors in $K _ {n}$, is a particular case of the general decomposition law in Abelian extensions, established in class field theory (see ). Explicitly: If $( p, n) = 1$ and if $f$ is the least natural number such that $p ^ {f} \equiv 1$( $\mathop{\rm mod} n$), then in $K _ {n}$,

$$( p) = \ \mathfrak p _ {1} \dots \mathfrak p _ {g} ,$$

where the prime divisors $\mathfrak p _ {1} \dots \mathfrak p _ {g}$ are pairwise distinct, $N ( \mathfrak p _ {i} ) = p ^ {f}$ and $fg = \phi ( n)$. Thus, the factorization type of $( p)$ depends only on the residue of $p$( $\mathop{\rm mod} n$). If $p\mid n$, the exact form of the factorization of $( p)$ can be obtained, using the facts that $K _ {n} = K _ {m} K _ {p ^ {t} }$, where $( m, p) = 1$ and $( p)$ is totally ramified in $K _ {p ^ {t} }$.

If $K$ is the maximal Abelian extension of $\mathbf Q$, then $K = \cup _ {n} K _ {n}$ and

$$G ( K/ \mathbf Q ) \simeq \ \lim\limits _ \leftarrow G ( K _ {n} / \mathbf Q ) \simeq \ \lim\limits ( \mathbf Z /n \mathbf Z ) ^ {*} \simeq \ \widehat{\mathbf Z} {} ^ {*} ,$$

where $\widehat{\mathbf Z}$ is the completion of the ring of integers $\mathbf Z$ with respect to all ideals of finite index. In particular, for any prime number $l$ there is a unique extension $\mathbf Q _ {\infty , l } / \mathbf Q$ with Galois group isomorphic to the group of $l$- adic integers $\mathbf Z _ {l}$.

According to class field theory, there exists a reciprocity map

$$\psi : J _ {\mathbf Q} \rightarrow \ G ( K/ \mathbf Q ),$$

where $J _ {\mathbf Q}$ is the idèle group of $\mathbf Q$. In the case of a cyclotomic field $\psi$ admits a simple explicit description (see ).

## Analytic theory.

Many results regarding the structure of the divisor class group of $K _ {n}$ can be proved by analytic methods. If $h _ {n}$ is the class number of $K _ {n}$, then

$$h _ {n} = \ 2 ^ {-} t \pi ^ {-} t R ^ {-} 1 w \sqrt {| D | } \prod _ {\chi \neq \chi _ {0} } L ( 1, \chi ),$$

here $w, D$ and $R$ are, respectively, the number of roots of unity, the discriminant and the regulator of $K _ {n}$, $t = \phi ( n)/2$, and $L ( 1, \chi )$ is the Dirichlet $L$- function for the character $\chi$, where $\chi$ runs through all non-trivial primitive multiplicative characters modulo $n$. The function $L ( 1, \chi )$ in turn can be expressed explicitly in terms of Gauss sums (see ). This solves the problem of calculating $h _ {n}$, given $n$.

There is a natural decomposition of $h _ {n}$ into two factors, $h _ {n} = h _ {n} ^ {-} h _ {n} ^ {+}$; the first and second factor of the class number, where $h _ {n} ^ {+}$ is interpreted as the class number of the field $K _ {n} ^ {+}$. If $n = p ^ {t}$ then $h _ {n} ^ {+} = [ E : E _ {0} ]$, where $E$ is the group of units of $K _ {p ^ {t} } ^ {+}$ and $E _ {0}$ is the group of real cyclotomic units (any cyclotomic unit becomes real if multiplied by a suitable root of unity).

In questions related to the Fermat problem, an important role is played by the divisibility of the class number of $K _ {l}$ by $l$, where $l$ is prime. It is known that $h _ {l} \equiv 0$( $\mathop{\rm mod} l$) for infinitely many prime numbers $l$( such numbers $l$ are said to be irregular). As to the set of regular prime numbers $l$, i.e. numbers for which $h _ {l} \not\equiv 0$( $\mathop{\rm mod} l$), it is not known (1982) whether it is finite or infinite. It has been conjectured that $h _ {l} ^ {+} \not\equiv 0$( $\mathop{\rm mod} l$) for all $l$, and this has been confirmed in a large number of cases. The factor $h _ {l} ^ {-}$ is more amenable to investigation. There exists a relatively simple criterion for the divisibility of $h _ {l} ^ {-}$( and $h _ {l}$) by $l$ in terms of Bernoulli numbers (). It is known that $h _ {l} ^ {-} \rightarrow \infty$ as $l \rightarrow \infty$ and that $h _ {l} = 1$ if and only if $l \leq 19$( see ).

The so-called $p$- adic $L$- functions have been successfully applied to the study of the class groups of cyclotomic fields (see , ).

How to Cite This Entry:
Cyclotomic field. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cyclotomic_field&oldid=46571
This article was adapted from an original article by L.V. Kuz'min (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article