Class Field Theory
《Class Field Theory》 · 第 281 页 · Chapter 10，Section 10.5「The Weyl Dimension Formula」，Theorem 10.18
Theorem 10.18. If $(\pi_\Lambda, V)$ is the irreducible representation of $\mathfrak g$ with highest weight $\Lambda$, then the dimension of $V$ may be computed as $\dim(V) = \prod_{\alpha\in R^+} \frac{\langle\alpha, \Lambda+\delta\rangle}{\langle\alpha, \delta\rangle}$.