Math gifts

- Art Gallery -

In mathematics, the Herbrand–Ribet theorem is a result on the class group of certain number fields. It is a strengthening of Ernst Kummer's theorem to the effect that the prime p divides the class number of the cyclotomic field of p-th roots of unity if and only if p divides the numerator of the n-th Bernoulli number Bn for some n, 0 < n < p − 1. The Herbrand–Ribet theorem specifies what, in particular, it means when p divides such an Bn.

Statement

The Galois group Δ of the cyclotomic field of pth roots of unity for an odd prime p, Q(ζ) with ζp = 1, consists of the p − 1 group elements σa, where \( \sigma _{a}(\zeta )=\zeta ^{a} \). As a consequence of Fermat's little theorem, in the ring of p-adic integers \( \mathbb {Z} _{p} \) we have p − 1 roots of unity, each of which is congruent mod p to some number in the range 1 to p − 1; we can therefore define a Dirichlet character ω (the Teichmüller character) with values in \( \mathbb {Z} _{p} \) by requiring that for n relatively prime to p, ω(n) be congruent to n modulo p. The p part of the class group is a Z p {\displaystyle \mathbb {Z} _{p}} \mathbb {Z} _{p}-module (since it is p-primary), hence a module over the group ring \( {\displaystyle \mathbb {Z} _{p}[\Delta ]} \). We now define idempotent elements of the group ring for each n from 1 to p − 1, as

\( \epsilon _{n}={\frac {1}{p-1}}\sum _{{a=1}}^{{p-1}}\omega (a)^{n}\sigma _{a}^{{-1}}. \)

It is easy to see that \( \sum \epsilon _{n}=1 \) and \( \epsilon _{i}\epsilon _{j}=\delta _{{ij}}\epsilon _{i} \) where \( \delta _{ij} \) is the Kronecker delta. This allows us to break up the p part of the ideal class group G of Q(ζ) by means of the idempotents; if G is the ideal class group, then, letting Gn = εn(G), we have \( G=\oplus G_{n}. \)

The Herbrand–Ribet theorem states that for odd n, Gn is nontrivial if and only if p divides the Bernoulli number Bp−n.[1]

The theorem makes no assertion about even values of n, but there is no known p for which Gn is nontrivial for any even n: triviality for all p would be a consequence of Vandiver's conjecture.[2]

Proofs

The part saying p divides Bp−n if Gn is not trivial is due to Jacques Herbrand.[3] The converse, that if p divides Bp−n then Gn is not trivial is due to Kenneth Ribet, and is considerably more difficult. By class field theory, this can only be true if there is an unramified extension of the field of pth roots of unity by a cyclic extension of degree p which behaves in the specified way under the action of Σ; Ribet proves this by actually constructing such an extension using methods in the theory of modular forms. A more elementary proof of Ribet's converse to Herbrand's theorem, a consequence of the theory of Euler systems, can be found in Washington's book.[4]

Generalizations

Ribet's methods were pushed further by Barry Mazur and Andrew Wiles in order to prove the main conjecture of Iwasawa theory,[5] a corollary of which is a strengthening of the Herbrand–Ribet theorem: the power of p dividing Bp−n is exactly the power of p dividing the order of Gn.

See also

Iwasawa theory

Notes

Ribet, Ken (1976). "A modular construction of unramified p-extensions of \( \mathbb {Q} (μp) \) ". Inv. Math. 34 (3): 151–162. doi:10.1007/bf01403065.
Coates, John; Sujatha, R. (2006). Cyclotomic Fields and Zeta Values. Springer Monographs in Mathematics. Springer-Verlag. pp. 3–4. ISBN 3-540-33068-2. Zbl 1100.11002.
Herbrand, J. (1932). "Sur les classes des corps circulaires". J. Math. Pures Appl., IX. Sér. (in French). 11: 417–441. ISSN 0021-7824. Zbl 0006.00802.
Washington, Lawrence C. (1997). Introduction to Cyclotomic Fields (Second ed.). New York: Springer-Verlag. ISBN 0-387-94762-0.
Mazur, Barry & Wiles, Andrew (1984). "Class Fields of Abelian Extension of \( \mathbb {Q} \) ". Inv. Math. 76 (2): 179–330. doi:10.1007/bf01388599.

Undergraduate Texts in Mathematics

Graduate Texts in Mathematics

Graduate Studies in Mathematics

Mathematics Encyclopedia

World

Index

Hellenica World - Scientific Library

Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License