1.2. LA LOI DE GROUPE 5
1.2 La loi de groupe
1.2.1 Points rationnels
Dans cette partie, on consid`ere une courbe elliptique Ed´efinie sur kpar :
E:y2+a1xy +a3y=x3+a2x2+a4x+a6
D´efinition 3 L’ensemble des points k-rationnels de E, not´e E(k)est :
E(k) = {(x, y)∈k2|y2+a1xy +a3y=x3+a2x2+a4x+a6} ∪ {O}
Le point Oest appel´e “point `a l’infini”.
Remarques :
1- Par convention le point `a l’infini Oest d´efini sur ket sur toute extension de k.
Ainsi, si K/k est une extension du corps k,Epeut aussi ˆetre consid´er´ee comme une
courbe elliptique d´efinie sur Ket Oest encore le point `a l’infini de E/K. On a :
E(K) = {(x, y)∈K2|y2+a1xy +a3y=x3+a2x2+a4x+a6} ∪ {O}
de mˆeme :
E(k) = {(x, y)∈k2|y2+a1xy +a3y=x3+a2x2+a4x+a6} ∪ {O}
Si k⊂L⊂k, il vient alors E(k)⊂E(L)⊂E(k).
2- Si Eest d´efinie sur Fqet si n∈N∗alors le groupe de galois Gal(Fqn/Fq)≃Z/nZ,
engendr´e par l’automorphisme de Frobenius σq, agit sur E(Fqn) par :
σq.(x, y) = (xq, yq)∈E(Fqn)
σq.O=O ∈ E(Fqn)
On a la propri´et´e fondamentale suivante :
E(Fq) = {P∈E(Fqn)|σq(P) = P}
Exemples :
1- E:y2=x3−x,k=F3. On a :
E(F3) = {O,(0,0),(2,0),(1,0)}
On consid`ere F9=F3[θ] o`u θ2=−1. On a :
E(F9) = {O,(0,0),(2,0),(1,0),(θ, θ + 2),(θ, 2θ+ 1),(θ+ 1, θ + 2),
(θ+ 2, θ + 2),(θ+ 2,2θ+ 1),(2θ, θ + 1),(2θ, 2θ+ 2),(2θ+ 1, θ + 1),
(2θ+ 1,2θ+ 2),(2θ+ 2, θ + 1),(2θ+ 2,2θ+ 2),(θ+ 1,2θ+ 1)}
2- E:y2=x3−x,k=R. La figure (1.2) repr´esente E(R).