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 K m {\displaystyle K_{m}} denote the m {\displaystyle m} th cyclotomic field, i.e. the extension of the rational numbers obtained by adjoining the m {\displaystyle m} th roots of unity to Q {\displaystyle \mathbb {Q} } (where m ≥ 2 {\displaystyle m\geq 2} is an integer). It is a Galois extension of Q {\displaystyle \mathbb {Q} } with Galois group G m {\displaystyle G_{m}} isomorphic to the multiplicative group of integers modulo m ( Z / m Z ) × {\displaystyle (\mathbb {Z} /m\mathbb {Z} )^{\times }} . The Stickelberger element (of level m {\displaystyle m} or of K m {\displaystyle K_{m}} ) is an element in the group ring Q [ G m ] {\displaystyle \mathbb {Q} [G_{m}]} and the Stickelberger ideal (of level m {\displaystyle m} or of K m {\displaystyle K_{m}} ) is an ideal in the group ring Z [ G m ] {\displaystyle \mathbb {Z} [G_{m}]} . They are defined as follows. Let ζ m {\displaystyle \zeta _{m}} denote a primitive m {\displaystyle m} th root of unity. The isomorphism from ( Z / m Z ) × {\displaystyle (\mathbb {Z} /m\mathbb {Z} )^{\times }} to G m {\displaystyle G_{m}} is given by sending an element a {\displaystyle a} to σ a {\displaystyle \sigma _{a}} defined by the relation
σ a ( ζ m ) = ζ m a . {\displaystyle \sigma _{a}(\zeta _{m})=\zeta _{m}^{a}.}
The Stickelberger element of level m {\displaystyle m} is defined as
θ ( K m ) = 1 m ∑ a = 1 m ( a , m ) = 1 a ⋅ σ a − 1 ∈ Q [ G m ] . {\displaystyle \theta (K_{m})={\frac {1}{m}}{\underset {(a,m)=1}{\sum _{a=1}^{m}}}a\cdot \sigma _{a}^{-1}\in \mathbb {Q} [G_{m}].}
The Stickelberger ideal of level m {\displaystyle m} , denoted I ( K m ) {\displaystyle I(K_{m})} , is the set of integral multiples of θ ( K m ) {\displaystyle \theta (K_{m})} which have integral coefficients, i.e.
I ( K m ) = θ ( K m ) Z [ G m ] ∩ Z [ G m ] . {\displaystyle I(K_{m})=\theta (K_{m})\mathbb {Z} [G_{m}]\cap \mathbb {Z} [G_{m}].}
… excerpt ends here. Continue reading the full article.
