 Solution

Let $\mathfrak{g}$ be a complex semisimple Lie algebra, choose a Cartan subalgebra and positive root system $R^{+}$, and put $\rho =\frac{1}{2}{\sum }_{\alpha \in R^{+}}\alpha$. For a dominant integral weight $\lambda$, let $L(\lambda )$ be the finite-dimensional highest-weight representation with highest weight $\lambda$. The Weyl dimension formula isHere ${\alpha }^{\vee }=2\alpha /(\alpha ,\alpha )$ is the coroot, the pairing is between a weight and a coroot, and $\rho$ is the Weyl vector. The inner product can be any Weyl group invariant normalization on each simple factor: its scaling cancels from the ratios. The dominance condition means that $⟨\lambda ,{\alpha }_i^{\vee }⟩$ is a nonnegative integer for each simple root.