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.
New to topics? Read the docs here!