Let be E an elliptic curve and $E[m]=\{(x_1,y_1),...,(x_n,y_n)\}$ the m-torsion group.

Let be $K=\mathbb{Q}(x_1,y_1,...,x_n,y_n)$, why $K/\mathbb{Q}$ is a Galois extension??

I see one proof in the book "Rational points on elliptic curves by J.Silverman", at page 190.

His proof is the next:

Let be $\sigma:K\longrightarrow \mathbb{C}$ homomorfism of fields, and he says $K/\mathbb{Q}$ is a Galois extension because $\sigma(K)\subset K$.

I dont know which Theorem of Galois theory is used by the author.


1 Answer 1


An algebraic field extension $L/K$ is Galois if it is normal and separable. In our case, we only need to show that $L/K$ is normal. However, normality is equivalent, that for every field homomorphism $\sigma\colon L\rightarrow \overline{L}$ with $\sigma_{\mid K}=id$ holds $\sigma(L)\subset L$.

  • $\begingroup$ Thank you. Do you know a book where i could see the proof of that equivalence of normality? $\endgroup$ Commented Apr 30, 2020 at 15:47
  • 1
    $\begingroup$ This is proved in a course on abstract algebra, for references see for example wikipedia. $\endgroup$ Commented Apr 30, 2020 at 16:20

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .