Bài tập 22, § 1

Cho $A$ là một miền đóng nguyên và $K$ là trường phân thức của nó; chứng minh rằng đối với mọi mở rộng L của K tồn tại một miền con đóng nguyên B của L có trường phân thức là L và sao cho $B \cap K = A$ (xem L như một mở rộng đại số của một mở rộng siêu việt thuần túy $E = K(X_i)_{i \in I}$ của K và do đó rút gọn về trường hợp L là một mở rộng đại số của K, sử dụng Bài tập 11 (a)).