Integral domain

The characteristic of an integral domain is 0 or prime

Let be an integral domain. Then its characteristic is either 0 or prime. #m/thm/ring

Proof

Suppose that has order where . Then

so either or . Thus is prime.

#state/tidy | #lang/en | #SemBr