Solution

ID: past-exam-of-the-rings-and-modules-course-of-the-university-of-oxford/2023/1/b/i/solution

Since the irreducible element is not a unit, the principal ideal is proper. Suppose . As is a principal ideal domain, write . Then for some . The definition of an irreducible element says that or is a unit.
If is a unit, then . If is a unit, then and are associate elements, so . Thus is a maximal ideal. By the permitted criterion that a quotient ring by a maximal ideal is a field,

New to topics? Read the docs here!