View source for Talk:Elliptic curve

{{WikiProject banner shell|class=B|vital=yes|1=
{{WikiProject Mathematics|small= |importance=High |comment=  |ACD=  }}
}}
{{annual readership|scale=log}}


==Issue with formulas for g2,g3 in "Elliptic curves over the complex numbers"==
The formulas would be correct if the Weierstrass form y^2=4x^3 + bx + c, was unique, but it is not.  For instance if we take the lattice Z[i], the lambda value is -1.  The formula in the article gives values for g2,g3 which give a cubic polynomial that should cut out the correct Riemann surface.  But the particular cubic is not the one coming from the differential equation satisfied by \wp, and g2,g3 should be the coefficients for that cubic.  (In the Z[i] example, the g2 value appears to be transcendental, while the articles in the formula give algebraic numbers.)  Perhaps someone more experienced with wiki editing could fix this?

==label mistake in associativity, ellipticgroup.gif==

A quick note : I find the animating demonstration of associativity to be fascinating.. but it seems to me the labels of the points are incorrect?  The 'zero' is fixed (good), but then, for example 'a' + 'b' should be further from the origin than 'a' or 'b' alone?  Can some kind wiki-helper get in touch with the .GIF author and double check everything is in order?  <small class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/210.55.212.205|210.55.212.205]] ([[User talk:210.55.212.205|talk]]) 20:54, 16 December 2014 (UTC)</small><!-- Template:Unsigned IP --> <!--Autosigned by SineBot-->

Never mind - I re-read the article, and all seems correct now! My bad :D  <small class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/210.55.212.210|210.55.212.210]] ([[User talk:210.55.212.210|talk]]) 21:51, 16 December 2014 (UTC)</small><!-- Template:Unsigned IP --> <!--Autosigned by SineBot-->

==2003 material==
I'm confused here. In the text, it states:

:''By adding a point "at infinity", we obtain the projective version of this curve; every straight line intersects this curve in three points (if the line is tangent to the curve at a point, then that point is counted twice). It is then possible to introduce a group operation on the curve with the following property: if a straight line intersects the curve at the points P, Q and R, then P + Q + R = 0 in the group.''

But, for example, the x-axis intersects the curve ''y''<sup>2</sup> = ''x''<sup>3</sup> - ''x'' + 1 at only 1 point (call it P); if we consider the other two points as being infinity, this seems to require that P + inf + inf = 0. However, the x-axis is not alone in this property; several lines parallel to the x-axis also intersect at only 1 point, if we select one of these and call the point of intersection Q, then Q + inf + inf = P + inf + inf = 0 implies P = Q. Bzzzt!!!! Is the group operation restricted to those lines which actually intersect at at least two points (where tangency counts as 2 points)? [[User:Chas zzz brown|Chas zzz brown]] 02:00 Jan 22, 2003 (UTC)

My statement above was wrong: it only that way only for algebraically closed base fields. You're right: if the fields isn't algebraically closed, we only consider lines that are tangent to the curve or intersect it in two points. [[User:AxelBoldt|AxelBoldt]] 17:23 Jan 22, 2003 (UTC)

----

I'd like to see a bit more about the group aspect of elliptic curves over finite fields (with an eye towards ECC); especially more describing an algebraic (as opposed to geometric) approach to calculating P + Q (see [http://www.certicom.com/research/online.html] for a nice explanation). Should that be done at this article, at the article for [[elliptic curve cryptography]], or at a new article? [[User:Chas zzz brown|Chas zzz brown]] 20:04 Feb 7, 2003 (UTC)

I think it can still fit here. Can't we give the general group law formula which works for all base fields? [[User:AxelBoldt|AxelBoldt]] 07:37 Feb 9, 2003 (UTC)

:Perhaps the best way to handle this would be to emphasise that the geometric picture is only valid for the real field, and then to explain that nevertheless we can make sense of things over any field by working out some algebraic formulation. The really important point here is that if two given points have rational coordinates (i.e. belong to some field), then so does the third point. This is why the group operation makes sense when defined over a given field. --[[User:Dmharvey|Dmharvey]] 21:00, 28 May 2005 (UTC)

