§7 椭圆曲线
定义 7.1 设f(x)是一个良好的三次多项式。由f定义的椭圆曲线是集合
E:={O}∪{(x,y)∣y2=f(x)}.
例 7.1 方程的解如下图所示:
注意(x,y)∈E ⇒ (x,−y)∈E。
定理 7.1 每个椭圆曲线都是一个Abel群。
这令人惊讶。我们定义群操作如下:
E×E(P,Q)→E↦P+Q
(1) 如果P,Q=O,则设
O+O=O.
(2) 如果P=O, Q=(x,y)∈E, 则设
O+Q=Q+O=Q.
(3) 如果P, Q属于{(x,y)∣y2=f(x)}, 考虑包含和的唯一直线LPQ。
一条直线L与三次曲线交于三点。设R=(x,y)为第三个交点,则定义P+Q:=(x,−y)。
规则: 若LPQ是垂直线,它在R2中不再有第三个交点,我们定义第三个交点R为“无穷远点” O。
(这其实是投影几何中的一种解释,在那里平行线——例如垂直线——在无穷远点相交。)
%7D%0A%20%20%25%20Use%20decimal%20approximations%20for%20sqrt(2)%0A%20%20%5Cdef%5CphiPos%7B0.61803397%7D%20%20%20%20%25%20(%E2%88%921%20%2B%20sqrt(5))%2F2%0A%20%20%5Cdef%5CphiNeg%7B-1.61803399%7D%20%20%20%25%20(%E2%88%921%20-%20sqrt(5))%2F2%0A%20%20%25%20Plot%20for%20x%20in%20%5B-sqrt(2)%2C%200%5D%20and%20include%20endpoints%0A%20%20%5Cdraw%5Bcolor%3Dred%2C%20smooth%5D%20plot%5Bsamples%3D100%2C%20domain%3D%5CphiNeg%3A%5CphiPos%5D%20(%5Cx%2C%20%7B%5Cfx%7D)%0A%20%20%20%20%20%20%20%20--%20(%5CphiPos%2C%200)%3B%0A%20%20%5Cdraw%5Bcolor%3Dred%2C%20smooth%5D%20plot%5Bsamples%3D100%2C%20domain%3D%5CphiNeg%3A%5CphiPos%5D%20(%5Cx%2C%20%7B-%5Cfx%7D)%0A%20%20%20%20%20%20%20%20--%20(%5CphiPos%2C%200)%3B%0A%20%20%25%20Plot%20for%20x%20in%20%5Bsqrt(2)%2C%202%5D%20and%20include%20endpoints%0A%20%20%5Cdraw%5Bcolor%3Dred%2C%20smooth%5D%20plot%5Bsamples%3D100%2C%20domain%3D1%3A3%5D%20(%5Cx%2C%20%7B%5Cfx%7D)%3B%0A%20%20%5Cdraw%5Bcolor%3Dred%2C%20smooth%5D%20plot%5Bsamples%3D100%2C%20domain%3D3%3A1%5D%20(%5Cx%2C%20%7B-%5Cfx%7D)--(1%2C0)%3B%0A%20%20%5Cdraw%20(0%2C3)--(0%2C-3)node%5Bbelow%20right%5D%7B%24L_%7BPQ%7D%24%7D%3B%0A%20%20%5Ccoordinate%20(P)%20at%20(0%2C1)%3B%0A%20%20%5Cfill%5Breset%20cm%5D%20(P)%20node%5Babove%20right%5D%7B%5Ctiny%7B%24P%3D(x%2Cy)%24%7D%7D%20circle%20(2pt)%3B%0A%20%20%5Ccoordinate%20(Q)%20at%20(0%2C-1)%3B%0A%20%20%5Cfill%5Breset%20cm%5D%20(Q)%20node%5Bbelow%20right%5D%7B%5Ctiny%7B%24Q%3D(x%2C-y)%24%7D%7D%20circle%20(2pt)%3B%0A%5Cend%7Btikzpicture%7D)
注意LPQ=LQP,所以P+Q=Q+P。
证明E×E→E是结合的较为困难。
我建议选择三个相邻的点。
命题 7.2 (P1+P2)+P3=P1+(P2+P3)。
一个很棒的观察:假设f(x)=a3x3+a2x2+a1x+a0且ai∈Q。若P,Q∈E为有理点(即它们的x和y坐标为有理数)。那么P+Q也是有理点!
证明:LPQ的方程为
y=mx+t
P,Q∈Q2 ⇒ m,t∈Q。交点LPQ∩E包含R满足方程
(mx+t)2=a3x3+a2x2+a1x+a0
⇒P,Q,R是某个有理系数三次多项式的根。
⇒
(x−x1)(x−x2)(x−x3)=g(x)=b3x3+b2x2+b1x+b0
由于x1,x2∈Q ⇒ x3∈Q,因为x1x2x3是g(x)的常数项!(更好的是:因为x1+x2+x3=b2且x1,x2,b2∈Q。)
定义 7.2 若f是有理三次多项式(即ai∈Q),定义E(Q)⊂E为集合
(E∩(Q×Q))∪{O}
即所有坐标为有理数的点P以及无穷远点O的集合。
%7D%0A%20%20%25%20Use%20decimal%20approximations%20for%20sqrt(2)%0A%20%20%5Cdef%5CphiPos%7B0.61803397%7D%20%20%20%20%25%20(%E2%88%921%20%2B%20sqrt(5))%2F2%0A%20%20%5Cdef%5CphiNeg%7B-1.61803399%7D%20%20%20%25%20(%E2%88%921%20-%20sqrt(5))%2F2%0A%20%20%25%20Plot%20for%20x%20in%20%5B-sqrt(2)%2C%200%5D%20and%20include%20endpoints%0A%20%20%5Cdraw%5Bcolor%3Dred%2C%20smooth%5D%20plot%5Bsamples%3D100%2C%20domain%3D%5CphiNeg%3A%5CphiPos%5D%20(%5Cx%2C%20%7B%5Cfx%7D)%0A%20%20%20%20%20%20%20%20--%20(%5CphiPos%2C%200)%3B%0A%20%20%5Cdraw%5Bcolor%3Dred%2C%20smooth%5D%20plot%5Bsamples%3D100%2C%20domain%3D%5CphiNeg%3A%5CphiPos%5D%20(%5Cx%2C%20%7B-%5Cfx%7D)%0A%20%20%20%20%20%20%20%20--%20(%5CphiPos%2C%200)%3B%0A%20%20%25%20Plot%20for%20x%20in%20%5Bsqrt(2)%2C%202%5D%20and%20include%20endpoints%0A%20%20%5Cdraw%5Bcolor%3Dred%2C%20smooth%5D%20plot%5Bsamples%3D100%2C%20domain%3D1%3A3%5D%20(%5Cx%2C%20%7B%5Cfx%7D)%3B%0A%20%20%5Cdraw%5Bcolor%3Dred%2C%20smooth%5D%20plot%5Bsamples%3D100%2C%20domain%3D3%3A1%5D%20(%5Cx%2C%20%7B-%5Cfx%7D)--(1%2C0)%3B%0A%20%20%5Cdraw%20(-2%2C-1.445)--(3%2C-1.445)%3B%0A%20%20%5Cdraw%20(-2%2C1.445)--(3%2C1.445)%3B%0A%20%20%5Ccoordinate%20(P)%20at%20(-0.81649658%2C-1.445)%3B%0A%20%20%5Ccoordinate%20(-2P)%20at%20(1.63302%2C-1.445)%3B%0A%20%20%5Cfill%5Breset%20cm%5D%20(P)node%5Bbelow%5D%7B%24P%24%7D%20circle%20(2pt)%3B%0A%20%20%5Cfill%5Breset%20cm%5D%20(-2P)node%5Babove%20right%5D%7B%24-P-P%24%7D%20circle%20(2pt)%3B%0A%20%20%5Ccoordinate%20(-P)%20at%20(-0.81649658%2C1.445)%3B%0A%20%20%5Ccoordinate%20(2P)%20at%20(1.63302%2C1.445)%3B%0A%20%20%5Cfill%5Breset%20cm%5D%20(-P)node%5Babove%5D%7B%24-P%24%7D%20circle%20(2pt)%3B%0A%20%20%5Cfill%5Breset%20cm%5D%20(2P)node%5Bbelow%20right%5D%7B%24P%2BP%24%7D%20circle%20(2pt)%3B%0A%5Cend%7Btikzpicture%7D)
因此我们有一个子集
E(Q)⊂E
它在加法下是封闭的。
它在取逆下也是封闭的,因为
P=(x,y)∈Q×Q
⇒
−P=(x,−y)∈Q×Q
并且E(Q)包含单位元O,所以
命题 7.3 E(Q)⊂E是一个子群。
定义 7.3 若G存在一个有限集合S以及一个满同态
F(S)→G,
则称是有限生成的(finitely generated)。
解析此定义:设S={s1,…,sn}为有限集合,并且
ϕ:F(S)→G
是一个满同态。
ϕ将每个si映射到某个元素
gi=ϕ(si)
ϕ是满射的,意味着∀g∈G,∃一个字,使得
ϕ(w)=g
即g可以表示为gi和gi−1的有限乘积。
换句话说,存在一个有限集合
g1,…,gn∈G
使得G的任意元素都可以用gi及其逆元的乘积来表示。
例 7.2 任何有限群G都是有限生成的。取
并定义映射
F(S)g→G↦g.
例 7.3 任意循环群都是有限生成的。如果
G=⟨g⟩,
取S={g},
F(S)g→G↦g.
例 7.4 任意有限个有限生成群的积也是有限生成的
G=G1×⋯×Gn.
取Gi的生成集Si并定义S=S1∪⋯∪Sn。如果ϕi:F(Si)→Gi是满射∀i,定义
ϕ:F(S)ai→G↦(1,…,1,ϕi(ai),1,…,1)
关于椭圆曲线最重要的一个定理是:
定理 7.4 (Mordell's Theorem) E(Q)是有限生成的。
这一结果令人惊讶——存在一些有理点P1,…,Pn∈E(Q),使得任何其他有理点都可以通过这些Pi的加减法得到。