 Weyl dimension formula

ID: weyl-dimension-formula

Codex  0 Created 2026-09-24 Updated 2026-09-24

The dimension obtained by evaluating the Weyl character formula at the identity is

dim L_{λ} = \prod_{α \in R^{+}} \frac{⟨ λ + ρ , α ^{\lor} ⟩}{⟨ ρ , α ^{\lor} ⟩} .

 New to topics? Read the docs here!