Stickelberger's Theorem

In mathematics, Stickelberger's theorem is a result of algebraic number theory, which gives some information about the Galois module structure of class groups of cyclotomic fields. A special case was first proven by Ernst Kummer (1847) while the general result is due to Ludwig Stickelberger (1890).

The Stickelberger element and the Stickelberger ideal

Let denote the th cyclotomic field, i.e. the extension of the rational numbers obtained by adjoining the th roots of unity to $\mathbb$ (where is an integer). It is a Galois extension of $\mathbb$ with Galois group isomorphic to the multiplicative group of integers modulo . The Stickelberger element (of level or of ) is an element in the group ring and the Stickelberger ideal (of level or of ) is an ideal in the group ring . They are defined as follows. Let denote a primitive th root of unity. The isomorphism from to is given by sending to defined by the relation
:$\sigma_a(\zeta_m) = \zeta_m^a$.
The Stickelberger element of level is defined as
:\theta(K_m)=\frac\underseta\cdot\sigma_a^\in\Q _m
The Stickelberger ideal of level , denoted , is the set of integral multiples of which have integral coefficients, i.e.
:I(K_m)=\theta(K_m)\Z _mcap\Z _m

More generally, if be any Abelian number field whose Galois group over is denoted , then the Stickelberger element of and the Stickelberger ideal of can be defined. By the Kronecker–Weber theorem there is an integer such that is contained in . Fix the least such (this is the (finite part of the) conductor of over ). There is a natural group homomorphism given by restriction, i.e. if , its image in is its restriction to denoted . The Stickelberger element of is then defined as
:\theta(F)=\frac\underseta\cdot\mathrm_m\sigma_a^\in\Q _F
The Stickelberger ideal of , denoted , is defined as in the case of , i.e.
:I(F)=\theta(F)\Z _Fcap\Z _F

In the special case where , the Stickelberger ideal is generated by as varies over . This not true for general ''F''.

Examples

If is a totally real field of conductor , then
:$\theta(F)=\frac\sum_\sigma,$
where is the Euler totient function and is the degree of over $\mathbb$.

Statement of the theorem

Stickelberger's Theorem

Let be an abelian number field. Then, the Stickelberger ideal of annihilates the class group of .

Note that itself need not be an annihilator, but any multiple of it in is.

Explicitly, the theorem is saying that if is such that
:\alpha\theta(F)=\sum_a_\sigma\sigma\in\Z _F/math>
and if is any fractional ideal of , then
:$\prod_\sigma\left(J^\right)$
is a principal ideal.

See also

*Gross–Koblitz formula
* Herbrand–Ribet theorem
* Thaine's theorem
*Jacobi sum
*Gauss sum

Notes

References

*
*Boas Erez
''Darstellungen von Gruppen in der Algebraischen Zahlentheorie: eine Einführung''
*
*
*
*
*{{Citation
, last=Washington
, first=Lawrence
, title=Introduction to Cyclotomic Fields
, edition=2
, publisher=Springer-Verlag
, location=Berlin, New York
, series=Graduate Texts in Mathematics
, isbn=978-0-387-94762-4
, mr=1421575
, year=1997
, volume=83

External links

PlanetMath page

Cyclotomic fields
Theorems in algebraic number theory