The characteristic of an integral domain is 0 or prime
Let
Proof
Suppose that
has order 1 where π = π π‘ . Then 1 β€ π , π‘ β€ π 0 = π β 1 = ( π β 1 ) ( π‘ β 1 ) so either
or π = π . Thus π‘ = π is prime. π
Let
Proof
Suppose that
has order 1 where π = π π‘ . Then 1 β€ π , π‘ β€ π 0 = π β 1 = ( π β 1 ) ( π‘ β 1 ) so either
or π = π . Thus π‘ = π is prime. π