Lemma 10.3. Assuming that:

$𝔭$ is a prime of good reduction
$𝔭 ∤ n$

Then reduction modulo

𝔭

gives an injective group homomorphism

E (K) [n] ↪ Ẽ (k_{𝔭}) .