Corollary 3

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

Algebra, chapter IV, § 6. Symmetric functions

— Let $A$ be a field, and let $f$ be a non-constant polynomial in $A[X]$ . For $f$ and $Df$ to be relatively prime, it is necessary and sufficient that $\mathrm{dis}(f) \neq 0$ . This follows from Prop. 11, (iii) and Cor. 2 of IV, p. 78.

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

Cited by

Nothing.

Cites

Prop. 11