Exercise 2, § 2
Commutative Algebra, VI, 444
Let be two extensions of a field and and places respectively of and with values in the same algebraically closed field . Suppose that the restrictions of and to coincide. Show that there exist a composite extension of and (Algebra, Chapter VIII, § 8) and a place of with values in such that for and for . (Let be the rings of and , their common intersection with and the homomorphism such that for , . Using the fact that and are flat -modules (, no. 5, Lemma 1), prove that, if , , is not a divisor of zero; if is the multiplicative subset of consisting of these elements,
S^{-1}B contains subfields K_1, K'_1 respectively isomorphic to K and K' and is the ring generated by K_1 \cup K'_1. Show that, if q is the kernel of h, there exists a prime ideal p in B such that p \subset q and p \cap S = \varnothing and show that F may be taken as the field of fractions of S^{-1}B/S^{-1}p.)
Solution
No solution has been written yet.