Cryptography Reference
In-Depth Information
S = aT 1 + bT 2 for some integers a, b . Therefore,
e n ( S, dT 2 )= e n ( T 1 ,dT 2 ) a e n ( T 2 ,dT 2 ) b =1 .
Since this holds for all S , (2) implies that dT 2 = .Since dT 2 = if and
only if n|d , it follows that ζ is a primitive n th root of unity.
COROLLARY 3.11
If E [ n ] ⊆ E ( K ) ,then μ n ⊂ K .
R EM ARK 3.12 Recall that points in E [ n ] are allowed to have coordinates
in K . The hypothesis of the corollary is that these points all have coordinates
in K .
PROOF Let σ be any automorphism of K such that σ is the identity on
K .Let T 1 ,T 2 be a basis of E [ n ]. Since T 1 ,T 2 are assumed to have coordinates
in K ,wehave σT 1 = T 1 and σT 2 = T 2 .By(5),
ζ = e n ( T 1 ,T 2 )= e n ( σT 1 ,σT 2 )= σ ( e n ( T 1 ,T 2 )) = σ ( ζ ) .
The fundamental theorem of Galois theory says that if an element x
K is
fixed by all such automorphisms σ ,then x
K .Since ζ
is a primitive n th root of unity by Corollary 3.10, it follows that μ n
K . Therefore, ζ
K .
( Technical point: The fundamental theorem of Galois theory only implies
that ζ lies in a purely inseparable extension of K .Butan n th root of unity
generates a separable extension of K when the characteristic does not divide
n , so we conclude that ζ ∈ K .)
COROLLARY 3.13
Let E be an elliptic curve defined over Q .Then E [ n ]
E ( Q ) for n
3 .
PROOF
If E [ n ]
E ( Q ), then μ n
Q , which is not the case when n
3.
REMARK 3.14 When n =2,itispossibletohave E [2] ⊆ E ( Q ). For
example, if E is given by y 2 = x ( x − 1)( x + 1), then
E [2] = {∞, (0 , 0) , (1 , 0) , ( 1 , 0) }.
If n =3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 12, there are elliptic curves E defined over Q that
have points of order n with rational coordinates. However, the corollary says
that it is not possible for all points of order n to have rational coordinates for
these n . The torsion subgroups of elliptic curves over Q will be discussed in
Chapter 8.
 
Search WWH ::




Custom Search