Exercise 1, § 9

Tag 0165, permanent. Cite it as [Bourbaki, Tag 0165].

Lie Groups and Lie Algebras, VIII, 253

If $m$ is an integer $\geq 0$ , we have dim $E(m\rho ) = (m+ 1)^N$ , where N = Card(R $_+$ ).