Remark 2

Tag 0AXV, permanent. Cite it as [Bourbaki, Tag 0AXV].

Lie Groups and Lie Algebras, chapter VI, § 3. Exponential invariants

Lemma 2 of no. 2 shows that the unique maximal term of the quotient $J(e^p)/d$ (for $p \in P \cap C$ ) is $e^{p-\rho}$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by