Example 6

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

Algebra, IV, p. 55, § 5. Symmetric tensors and polynomial mappings

Let $f \in \mathrm{Pol}_A^q(M, N)$ , let $B$ be a commutative ring, $\rho$ a homomorphism of $B$ into $A$ and $M'$ and $N'$ the $B$ -modules derived from $M$ and $N$ by means of $\rho$ . Assume that $M'$ is free; then $f \in \mathrm{Pol}_B^q(M', N')$ : this follows at once from condition (i) of Prop. 13.

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

Cited by

Nothing.

Cites

Prop. 13