Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ib/paper-3/1e/ii/solution

Use the standard convention that an integral domain has . Since , the sign of a nonzero makes no difference. For prime, every nonzero residue has an inverse by Bézout's identity, so the quotient ring is a field and hence an integral domain. If is composite with , the nonzero classes of and multiply to zero, giving zero divisors. For , the quotient is the zero ring, excluded by the convention above. Finally, gives , an integral domain. Thus
If a convention restricts this notation to positive moduli, the answer is simply the positive primes.

New to topics? Read the docs here!