A Commutative Ring in which the product of any two nonzero elements is nonzero. This is the normal kind of behavior that you would get from a group like the Integers.