Reduction of torsion points on an elliptic curve
= Reduction of torsion points on an elliptic curve
At a prime of good reduction with residue characteristic $p$, reduction is injective on the prime-to-$p$ torsion of an elliptic curve. Comparing reductions at two good primes therefore bounds rational torsion by finite point counts.