#### DOCUMENTA MATHEMATICA,
Extra Volume: Kazuya Kato's Fiftieth Birthday (2003), 539-563

** Masato Kurihara **
On the Structure of Ideal Class Groups
of CM-Fields

For a CM-field $K$ which is abelian over a totally real number field $k$
and a prime number $p$, we show that the structure of the $\chi$-component
$A_{K}^{\chi}$ of the $p$-component of the class group of $K$ is determined
by Stickelberger elements (zeta values) (of fields containing $K$) for
an odd character $\chi$ of $\Gal(K/k)$ satisfying certain conditions.
This is a generalization of a theorem of Kolyvagin and Rubin. We define
higher Stickelberger ideals using Stickelberger elements, and show that
they are equal to the higher Fitting ideals. We also construct and study
an Euler system of Gauss sum type for such fields. In the appendix, we
determine the initial Fitting ideal of the non-Teichm\"{u}ller component
of the ideal class group of the cyclotomic ${\bf Z}_{p}$-extension of
a general CM-field which is abelian over $k$.

2000 Mathematics Subject Classification:

Keywords and Phrases:

Full text: dvi.gz 51 k,
dvi 138 k,
ps.gz 637 k,
pdf 290 k.

Home Page of
DOCUMENTA MATHEMATICA