This result states that let be a prime. Let be the weight Hecke algebra of level acting on the cuspidal quotient, generated over by the Hecke operators for primes and the level- operator . Define the Eisenstein ideal Then is finite, and its... It places Mazur's Eisenstein Ideal in the framework of modular forms and Galois representations.