В математике лемма Ихары , введенная Ихарой ( 1975 , лемма 3.2) и названная Рибетом (1984) , утверждает, что ядро суммы двух отображений p -вырождения из J 0 ( N ) × J 0 ( N ) в J 0 ( Np ) является эйзенштейновским , если простое число p не делит N. Здесь J 0 ( N ) — якобиан компактификации модулярной кривойΓ 0 ( N ).