Solution

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

Restrict the Coxeter matrix of to and let be the Coxeter group defined by that matrix. Sending its generators to the corresponding elements of gives a surjection . The Geometric representation of a Coxeter group for is the restriction of the geometric representation for to the span of the simple roots indexed by . Faithfulness of the geometric representation makes the map injective. Hence

New to topics? Read the docs here!