Remark

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

Algebra, chapter VI, § 2. Ordered fields

There exist irreducible polynomials $f$ over an ordered field $K$ which do not change sign in $K$ , but such that $K[X]/(f)$ admits the structure of an ordered extension of $K$ (cf. VI, p. 43, Ex. 26, c)).

In order to apply the previous proposition we will need the following result:

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

Cited by

Nothing.

Cites

VI, p. 43