Remark 2
Tag 06AT, permanent. Cite it as [Bourbaki, Tag 06AT].
Algebra, IV, p. 15, § 2. Zeros of polynomials
Let be a commutative ring containing as subring. Let be non-zero and . The order of relative to is the same, whether we consider as element of or as element of . This is clear from condition (ii) of Prop. 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.