Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/iii/paper-1/6/ii/solution
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 1 6 ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
The drawn simple roots have , and . Their Cartan integers are therefore and , identifying a B2 root system. The corresponding root reflections act on coordinates byIn particular and , so both new positive roots are forced. Reflection in any root also forces its negative. ThusThese eight roots are drawn below, with the given simple pair highlighted.
For completeness, no further roots can occur. In a finite reduced root system, every root is a Weyl group translate of a simple root: reflect a nonsimple positive root in a simple root with positive inner product to decrease its height, and iterate. This standard simple-root descent may also be quoted here. The eight-vector set just listed is stable under both generating reflections, and the orbits of the two simple roots already fill it. Hence no simple-root orbit, and therefore no root, lies outside that set. This establishes both the necessity of every drawn root and exhaustion of the root system.
New to topics? Read the docs here!
