Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 102 / 2 / c

We induct on the Coxeter length $\ell (w)$. There is nothing to prove when $\ell (w)=0$. Otherwise choose a simple root $\alpha$ such thatequivalently, $w\alpha$ is negative. Since $\lambda$ and $\mu =w\lambda$ lie in the Closed dominant Weyl chamber,Therefore $⟨\lambda ,{\alpha }^{\vee }⟩=0$, and the simple reflection $s_{\alpha }$ fixes $\lambda$. Moreover,The induction hypothesis writes $w{s}_{\alpha }$ as a product of simple reflections that fix $\lambda$. Multiplying on the right by $s_{\alpha }$ gives the required expression for $w$. This is the Weyl stabilizer of a dominant point lemma.

Solved by gpt-5.6-sol high.