11.07.2015 Views

Vol. 5 No 2 - Pi Mu Epsilon

Vol. 5 No 2 - Pi Mu Epsilon

Vol. 5 No 2 - Pi Mu Epsilon

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

If yl  y2  0 (mod p), and the curve is non-singular mod p, wedt)The curve may be parametrized as follows: x = à y = -may write its equation in the form y2 = (x-xo)g(x) where xlEx2Exot t 3(mod p) and g(xo) is a unit. Consider 4where ~(t) = (1 t At t ~ t ~ ) " ~ ~(t) . may be represented as a power2wY2- Yl-= xl-xoseries: ~(t) = 1 t 1 [The series may be derived from theg(xl) Here g(x ) and g(x2) are units.1 i=2 - -"2 - xl1 1 2series (ltu)"'We may assume that v(xl-x) 2 v(x2-x). Suppose firstp-adicly for t  0 (mod p). From the formula for t, we see that tv(x -x ) > v(x-x). Then v(x -x ) = v((x2-xo) + (x-x))1 0 2 1 is the parameter of a point in rm if and only if v(t) 2 m.= min[v(x2-xo) ,v(xo-xl)l= 1 t 5 u - ,. u t & u 3 - . . . I This series convergesThis means that -x2-x12x -X2 1is a unit.= v(x-x)x2-x0 is a unit and"l^o -=0 (mod 0). Therefore,x2-x1On the other hand, if v(x -X ) = v(x2-x), we may write1 0Let P 1' P 2 have parameters tl,t2 resp. Put 5 = e(tl),E = ~ ( t ) nl , = n(P), and n2 = n(P2). Let P3 = P 1 + P2 and haveparameter t3, We need to express the addition law in terms of theparameters; that is, we need t3 in terms of tl and t2.We may assume nl 5 n2.Since g(x) is a polynomial, x2-x2 divides g(x2)-g(xl).g(x)-g(x)is an integer. x 2 xo (mod P), so x2-xo  0 (mod P 1.2x2-X2Thus the product 50 (mod 0). However g(xl) is a unit, so the sum isa unit.£ ÂY -Y1In either case, ÑÑà is a unit. We knowx2-x12 2Y2+Y1 Y2 -Y1 1- = --where y  y (mod p). Therefore,x2-x1 X2-X1 Y2-YlSOIf we let 8 = 1By the addition formula,-- - -y2-y1, we get - =2 3 3t tt1t2tt2^-tl t2 81i=:1 x 2 -X 1 t1t2(t1tt2)The right side of the above may be expressed as a power series usingt ...2 2We know v(tl) j n, v(t2) 2 n, and u(tl tt1t2tt2^) = v(tl ) 2 2n1.2 2Thwçfore v(tlt2(tl ttlt2+t22)) = v(tl)tv(t2)tv(tl ttlt2tt22) 2 3nltn2.(1-u)-1/2 = 1 t F U t ^'

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!