Elliptic Curve - The Group Law

The Group Law

By adding a "point at infinity", we obtain the projective version of this curve. If P and Q are two points on the curve, then we can uniquely describe a third point which is the intersection of the curve with the line through P and Q. If the line is tangent to the curve at a point, then that point is counted twice; and if the line is parallel to the y-axis, we define the third point as the point "at infinity". Exactly one of these conditions then holds for any pair of points on an elliptic curve.

It is then possible to introduce a group operation, +, on the curve with the following properties: we consider the point at infinity to be 0, the identity of the group; and if a straight line intersects the curve at the points P, Q and R, then we require that P + Q + R = 0 in the group. One can check that this turns the curve into an abelian group, and thus into an abelian variety. It can be shown that the set of K-rational points (including the point at infinity) forms a subgroup of this group. If the curve is denoted by E, then this subgroup is often written as E(K).

The above group can be described algebraically as well as geometrically. Given the curve y2 = x3 − pxq over the field K (whose characteristic we assume to be neither 2 nor 3), and points P = (xP, yP) and Q = (xQ, yQ) on the curve, assume first that xPxQ. Let s be the slope of the line containing P and Q; i.e., s = (yPyQ)⁄(xPxQ). Since K is a field, s is well-defined. Then we can define R = P + Q = (xR, −yR) by

\begin{align} x_R &= s^2 - x_P - x_Q\\ y_R &= y_P + s(x_R - x_P).
\end{align}

If xP = xQ, then there are two options: if yP = −yQ, including the case where yP = yQ = 0, then the sum is defined as 0; thus, the inverse of each point on the curve is found by reflecting it across the x-axis. If yP = yQ ≠ 0, then R = P + P = 2P = (xR, −yR) is given by

\begin{align} s &= \frac{3{x_P}^2 - p}{2y_P}\\ x_R &= s^2 - 2x_P\\ y_R &= y_P + s(x_R - x_P).
\end{align}

Read more about this topic:  Elliptic Curve

Famous quotes containing the words group and/or law:

    He hung out of the window a long while looking up and down the street. The world’s second metropolis. In the brick houses and the dingy lamplight and the voices of a group of boys kidding and quarreling on the steps of a house opposite, in the regular firm tread of a policeman, he felt a marching like soldiers, like a sidewheeler going up the Hudson under the Palisades, like an election parade, through long streets towards something tall white full of colonnades and stately. Metropolis.
    John Dos Passos (1896–1970)

    From the war of nature, from famine and death, the most exalted object which we are capable of conceiving, namely, the production of the higher animals, directly follows. There is grandeur in this view of life, with its several powers, having been breathed into a few forms or into one; and that, whilst this planet has gone cycling on according to the fixed law of gravity, from so simple a beginning endless forms most beautiful and most wonderful have been, and are being, evolved.
    Charles Darwin (1809–1882)