Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-125/2/b/i/solution

For good reduction at , the reduction of an elliptic curve gives a map
whose kernel is its formal group of an elliptic curve, and the torsion in that kernel is -primary. Hence the prime-to- part of any torsion subgroup injects into .
At , the odd part of must divide , so it is trivial. The torsion group is therefore a -group. At , all of this group has order prime to and injects into a group of order , so it too is trivial. Thus

New to topics? Read the docs here!