  In this paper, we study the torsion subgroup of $J_0(N)$ over the field
generated by those points in the cuspidal group, where $N$ is an odd positive
integer. We prove that, considered as Hecke modules, this group and the
cuspidal subgroup are both supported at the maximal Eisenstein ideals.
