A local-global principle for rational isogenies of prime degree
Let be a number field. We consider a local-global principle for elliptic curves that admit (or do not admit) a rational isogeny of prime degree . For suitable (including ), we prove that this principle holds for all , and for , but find a counterexample when for an elliptic curve with -invariant . For we show that, up to isomorphism, this is the only counterexample.