Ihara's lemma
In mathematics, Ihara's lemma, introduced by and named by, states that the kernel of the sum of the two p-degeneracy maps from J0×J0 to J0 is Eisenstein whenever the prime p does not divide N. Here J0 is the Jacobian of the compactification of the modular curve of Γ0.
