Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-111/1/c/solution

Use the positive-root criterion for Coxeter length: for a simple root ,
The hypothesis therefore says that every simple generator is a right ascent of . If , a reduced expression in a Coxeter group for has a final simple generator , and deleting it gives
a contradiction. Hence .
If stabilizes setwise, then , so the result just proved gives . Thus the stabilizer of every fundamental system is trivial.
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!