Remark

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

Algebra, V, p. 17, § 3. Algebraic extensions

Let $E$ be an extension of a field $K$ and $x$ an element of $E$ which is root of a monic irreducible polynomial $f \in K[X]$ . Th. 1, c) then shows that $f$ is the minimal polynomial of $x$ over $K$ .

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

Cited by

Nothing.

Cites

Th. 1