Characteristic of an integral domain

ID: characteristic-of-an-integral-domain

The positive characteristic of a ring which is an integral domain is a prime number. The characteristic cannot be one because . If its least positive value were with , minimality would make and nonzero, while would give zero divisors.
The analogous result holds for a nonzero commutative nonunital ring without zero divisors, using the characteristic of a rng. If were composite and minimal, choose with . For every , , so cancellation forces for every , contradicting minimality of .

New to topics? Read the docs here!