Mazur-Wiles theorem
= Mazur-Wiles theorem
{c}
The Mazur-Wiles theorem proves the classical <Iwasawa main conjecture> for abelian extensions of $\mathbb Q$. Its construction of class fields uses Galois representations associated with <modular forms>, congruences with Eisenstein series and the <Eisenstein ideal>.