The kernel of the Eisenstein ideal (Q5960995)

Let \(N\) be a prime number and \(J_0(N)\) the Jacobian of the modular curve \(X_0(N)\). The author of the paper under review gives an explicit construction of the kernel \(J_0(N) [I]\), where \(I\) is the Eisenstein ideal of the Hecke algebra \(T_N\) of \(X_0(N)\), and determines the action of the Galois group \(\text{Gal} (\overline\mathbb{Q}/\mathbb{Q})\) on \(J_0(N) [I]\). In the special case where \(N\equiv 1\pmod {16}\) the above results are part of the famous paper of \textit{B. Mazur} [Publ. Math., Inst. Hautes Étud. Sci. 47, 33-186 (1977; Zbl 0394.14008)]. For the proof one has to consider the internelation of the cuspidal and Shimura subgroup of \(J_0(N)[J]\).