Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-167/3/i/solution

Let . Choose finitely many generators of and a finite-dimensional -submodule containing them, using local finiteness of the right regular action. Set . Right translation by preserves , so stabilizes . Conversely, if , every chosen generator has , and evaluation at the identity gives . Thus , and .
Put and take . The line
determines uniquely, so its stabilizer is the stabilizer of , namely .
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!