In his classical work, Mazur considers the Eisenstein ideal I of the Hecke algebra acting on cusp forms of weight 2 and level  where N is prime. When p is an Eisenstein prime, i.e. p divides the numerator of , denote by T the completion of  at the maximal ideal generated by I and p. This is a -algebra of finite rank  as a -module.

海报