In mathematics, Tate's isogeny theorem, proved by Tate (1966), states that two abelian varieties over a finite field are isogeneous if and only if their Tate modules are isomorphic.