Bài tập 4, § 2

Cho $A$ là một miền Dedekind và $K$ là trường các phân thức của nó. Nếu $L$ là một trường con của $K$ sao cho $A$ là nguyên trên $A \cap L$, thì $A \cap L$ là một miền Dedekind (trước hết chứng minh rằng $A \cap L$ là một miền Krull rồi chứng minh rằng mọi iđêan nguyên tố của $A \cap L$ đều là cực đại, sử dụng Chương V, § 2, no. 1, Định lý 1).