Remark 1

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

Algebra, V, p. 23, § 4. Algebraically closed extensions

If $\Omega$ is algebraic over $K$ and if every non-constant polynomial of $K[X]$ has a root in $\Omega$ then $\Omega$ is an algebraic closure of $K$ (V, p. 156, Ex. 20).

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

Cited by

Nothing.

Cites

V, p. 156