Thaine’s theorem
Let be a totally real abelian number field. By the Kronecker-Weber theorem, there exists an such that . Let be the Galois group of the extension
. Let denote the group of units in the ring of integers
of , let be the subgroup of consisting of units of the form
for some collection of . (Here, denotes the norm operator and is a primitive -th root of unity
.) Finally, let denote the ideal class group
of .
Theorem 1 (Thaine).
Suppose is a rational prime not dividing the degree and suppose annihilates the Sylow -subgroup of . Then annihilates the Sylow -subgroup of .
This is one of the most sophisticated results concerning the annihilators of an ideal class group. It is a direct, but more complicated, version of Stickelberger’s theorem, applied to totally real fields (for which Stickelberger’s theorem gives no information).