main conjecture of Iwasawa theory implies Herbrand-Ribet - MathOverflow most recent 30 from http://mathoverflow.net2013-05-26T06:36:12Zhttp://mathoverflow.net/feeds/question/110167http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/110167/main-conjecture-of-iwasawa-theory-implies-herbrand-ribetmain conjecture of Iwasawa theory implies Herbrand-RibetTimo Keller2012-10-20T16:26:31Z2012-10-20T17:24:51Z
<p>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$)".</p>
http://mathoverflow.net/questions/110167/main-conjecture-of-iwasawa-theory-implies-herbrand-ribet/110171#110171Answer by Rob Harron for main conjecture of Iwasawa theory implies Herbrand-RibetRob Harron2012-10-20T17:24:51Z2012-10-20T17:24:51Z<p>The statement and proof are given in Mazur–Wiles starting at page 216.</p>