2
$\begingroup$

I have a question regarding the Mordell Weil theorem a number field $K$. I read the proof of the Mordell Weil theorem in "rational points on elliptic curves" by Tate and Silverman. They presented a proof for the case where $E[2] \in E (\mathbb{Q}) $ where $E : Y^2 = X(X^2 + AX + B)$ and mentioned before hand that it is possible to prove the case over number fields in the same fashion (thus without the use of group cohomology) with a little help of algebraic number theory.

After a bit of investigating, I concluded that every reasoning also holds for number fields except for the proof that the image of the map $\alpha : E(K) \rightarrow K^* / K^{*2}$ is finite (proposition 3.8(c)). In the proof they claimed that every squarefree integer representing the corresponging quadratic residue class divides $B$.

My reasoning for number fields was as follows:

Let $P = (x,y) \in E$, then $\alpha(P) = x \pmod {K^{*2}}$. Since $K$ is the field of fractions of $O_K$ (ring of integers) we have that $x = \frac{a}{b}$ for $a,b \in O_K$. Now consider $S_P := \{ \rho \in \text{Max}(O_K) \: : \: v_{\rho}(\alpha(P)) \neq 0 \pmod 2 \}$ where $v$ is just the valuation of the prime ideal factorization. My claim is that every prime ideal in $S_P$ must be a divisor of the ideal generated by $B$.

My question: is this correct? And if so, how do I prove this?

Thanks in advance.

$\endgroup$
  • $\begingroup$ Is it possible to make this self-contained? Namely,can you explain what $latex \alpha$ is? $\endgroup$ – Alex Youcis Mar 2 '16 at 4:47
  • $\begingroup$ What do you mean by $latex \alpha$? $\endgroup$ – Mathemagician Mar 3 '16 at 21:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.