Remark 1

Tag 06DV, permanent. Cite it as [Bourbaki, Tag 06DV].

Algebra, chapter IV, § 5. Symmetric tensors and polynomial mappings

— In the same way we see that if $M$ is a finitely generated free $A$ -module, then the graded algebra $S(M)^{*gr}$ defined in III, p. 593, may be identified with $TS(M^*)$ .

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

Cited by

§ 12. Chevalley orders

Cites

III, p. 593