Added the restriction that K not have characteristic 3 - observe that in the diagrams in the article, there is a point P with the property P + P + P = 3P = 0 (in the ''y''<sup>2</sup> = ''x''<sup>3</sup> - ''x'' - 1 example, it's the intersection of the ''y''-axis and the curve). [[User:Chas zzz brown|Chas zzz brown]] 19:57 Feb 12, 2003 (UTC)

----

Page needs sections now. [[User:Charles Matthews|Charles Matthews]] 09:51, 21 Mar 2005 (UTC)

== nother picture ==

[[File:Elliptic curve simple.png]] &mdash;[[User:Sean Kelly|Sean &kappa;.]] <span style="cursor:help;">[[User_talk:Sean Kelly|+]]</span> 23:33, 27 May 2005 (UTC)

== graphs of singularities ==

Would be nice to have graphs of '''singular''' weierstrass equations, illustrating both cusps and intersections.

On this point, it would also be nice to mention that the group law can still be defined for a singular curve, as long as we leave out the singular point (of which there can only be one -- I think). [[User:Dmharvey|Dmharvey]] 17:00, 30 May 2005 (UTC)

: Hi! There's one here:
: 
: http://en.wikipedia.org/wiki/Cubic_curve

== Form of the polynomial ==

The article describes elliptic curves as being of the form <math>y^2 = x^3 + ax + b</math>.  However, in Dan Bernstein's [http://cr.yp.to/ecdh.html Elliptic Curve Diffie Hellman library], he uses the curve <math>y^2 = x^3 + Ax^2 + x</math> where <math>A = 486662</math>.  Is this still an elliptic curve?

:If you think about the substitution ''x'' = ''x&prime;'' + ''c'' you see that there is some freedom here. That is, provided you can divide by 3 in the field, you can set ''c'' so that the Bernstein form has the coefficient of ''x&prime;''<sup>2</sup> changed to 0. [[User:Charles Matthews|Charles Matthews]] 15:58, 26 October 2005 (UTC)

== History of the term ==
Does anyone know why these curves are called elliptic curves? My apologies if I missed it in the article. -[[User:Monguin61|Monguin61]] 01:47, 10 December 2005 (UTC)

: The connection is: elliptic curve => [[Weierstrass elliptic function]] (parameterises an elliptic curve) => [[elliptic integral]] => arc length of an [[ellipse]]. I tend to think of the name "elliptic curve" as a historical accident, and a poor name for the object it describes. [[User:Dmharvey|Dmharvey]] 01:54, 10 December 2005 (UTC)

== Rules for adding points ==
The article covers four cases for adding points, but it leaves out the case P+P where P is a point of inflection of the curve such that the line is horizontal or otherwise fails to intersect the curve at a third finite point. I don't want to edit the article because I'm far from an expert on this topic, but this is a fundamentally different case, is it not? --[[User:24.15.231.4|24.15.231.4]] 04:56, 16 December 2005 (UTC)

: So in this case, the tangent line intersects the curve with multiplicity 3, so you get P + P + P = 0. (This includes 0 + 0 + 0 = 0.) I think you're right, the article deserves an extra diagram illustrating this, or at least some text describing it. [[User:Dmharvey|Dmharvey]] 13:11, 16 December 2005 (UTC)

:: Say the tangent line is horizontal. Then P + P must be the point in infinity. Else, it must intersect the curve. I think that, given the curve 
:: 
:: E: y^2 = x^3 + ax^2 + bx + c, 
:: 
:: the formula of P + P is 
:: 
:: ((x^4 - 2bx^2 - 8cx + b^2 - 4ac)/(4y^2), (x^6 + 2ax^5 + 5bx^4 + 20cx^3 + (-5b^2 + 20ac)x^2 + (-2ab^2 + 8a^2 c - 4bc)x + 4abc - 8 c^2 - b^3)/(8y^3)), 
:: 
:: unless of course, y = 0, where 2P is the point (0,1,0) in infinity.
::: I'm not sure exactly what you are saying here, but I can give an example. Take the curve <math>y^2 = x^3 - 432</math>. This has a point of inflection at <math>P = (12, 36)</math>, which can be checked by basic calculus. The slope of the curve at P is 6, so the tangent line has equation <math>y = 6x - 36</math>. Solving this simultaneously with <math>y^2 = x^3 - 432</math> gives the equation <math>(x-12)^3 = 0</math> (as it should, because it's a point of inflection!). In other words, the tanget line intersects the curve only at P, with multiplicity 3. So in this case P + P + P = 0. In fact there should be altogether 9 points satisfying Q + Q + Q = 0; the point at infinity, P and -P, and six others with complex coordinates. [[User:Dmharvey|Dmharvey]] 12:27, 25 March 2006 (UTC)

In the article they cite 'second pane' for case 'yP = yQ' whereas in pane 2 it is obviously not the case, seems to me ?[[User:Cédric VAN ROMPAY|Cédric VAN ROMPAY]] ([[User talk:Cédric VAN ROMPAY|talk]]) 14:44, 12 November 2013 (UTC)


