Exercise 5, § 2
Commutative Algebra, VI
Let be a field, a place of with values in a maximal ordered field .**
a) For every , now prove that there exists an extension of , either to , or to , which is a place with values in . (Consider two cases, according as there exists such that is neither nor , or as is equal to or to for every ).
b) Deduce from a) that there exists an extension of which is a maximal ordered field and an extension of to which is a place of with values in . (Reduce to the case where is euclidean and use Exercise 4 a)).
Solution
No solution has been written yet.