Remark 2

Tag 01L6, permanent. Cite it as [Bourbaki, Tag 01L6].

Lie Groups and Lie Algebras, chapter VIII, § 8. Symmetric invariants

The algebra $\mathbf{S}(\mathfrak{a}^*)$ is a graded free module over I. Indeed, this follows from Prop. 4, Remark 1, and Chap. V, §5, no. 5, Lemma 5.\*

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Exercise 14, § 8
Exercise 7, § 8

Cites

Chap. V, §5, no. 5, Lemma 5 not in this corpus
Remark 1
Prop. 4