In the article: "If xP = xQ, then there are two options." But in my opinion there is also the option P=O or Q=O (O being the point at infinity).  <!-- Template:Unsigned --><span class="autosigned" style="font-size:85%;">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Madyno|Madyno]] ([[User talk:Madyno#top|talk]] • [[Special:Contributions/Madyno|contribs]]) 13:09, 29 November 2021 (UTC)</span> <!--Autosigned by SineBot-->

== Non-singular cubic curves? ==

What do we call those?
I've heard them being called Elliptic curves.
Or non-singular curves on this form

y^2 z + axyz + byz^2 = x^3 + cx^2 z + d x z^2 + e z^3

being called elliptic curves...

Your definition appears to be different.

: Actually, those ARE elliptic curves. But every elliptic curve on a field with Characteristic different than two or three is isomorphic (in some Morphisms that preserve the Group Structure of the curve) to a curve like the ones defined in the article. So by giving the other definition, we didn't miss any information. [[User:BrunoX|BrunoX]] 02:03, 7 December 2006 (UTC)

== DAB help needed ==

Can someone with knowledge disambig [[variety|varieties]] in the Isogeny section? Thanks. [[User:Simon12|Simon12]] 02:26, 1 July 2006 (UTC)
: I took my best guess. Change if incorrect. [[User:Simon12|Simon12]] 03:15, 1 July 2006 (UTC)

== a Mistake? ==

"By adding a "point at infinity", we obtain the projective version of this curve"

why one point? by Bezout theorem, this curve has exactly 3 points at infinity. [[User:84.108.112.10|84.108.112.10]] 12:50, 14 April 2007 (UTC)

Doesn't this statement depend on the embadding of the elliptic curve? [[User:Liransh|Liransh]] 19:54, 3 May 2007 (UTC)

: Remember, in Bezout's theorem intersection points are counted with multiplicities. Homogenizing the normal form equation of the article gives <math> Y^2Z = X^3+aXZ^2+bZ^3</math>. Set Y=1 and you'll find precisely one intersection of the curve and the line at infinity Z=0. And you'll easily notice that this is a triple intersection (look at the equation in the affine piece with <math>Y \neq 0</math>). Just to verify, if Y=0 and Z=0 you find no points. Also from the point of view of the group law this is what one should expect: the point at infinity is the neutral element of the group law, which requires it to be an inflection point for the geometric description of the group law to work. 

:And finally, yes, all this depends on the embedding. If you change that, you'll change the base point that acts as the neutral element of the group law. One way to think about the group law is that the [[Jacobian variety]] of the curve has intrinsically a group structure (not just for elliptic curves but in general). Choosing a base point on the curve gives you the corresponding [[Abel-Jacobi map]] from the curve to the Jacobian; the base point lands at the neutral element of the Jacobian. That is bijective for elliptic curves, and the group law of the curve can be defined by transporting the Jacobian's group law to the curve via this bijection. Thus changing the base point gives you a different neutral element on the curve. [[User:Stca74|Stca74]] 14:20, 15 May 2007 (UTC)

=== Article rating ===
* Field: Clearly geometry, not algebra. Otherwise all of algebraic geometry would be under algebra, which does not make sense. And the transcendental theory of elliptic curves (over complex numbers) is even more clearly not algebra.
* Importance: High — these objects are among the most studied in 20th and 21st century pure mathematics and have an unusually large number of links to other fields. Individual (types of) objects should not typically be of HIGH importance, but elliptic curver in my opinion deserve that.
[[User:Stca74|Stca74]] 12:53, 26 May 2007 (UTC)

: Hello, as I explained on [[Wikipedia talk:WikiProject Mathematics|project talk page]], these things tend to be both contentious and subjective. In this instance, though, I would explain why we disagree. First, elliptic curves combine not two, but THREE fields: algebraic geometry, complex analysis, number theory. Your two arguments are fine in isolation, but contradict each other: the transcendental theory of elliptic curves was finished in 19th century. Most if not all of recent research is in arithmetic, clearly not in geometry. Besides, I argued before that algebraic geometry should be a separate field, but the consensus seemed to be to leave the field alone and judge importance on the basis of categories. The ''reductio ad absurdum'' type arguments are not helpful, because clearly, we are dealing with an intentionally limited classification scheme, so contradictions are unavoidable (to me, 'Geometry'='Differential geometry', not 'Algebraic geometry'). Rather than ridiculing the classification, you can try to convince other parties why you believe it should be made more flexible. Best, [[User:Arcfrk|Arcfrk]] 13:13, 26 May 2007 (UTC) 
:: P.S. I agree with 'High' importance, though! It's hard to maintain stable criteria while going over dozens of articles, but thinking over it again, it's high, not mid.[[User:Arcfrk|Arcfrk]] 13:35, 26 May 2007 (UTC)
::: Yes, I noticed your comment right after making the change here. And I thought about the number-theoretic importance of elliptic curves before posting my comment (that's the direction I'm coming from as well). And I think I would tend to support the separation of algebraic geometry from Geometry and Topology in the field classification. However, for as long as we do not have AG as its own field, I still think it (all of it) belongs under Geometry and Topology. The reason is that what really separates (in my mind, at least) AG from algebra is the essentially geometric viewpoint, valid also in surpisingly many arithmetic and positive-characteristic situations. And further support in my mind is provided by the essential cohomological methods which provide an extremely strong link to the topological side of Geometry and Topology. Finally, I think that from the viewpoint of a possible eventual splitting of the field, it will be easier if all of AG is for now withing one field (and again, classifying ''all'' of it with algebra would not work, as there is still a lot that is fully geometrically motivated with no arithmetic links. Cheers, [[User:Stca74|Stca74]] 14:40, 26 May 2007 (UTC)
:: I have to admit I am somewhat perplexed by an argument that because elliptic curves are important in ''number theory'', they should be rated within ''algebra''. I am also puzzled why maths ratings have got anything to do with what are the topics of current research.
:: Geometry means a surprisingly large range of things, as a quick glance at [[:Category:Geometry]] will soon reveal; it is certainly not equal to differential geometry for WP. [[User:Geometry guy|Geometry guy]] 18:09, 30 May 2007 (UTC)

::: It only appears puzzling because it was a ''hypothetical'' discussion (''if you think the transcendental theory is what is most important then you cannot claim at the same time that it's the current research that determines the importance, because the current research is in number theory''). My position, hopefully, easy enough to understand, is that algebraic geometry should be a separate field. In the absence of agreement on that, elliptic curves should (in ''my'' opinion) better be filed under ''Algebra''. However, I do not think that this in itself is of sufficient importance to spend any more time on discussion, whichever field and/or importance ratings have been assigned. Rather, we know the article is here, is fairly important, and awaits improvements. [[User:Arcfrk|Arcfrk]] 05:59, 31 May 2007 (UTC)
:::: "Here here" to the last sentence! Okay, you have cleared up my puzzlement, thank you for that, but not my perplexity: in the absense of field=''AlgGeom'', why do you prefer field=''Algebra'' to field=''Number theory''? [[User:Geometry guy|Geometry guy]] 18:36, 31 May 2007 (UTC)

== Some comments ==

I am an arithmetic geometer working in the field(s?) of elliptic curves and curves of genus one.  Here are my 
reactions to the article as currently written (it is quite good overall):

The basic definition -- "an elliptic curve is..." is close but needs even more care: first of all, 
if one is going to define it in earnest using the language of algebraic / arithmetic geometry (BTW, it is 
not clear to me that one should do this right away; more people would understand the y^2 = x^3+ax+b definition, 
which is not wrong, just overly concrete for some purposes), you are missing the proviso "geometrically 
connected."  More seriously, you are missing a mention of the field of definition of the elliptic curve.  As 
stated above, for about 100 years it has been the case that elliptic curves are interesting only over 
non-algebraically closed fields, so the dependence on the field should be made clear from the start.  Again, a 
reasonable choice would be to say a bit first about elliptic curves over the rational field and then start 
again with a definition over an arbitrary field (with the longer Weierstrass equation).  

Nitpicking point: the definition of an elliptic curve in short Weierstrass form is not insufficiently "precise"; 
it is simply not the definition of an elliptic curve in char. 2 or 3 that agrees with the above geometric 
definition (i.e., the problem is not precision; it's simply a matter of a statement which is no longer true).  

The paragraph beginning "If y^2 = P(x)..." is a bit awkwardly written.  In particular, somewhere in this 
paragraph the fact that an elliptic curve must have a rational point is forgotten.  The point of the Weierstrass 
form is that it comes equipped with a canonical rational point (the inflection point at infinity).  The other 
forms -- hyperelliptic quartic, plane cubic and intersection of two space quadrics -- are important alternate 
ways of presenting smooth curves of genus one, but in these other forms a rational point is not guaranteed 
(rather, a rational divisor of degree 2, 3, or 4, respectively).    

Saying that the proof of FLT is by Wiles assisted by Taylor is not ideal -- the work of Taylor and Wiles was 
indeed spectacular, but it also built on important work of many other mathematicians: e.g. Ribet, who proved 
that Taniyama-Shimura implies FLT.  The attribution of FLT is a complicated story which can be left to the 
article itself; no need to try to wing it here.

"By adding a 'point at infinity', we obtain the projective version of this curve" This could be better phrased.  
The projectivization of an affine curve is an easy general construction: we just homogenize the defining 
polynomial by inserting in each monomial term whatever power of Z brings the total degree of each term up 
to the maximum of the total degrees of the original terms (in this case 3, of course).  Surely this is 
described somewhere onsite?  (If not, it should be!)  Then the fact that the line at infinity intersects a 
Weierstrass cubic in a single point can be verified.  My point is that the way it is said it sounds like 
one knew in advance that there was one point to add.  This is really not the case, since e.g. one could 
work with a non-Weierstrass cubic endowed with a rational point, and then the projectivization could add 
as many as three points.  

In your definition of the group law: you never actually say what P+Q _is_, you just give defining properties.  
Why not say that if R is the third intersection point of P and Q with the curve, then P+Q is the third 
intersection point of O and R with the curve (and illustrate this with a picture)?

"One can check that this turns the curve into an abelian group, and thus into an abelian variety."  Bad -- an 
abelian variety is a commutative group variety but not conversely (think of the additive group or the 
multiplicative group, e.g.).  The sentence could read, "One can check that the K-rational points on E 
form an abelian group under +.  [insert some indication that the associativity is the sticky point!]  
Moreover, as a map from E x E to E, the addition law is "algebraic", i.e., given by rational functions on E, 
so endows E with the structure of an algebraic group (and indeed, since E is projective and geometrically 
connected, an abelian variety."  Or you could not say all these things -- it's not really necessary.

"The above group law can be described algebraically as well as geometrically."  I object to this dichotomy 
here and elsewhere in the article: the above description of the group law is both algebraic _and_ geometric 
(and also arithmetic, since it takes fields of rationality into account).  It is not necessary to perform 
the construction first over the real numbers and then describe it separately -- it makes sense over any field 
using simple, purely algebraic definitions of partial derivative, tangent line, etc.  "Algebraically" and 
"using the following explicit equations" are not synonymous!

Elliptic curves over the complex numbers: "curious property of Weierstrass's elliptic functions..." "Curious" 
is unencyclopedic.  Anyway, it is not explained.  "Looks like" |-> "is homeomorphic to" (with a link).  The 
reader who has made it this far will not be confused.  ... "then the corresponding elliptic curves are 
isomorphic"  And conversely!  

"The isomorphism classes can be understood in a simpler way..." "Simpler" is POV.

"The complex numbers are the splitting field for polynomials" -> "the complex numbers are algebraically closed"

Drop the name "Legendre form" for the y^2 = x(x-1)(x-lambda) and give a reference (say, to Silverman) for 
all these formulas.

"The uniformization theorem states" |-> "The uniformization theorem implies."  (It says other things as well.)

Elliptic curves over a general field: again, I wish this would be more gracefully incorporated into the 
above.  (One way to do it is to do it over Q in a way that works over an arbitrary field, and then later 
to announce this.) 

"One typically takes the curve to be..." This is not quite right; a curve is a curve, in the sense of 
arithmetic geometry.  It is not simply the set of its points over the algebraic closure (although the 
set of points together with all morphisms from it are sufficient to recover the algebraic structure).  
It is better not to say anything about this subtle point than to get it a little bit wrong.

Isogeny of elliptic curve: the term "basepoint" (should be "base point") has not been used above.  (Better, 
e.g. "the origin", or "the neutral element".)  About the homomorphism property of an isogeny: moreover, 
the homomorphism is surjective over the algebraic closure.

"no general algorithm is known..." Elaborate on this point.  There is an algorithm which we use in practice, 
which will work provided Shafarevich-Tate groups are finite.  (The point is that having an "algorithm" that 
has not been proved to terminate in all cases is not the same as not having any idea at all how to start 
computing.)  

"A formula for this rank is given by..." This is true, but the other terms in the formula are difficult both 
theoretically and computationally as well.  

"This fact can be understood and proven with the help of some general theory..." Well, okay.  I wonder whether 
the people who are conversant (or even potentially conversant) with etale cohomology are really looking on 
Wikipedia to find out how to prove Hasse's bound.  Of course Hasse's proof was simpler, and there is also a 
relatively simple proof in Silverman's book: a reference here would be nice.

"The number of points on a specific curve..."  It would be hard to compute the number of points on a nonspecific 
curve, wouldn't it? :)

It would be nice also to have a section on elliptic curves over local fields and reduction theory, as well as a 
little bit about complex multiplication.

Well, I can help out with these changes, but not tonight. [[User:128.192.134.50|128.192.134.50]] 06:58, 14 August 2007 (UTC)Plclark
:Why does an elliptic curve have to have a rational point?  If it doesn't, it's not called an elliptic curve?? [[User:Tkuvho|Tkuvho]] ([[User talk:Tkuvho|talk]]) 13:30, 2 December 2010 (UTC)

== Associativity ==

Is it obvious to everybody but me that the elliptic-curve "addition" operation is associative?  How on earth did anybody ever notice, "Hey, if I define a combination operation like this, it's associative, so I can get a group!" [[Special:Contributions/68.189.88.169|68.189.88.169]] ([[User talk:68.189.88.169|talk]]) 22:42, 2 March 2008 (UTC)

: It's not obvious to anyone.  However, the definition of addition on elliptic curves is quite natural, if you are familiar with [[Bezout's theorem]], and once you have a commutative binary operation with identity and inverses it's not hard to conjecture that it constitutes a group operation, and then the proof writes itself (with many computations).  The other perspective, that the points of an elliptic curve correspond to divisors of degree 0 in its [[Picard group]], is not so obvious, but once you see it, you immediately get a group operation on the points and you start to wonder whether the other operation which you couldn't prove associative actually is, and is the same operation.  And from the definition of the Picard group it is quite easy to prove they are the same thing.

: Neither of these qualifies as "obvious", but they are not obvious in different ways.  By the way, I disclaim the usefulness of either of the links I made; the Picard group page is really utterly unhelpful.

: Finally, you might do better by asking this question in a real mathematical forum, which this isn't. [[User:Ryan Reich|Ryan Reich]] ([[User talk:Ryan Reich|talk]]) 23:10, 2 March 2008 (UTC)

The article now contains a very nice animation, and purports this to provide a geometric proof of associativity.  I have seen proofs of associativity with very similar diagrams (in the textbook by Niven, Zuckerman, and Montgomery, for example), but the proof includes considerably more material than currently in this wikipedia article.  For example, Bezout's theorem says two cubics intersect in nine points, but one may need even more to complete the proof of associativity: such that if three cubics share eight points, then the ninth point in each of pairwise intersections is identical.  Just to be clear I am only guessing that something like that would complete the proof.  (By the way, in the diagram the three cubics are (1) the curve, and (2) the three nearly vertical lines and (3) the three nearly horizontal lines.  The ninth point in question is the central point.)  In other words, the article is now wrong: a geometric proof is not supplied.  I will try to remove this claim, without hindering the importance and intuition of the animation.  I hope that somebody else can supply the missing parts of the proof.  [[User:DRLB|DRLB]] ([[User talk:DRLB|talk]]) 15:50, 13 May 2013 (UTC)

Sorry to bother you, but it is written  "The article now contains a very nice animation" at 15:50, 13 May 2013 (UTC), but I can't find the "animation", or perhaps it stopped being animated and is just a simple picture.  Please fix or explain ...  ([[User:Peter10003|Peter10003]] ([[User talk:Peter10003|talk]]) 16:49, 28 July 2017 (UTC))

:I have restored the (admittedly a bit crude) animation at [[Elliptic curve#Associativity]]. It had been removed a few days ago without explanation. I have changed the layout a bit to keep the animation from flowing into the following section. Please check. [[User:Tea2min|Tea2min]] ([[User talk:Tea2min|talk]]) 07:29, 30 July 2017 (UTC)

I really like the animation, and I think it nicely illustrates the Cayley-Bacharach theorem (though not its proof).  However, for the elliptic curve group law, it seems a little off, because O is not an inflection point.  (True, any point can serve as O, but if O is a non-inflection points, the chord-and-tangent law does not define addition, if I recall correctly.)  In the animation, O does not look like an inflection point.  Not sure who knows how to modify the animation.  [[User:DRLB|DRLB]] ([[User talk:DRLB|talk]]) 00:58, 31 July 2017 (UTC)

:Thank you for your comment. I see now that that was the reason the animation had been removed, see {{u|Claus from Leipzig}}'s comment in the section [[#On the "minus points" in the gif]] below. As of now, I think it would be best to remove the section [[Elliptic curve#Associativity]] completely until the animation gets fixed as the section doesn't make much sense without the animation, IMO. [[User:Tea2min|Tea2min]] ([[User talk:Tea2min|talk]]) 07:01, 2 August 2017 (UTC)

==First sentence==
Did we lose something along the way? The O in the first sentence doesn't seem to help with the definition.  Perhaps there was some characteristic of O that is missing? (John [[User:Jwy]] [[User talk:Jwy|talk]]) 23:00, 19 October 2008 (UTC)

The requirement for a point O forces the curve to have a rational projective point. Curves without any rational projective points are not elliptic curves. In practice, most of the time, the curve is chosen to have a single point at infinity which is taken for O, but this is not a requirement.
[[Special:Contributions/83.159.7.181|83.159.7.181]] ([[User talk:83.159.7.181|talk]]) 10:13, 17 July 2012 (UTC)

==A typo?==

I'm not an algebraic geometer/number theorist, but this looks wrong: "For prime numbers ℓ not dividing N, the coefficient \scriptstyle a(\ell) of the form equals ℓ – the number of solutions of the minimal equation of the curve modulo ℓ." Shouldn't it be "...equals a<sub>ℓ</sub> – the number of solutions..."? If so, probably needs a reference  <span style="font-size: smaller;" class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/203.24.207.178|203.24.207.178]] ([[User talk:203.24.207.178|talk]]) 06:10, 31 July 2012 (UTC)</span><!-- Template:Unsigned IP --> <!--Autosigned by SineBot-->

== Hey, Deltahedron... ==

why didn't you like my edit?

The link to Tunnell, as it stands, isn't useful. The referenced Tunnell isn't even one of those mentioned in the disambiguation page, whereas I proposed an useful link.

At least an explanation is in order instead of just bluntly undoing.  <span style="font-size: smaller;" class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/89.247.124.39|89.247.124.39]] ([[User talk:89.247.124.39|talk]]) 13:21, 24 December 2012 (UTC)</span><!-- Template:Unsigned IP --> <!--Autosigned by SineBot-->

:I don't understand this.  {{IPuser|89.247.76.226}} made [http://en.wikipedia.org/w/index.php?title=Elliptic_curve&diff=prev&oldid=529091303 this change] to link to [[Tunnell's theorem]] and that link is still there.  I assume that {{IPuser|89.247.124.39}} is the same person?  My subsequent [http://en.wikipedia.org/w/index.php?title=Elliptic_curve&diff=529305516&oldid=529091303 change] was quite unrelated.  It would help if the anonymous editor(s) would (1) explain exactly what it is they are objecting to here, (2) address personal messages to other editors on User talk pages not article talk pages, and (3) consider acquiring their own editor name to facilitate communication with other users.  [[User:Deltahedron|Deltahedron]] ([[User talk:Deltahedron|talk]]) 14:00, 24 December 2012 (UTC)

Original anonymous here: Oops -- I stand corrected. I can't reproduce the problem now: the new link is there. Let's assume it was my browser playing nasty caching tricks on me.

Please accept my apologies  <span style="font-size: smaller;" class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/89.247.13.63|89.247.13.63]] ([[User talk:89.247.13.63|talk]]) 10:20, 26 December 2012 (UTC)</span><!-- Template:Unsigned IP --> <!--Autosigned by SineBot-->

