The Mazur-Wiles theorem proves the classical Iwasawa main conjecture for abelian extensions of . Its construction of class fields uses Galois representations associated with modular forms, congruences with Eisenstein series and the Eisenstein ideal.
New to topics? Read the docs here!