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. ring

Proof

Suppose that has order where . Then

so either or . Thus is prime.

---

tidy | en | sembr