Solution

ID: past-exam-of-the-algebra-2-course-of-the-university-of-oxford/2015/1/a/ii/solution

Suppose is an integral domain and . If , then , so and .
Otherwise membership in the equal principal ideals supplies with and . Substituting gives , or . There are no nonzero zero divisors in an integral domain, and , so . Hence is a unit with inverse , and makes and associate elements. We have proved

New to topics? Read the docs here!