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.

Articles by others on the same topic (0)

There are currently no matching articles.