Bourbaki

Exercise 5, § 2

Commutative Algebra, VI

Let KK be a field, ff a place of KK with values in a maximal ordered field LL.**

a) For every α∈K\alpha \in K, now prove that there exists an extension of ff, either to K(α)K(\sqrt{\alpha}), or to K(−α)K(\sqrt{-\alpha}), which is a place with values in LL. (Consider two cases, according as there exists a∈Ka \in K such that f(a2α)f(a^2 \alpha) is neither 00 nor ∞\infty, or as f(x2α)f(x^2 \alpha) is equal to 00 or to ∞\infty for every x∈Kx \in K).

b) Deduce from a) that there exists an extension EE of KK which is a maximal ordered field and an extension of ff to EE which is a place of EE with values in LL. (Reduce to the case where KK is euclidean and use Exercise 4 a)).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.