Proposition 17

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

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

— *Let M be a free A-module and B an associative, commutative and unital A-algebra. Then $\mathrm{Pol}_A(M, B)$ is a sub-B-algebra of the algebra $\mathrm{Map}(M, B)$ .

This follows from Def. 4 and Prop. 13, (iv) (IV, p. 54).

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

Cited by

Nothing.

Cites

Def. 4
Prop. 13, (iv) (IV, p. 54