Ihara's lemma
= Ihara's lemma
{wiki=Ihara's_lemma}
Ihara's lemma is a result in number theory, specifically in the study of zeta functions of curves over finite fields. The lemma relates the zeta function of a geometrically irreducible smooth projective curve over a finite field to the properties of its function field.