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).
Inom matematiken är Iharas lemma, introducerad av Ihara (1975, lemma 3.2) and named by Ribet (1984), ett resultat som säger att nollrummet av summan av två p-degenerationsavbildningar från J0(N)×J0(N) till J0(Np) är Eisenstein om primtalet p inte delar N. Här är J0(N) Jacobivarieteten av kompaktifikationen av modulära kurvan av Γ0(N).WikiMatrix WikiMatrix