Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ib/paper-2/2g/b/solution

Let be an ideal of and contract it to
This is an ideal of , so because is a principal ideal domain. Every is a unit in a ring . Consequently, if , then , so and . Conversely , hence every multiple of it belongs to . Thus
so every ideal of is principal. The localization remains an integral domain; hence is a principal ideal domain.

New to topics? Read the docs here!