Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 137 3 c Solution 2026-09-28
If , the order of cannot decrease: its decrease would have a factor dividing both and . Thus all overlattices are counted.
If , the element is a nonzero point of order in . Exactly one of the overlattices contains it; in that overlattice the image of has order , while in every other one it retains order . ThereforeThis is the Prime-index overlattices preserving a Gamma 1 level structure count.