Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-137/3/c/solution

Index- overlattices correspond to order- subgroups of , hence to the lines in that vector space.
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 . Therefore
This is the Prime-index overlattices preserving a Gamma 1 level structure count.

New to topics? Read the docs here!