I need a reference/proof for "main conjecture of Iwasawa theory => refinement of Herbrand-Ribet ($v_p(B_{p-i}) = v_p(|A_i|)$, where $A_i$ denotes the $i$-th eigenspace of the Galois group acting on the ideal class group mod $p$)".
1 Answer
$\begingroup$
$\endgroup$
2
The statement and proof are given in Mazur–Wiles starting at page 216.
-
2$\begingroup$ It can also be found in math.clemson.edu/~jimlb/CourseNotes/iwasawa.pdf p. 65ff. $\endgroup$– user19475Commented Oct 20, 2012 at 18:16
-
$\begingroup$ New link to Brown's notes mentioned in the other comment: math.caltech.edu/~jimlb/iwasawa.pdf $\endgroup$– WojowuCommented Nov 15, 2021 at 20:21