Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/ib/paper-3/11e/c/solution

The multiplicative field norm on this ring is
If an element is a unit, its positive integer norm has a multiplicative inverse in the positive integers, hence is one. The only integer solutions of are . Therefore the units are exactly and .
The standard failure of unique factorization is
There is no element of norm two or three: gives norm at least five, while gives a square. An alleged nontrivial factorization of (norm four), (norm nine), or (norm six) would require a factor of norm two or three. Thus all four displayed factors are irreducible elements. No factor in the first factorization is associated to a factor in the second, since associates have the same norm and the norms are respectively four, nine and six. Hence is not a unique factorization domain.

New to topics? Read the docs here!