7
$\begingroup$

I was wondering whether an admissible change of variables of an elliptic curve given by a Weierstrass equation respects the group law. Let $E$ be defined over a field $K$ given by the equation $$y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+a_6.$$ If we substitute $$(X,Y)\mapsto (u^2X+r,u^3Y+su^2X+t),$$ where $u\in K^*$ and $r,s,t \in K$, we get an elliptic curve $E'$. Denote the above transformation by $\phi$. Taking affine points $P_1,P_2 \in E$, is it true that $\phi(P_1+P_2)=\phi(P_1)+\phi(P_2)$ on $E'$ ?

$\endgroup$

2 Answers 2

8
$\begingroup$

Yes. Your transformation $\phi$ is an affine linear transformation, so it takes straight lines to straight lines, and therefore three points $P,Q,R$ are collinear if and only if $\phi(P),\phi(Q),\phi(R)$ are collinear. Since the group law is defined by the fact that $P+Q+R=0$ if and only if $P,Q,R$ are collinear, your result follows.

$\endgroup$
4
$\begingroup$

I hope you are talking about something called the "Isogenies of Elliptic curves", I am sure that every Isogeny $\phi$ is a homomorphism, assuming that if $\phi : E \mapsto E'$ is faithful in carrying the identity element ( (or) point at infinity ) $O_E$ of $E$ to $O_{E'}$ of $E'$ , i.e. $\phi(O_E)=E'$ , so then what you said is right .

Thank you.

All the best.

$\endgroup$
1
  • $\begingroup$ I also advice you to read the Silverman's text about elliptic curves for further details or write to me if you want to hear further $\endgroup$
    – IDOK
    Commented Jan 4, 2012 at 17:54

You must log in to answer this question.

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