Corollary 1

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

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

— If $\mathbf{A}$ is a $\mathbf{Q}$ -algebra, then the canonical homomorphism of $S(M)$ into $TS(M)$ is an algebra isomorphism. If moreover $M$ is free, then it is an isomorphism of graded bigebras.

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

Cited by

Corollary 2, § 5
Remark, § 1

Cites

Nothing.