Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 302 / 3 / a / Solution

A Cartan subalgebra $\mathfrak{h}$ of a complex semisimple Lie algebra is a maximal commuting subalgebra consisting of semisimple elements. A nonzero functional $\alpha \in {\mathfrak{h}}^{\ast }$ is a root when its space in the root-space decompositionis nonzero. A Cartan-Weyl basis combines a basis of $\mathfrak{h}$ with root vectors $E_{\alpha }\in {\mathfrak{g}}_{\alpha }$.

A choice of regular hyperplane divides roots into positive and negative roots. The simple roots are the positive roots that are not sums of two positive roots; they form a basis of the real root span. The Cartan matrix isup to the equivalent transposed indexing convention.