MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What is meant by a Q-isogeny and the Q-torsion subgroup? (And by Q, I mean rational 'Q')`


share|cite|improve this question

I assume you have an elliptic curve $E$ defined over $\mathbb{Q}$ -- in simplest terms, this means a Weierstrass equation $y^2 = x^3 + Ax + B$ with $A,B \in \mathbb{Q}$.

Then a $\mathbb{Q}$-isogeny is a finite morphism $\varphi: (E,O) \rightarrow (E',O')$ which is defined over $\mathbb{Q}$: in other words, given locally by rational functions with $\mathbb{Q}$-coefficients. An equivalent perspective is that an isogeny is essentially determined -- i.e., up to an automorphism on the target -- by its kernel $E[\phi]$, a finite subgroup of $E(\overline{\mathbb{Q}})$. Then the definedness over $\mathbb{Q}$ is equivalent to invariance under the group $\operatorname{Aut}(\overline{\mathbb{Q}}/\mathbb{Q})$: for every Galois automorphism $\sigma$, we want $\sigma E[\phi] = E[\phi]$.

Similarly, the $\mathbb{Q}$-torsion subgroup is the subgroup of the full torsion subgroup which is defined over $\mathbb{Q}$. This means $E[\operatorname{tors}] \cap E(\mathbb{Q})$: it is just the subgroup of $E(\mathbb{Q})$ consisting of points of finite order. It can also (equivalently) be defined as the Galois invariants of $E[\operatorname{tors}](\overline{\mathbb{Q}})$ (= $E[\operatorname{tors}](\mathbb{C})$).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.