Tate's isogeny theorem

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