Exercise 5, § 2
Commutative Algebra, VI, 446
Bourbaki marks this one as harder than the rest.
Let K be a field and f a place of K with values in a maximal ordered field L.
(a) For all show that there exists an extension off, either to or to , which is a place with values in L. (Consider two cases according to whether there exists such that is neither 0 nor or is equal to 0 or for all .)
(b) Deduce from (a) that there exist an extension E of K which is a maximal ordered field and an extension off to E which is a place of E with values in L. (Reduce it to the case where K is Euclidean and use Exercise 4 (a).)
Solution
No solution has been written yet.