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. ThusIf a convention restricts this notation to positive moduli, the answer is simply the positive primes.
Articles by others on the same topic
There are currently no matching articles.