::Not a problem.  But please do consider [[Wikipedia:Why create an account?]].  [[User:Deltahedron|Deltahedron]] ([[User talk:Deltahedron|talk]]) 17:28, 26 December 2012 (UTC)

==What's '''E'''(Q)?==

I came here looking to remind myself how the rational points of an elliptic curve were defined, and was annoyed that halfway through the article the symbols '''E'''(Q) is introduced without explanation.   For lots of people this would mean nothing.  I'm enough of a mathematician that I know it means the rational points of the elliptic curve... however, the article should explain this and say exactly what the rational points are.  (For example, presumably the point at infinity is a rational point.) <small><span class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:John Baez|John Baez]] ([[User talk:John Baez|talk]] • [[Special:Contributions/John Baez|contribs]]) </span></small><!-- Template:Unsigned -->

== Mistakes ==

Section 3 seems to contain some fundamental mistakes. The formulas linking $g_2$, $g_3$ and $\Delta$ to $\lambda$ are clearly wrong, since the former are modular forms (transforming with a non-trivial weight) and the latter a modular function (transforming without a weight). I am not sure how to fix this.[[Special:Contributions/129.16.128.185|129.16.128.185]] ([[User talk:129.16.128.185|talk]]) 14:07, 9 June 2016 (UTC)

== Statement needs elaboration (or deletion) ==

Under the section '''Elliptic curves over the complex numbers''', this passage appears:

"''the Weierstrass functions are naturally defined on a torus  ''T'' = '''C'''/Λ. This torus may be embedded in the complex projective plane by means of the map''

:<math>z \mapsto [1 :\wp(z) : \wp'(z)]</math>

''This map is a group isomorphism, carrying the natural group structure of the torus into the projective plane.''"

But it is '''not clear''' what it means to say that the map <math>z \mapsto [1 :\wp(z) : \wp'(z)]</math> is a group isomorphism.  

The projective plane does not carry a group structure of its own. So in what sense does the image of this map <math>z \mapsto [1 :\wp(z) : \wp'(z)]</math> even '''have''' a group structure?  

Of course, any bijection from a group to a set can be used to transfer the group structure of the group to one on its image. But '''in this case''' it is confusing to call that an isomorphism (even though it is one): It is just a map used to copy a group from one set onto another set.

I hope someone more knowledgeable than I will improve the exposition here.[[User:Daqu|Daqu]] ([[User talk:Daqu|talk]]) 19:07, 5 September 2016 (UTC)

:These sentences are talking about the relation between the torus '''C''' / &Lambda; and the cubic curve <math>y^2 = 4x^3 - g_2x - g_3</math>.  I edited the article; hopefully it is clearer.  [[User:Ozob|Ozob]] ([[User talk:Ozob|talk]]) 02:53, 6 September 2016 (UTC)

::Thank you, Ozob!  It looks much clearer now.[[User:Daqu|Daqu]] ([[User talk:Daqu|talk]]) 07:41, 6 September 2016 (UTC)

== External links modified ==

Hello fellow Wikipedians,

I have just modified {{plural:1|one external link|1 external links}} on [[Elliptic curve]]. Please take a moment to review [https://en.wikipedia.org/w/index.php?diff=prev&oldid=756267359 my edit]. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit [[User:Cyberpower678/FaQs#InternetArchiveBot|this simple FaQ]] for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20131109074631/http://planetmath.org/thearithmeticofellipticcurves to http://planetmath.org/thearithmeticofellipticcurves

When you have finished reviewing my changes, please set the ''checked'' parameter below to '''true''' or '''failed''' to let others know (documentation at {{tlx|Sourcecheck}}).

{{sourcecheck|checked=false}}

Cheers.—[[User:InternetArchiveBot|'''<span style="color:darkgrey;font-family:monospace">InternetArchiveBot</span>''']] <span style="color:green;font-family:Rockwell">([[User talk:InternetArchiveBot|Report bug]])</span> 02:32, 23 December 2016 (UTC)

== On the "minus points" in the gif ==

There is the following mistake in the gif:

The "minus points", e.g. -(a+b), are incorrect. The labeling is based on the misconception that "three points on a line add up to 0". This is however only true if 0 is itself an inflection point.

That it is not true otherwise can easily be seen by considering the tangent at 0 itself.

The fix is that first the "minus labels" should be deleted and then also a line from 0 trough the middle point (currently labeled -(a+b+c)) should be drawn. The third intersection is then a+b+c.  <!-- Template:Unsigned --><small class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Claus from Leipzig|Claus from Leipzig]] ([[User talk:Claus from Leipzig#top|talk]] • [[Special:Contributions/Claus from Leipzig|contribs]]) 20:22, 21 June 2017 (UTC)</small> <!--Autosigned by SineBot-->

I have now deleted the incorrect gif. It would of course nice to have a correct one.[[User:Claus from Leipzig|Claus from Leipzig]] ([[User talk:Claus from Leipzig|talk]]) 08:11, 21 July 2017 (UTC)

:I had missed your comment when I restored the animation a few days ago, sorry. I think it would be best to remove the section [[Elliptic curve#Associativity]] completely until the animation gets fixed as it really doesn't make much sense without the animation. See section [[#Associativity]] above, too. [[User:Tea2min|Tea2min]] ([[User talk:Tea2min|talk]]) 07:05, 2 August 2017 (UTC)

I just deleted this section.[[User:Claus from Leipzig|Claus from Leipzig]] ([[User talk:Claus from Leipzig|talk]]) 20:13, 8 August 2017 (UTC)

== External links modified ==

Hello fellow Wikipedians,

I have just modified one external link on [[Elliptic curve]]. Please take a moment to review [https://en.wikipedia.org/w/index.php?diff=prev&oldid=801469149 my edit]. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit [[User:Cyberpower678/FaQs#InternetArchiveBot|this simple FaQ]] for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20030223074754/http://www.math.niu.edu/~rusin/known-math/index/14H52.html to http://www.math.niu.edu/~rusin/known-math/index/14H52.html

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

{{sourcecheck|checked=false|needhelp=}}

Cheers.—[[User:InternetArchiveBot|'''<span style="color:darkgrey;font-family:monospace">InternetArchiveBot</span>''']] <span style="color:green;font-family:Rockwell">([[User talk:InternetArchiveBot|Report bug]])</span> 21:15, 19 September 2017 (UTC)

== Elliptic curves over complex numbers ==

Surely the formulas for g_2 and g_3 here need to be multiplied by something. The modular lambda function :H -> C is invariant under all of \Gamma(2) but g_2 and g_3 are not, so they cannot be polynomials in \lambda. 

I think for instance the formula for g_3 needs to be multipled by the modular form -4 \pi^6 \theta_3(0,1+\tau)^{12} (after replacing \lambda by 1-\lambda).

It's nicely written and I don't advocate increasing the complexity, but surely simplifying things to the point of incorrectness can't have been the best choice. [[User:Createangelos|Createangelos]] ([[User talk:Createangelos|talk]]) 09:56, 11 February 2019 (UTC)

== Question about elliptic curve over field of characteristic 3 ==

Why is the coefficient of the ''x''<sup>3</sup> term shown as 4? Doesn't 4=1 in a field of characteristic 3?
[[User:MeanStandev|MeanStandev]] ([[User talk:MeanStandev|talk]]) 18:07, 27 June 2020 (UTC)

== How is a rank determined to be exact? ==

In Elliptic curves over the rational numbers:The structure of rational points the largest known rank is ">=28". There is no mention of how it is then determined how this might become "=28". Is this worth mentioning?

[[User:Darcourse|Darcourse]] ([[User talk:Darcourse|talk]]) 04:50, 26 April 2022 (UTC)

== Wrong John Cremona in references ==

The reference for the book "Algorithms for Modular Elliptic Curves" links the author to the article on the Maltese politician John Joseph Cremona (https://en.wikipedia.org/wiki/John_Cremona).  The author is in fact John E. Cremona, emeritus professor at the University of Warwick (https://warwick.ac.uk/fac/sci/maths/people/staff/john_cremona/, https://johncremona.github.io/).  <!-- Template:Unsigned --><span class="autosigned" style="font-size:85%;">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Autoplunger|Autoplunger]] ([[User talk:Autoplunger#top|talk]] • [[Special:Contributions/Autoplunger|contribs]]) 03:59, 13 May 2022 (UTC)</span> <!--Autosigned by SineBot-->

:Thanks, I fixed it. [[User:Prame tan|Prame tan]] ([[User talk:Prame tan|talk]]) 07:48, 3 April 2023 (UTC)

== The structure of rational points: Move proof of Mordell–Weil theorem ==

This looks nice, but detailed discussion of the proof and its implications seems like it should belong on the Mordell–Weil theorem page rather than in a subsection here. To be specific, I think the part from "The proof of the theorem involves two parts." to "The theorem however doesn't provide a method to determine any representatives of ''E''('''Q''')/''mE''('''Q''')." can be moved. [[User:Kclisp|Kclisp]] ([[User talk:Kclisp|talk]]) 17:12, 26 March 2023 (UTC)

== This means what??? ==

The introductory section contains this passage:

"''The curve is required to be non-singular, which means that the curve has no cusps or self-intersections.  (This is equivalent to the condition'' {{math|4''a''<sup>3</sup> + 27''b''<sup>2</sup> ≠ 0}}, ''that is, being [[square-free polynomial|square-free]] in {{mvar|x}}.)''"

1. '''What is it''' that is supposedly "square-free in x" ???

2. What does "square-free in x" mean here?

I hope that someone familiar with the subject and also familiar with writing clearly in English can fix this.