Let be an elliptic curve over a field , given by an equation . We begin by defining a binary operation on .
Note that in Step 3 if , then ; otherwise, we would have terminated in the previous step.
Before discussing why the theorem is true, we reinterpret geometrically, so that it will be easier for us to visualize. We obtain the sum by finding the third point of intersection between and the line determined by and , then reflecting about the -axis. (This description requires suitable interpretation in cases 1 and 2, and when .) This is illustrated in Figure 6.3, in which on . To further clarify this geometric interpretation, we prove the following proposition.
where and .
Simplifying we get , where we omit the coefficients of and the constant term since they will not be needed. Since and are in , the polynomial has and as roots. By Proposition 2.5.3, the polynomial can have at most three roots. Writing and equating terms, we see that . Thus , as claimed. Also, from the equation for we see that , which completes the proof.
To prove Theorem 6.2.2 means to show that satisfies the three axioms of an abelian group with as identity element: existence of inverses, commutativity, and associativity. The existence of inverses follows immediately from the definition, since . Commutativity is also clear from the definition of group law, since in parts 1-3, the recipe is unchanged if we swap and ; in part 4 swapping and does not change the line determined by and , so by Proposition 6.2.3 it does not change the sum .
It is more difficult to prove that satisfies the associative axiom, i.e., that . This fact can be understood from at least three points of view. One is to reinterpret the group law geometrically (extending Proposition 6.2.3 to all cases), and thus transfer the problem to a question in plane geometry. This approach is beautifully explained with exactly the right level of detail in [#!silvermantate!#, §I.2]. Another approach is to use the formulas that define to reduce associativity to checking specific algebraic identities; this is something that would be extremely tedious to do by hand, but can be done using a computer (also tedious). A third approach (see e.g. [#!silverman:aec!#] or [#!hartshorne!#]) is to develop a general theory of ``divisors on algebraic curves'', from which associativity of the group law falls out as a natural corollary. The third approach is the best, because it opens up many new vistas; however we will not pursue it further because it is beyond the scope of this book.
William 2007-06-01