In mathematics, Ihara's lemma, introduced by Ihara (1975, lemma 3.2) and named by Ribet (1984), states that the kernel of the sum of the two p-degeneracy maps from J0(N)×J0(N) to J0(Np) is Eisenstein whenever the prime p does not divide N. Here J0(N) is the Jacobian of the compactification of the modular curve of Γ0(N).
This number theory-related article is a stub.
You can help Wikipedia by expanding it.