Maths WorkshopMaths problems with full solutions
Exercise 1879Algebra › Rings and fieldsM1Added 3 Nov 2026

Prime characteristic

#characteristic#prime#field

Statement

Show that the characteristic of an integral domain is either 00 or a prime.

Hint

Suppose char⁡(R)=n\operatorname{char}(R)=n composite, n=abn=ab with 1<a,b<n1<a,b<n. Then ab⋅1=0ab\cdot1=0 in RR, giving zero divisors.

Show solutionHide solution

Solution

Setup. The characteristic map k↦k⋅1Rk\mapsto k\cdot1_R is a ring homomorphism from Z\mathbb{Z} to RR, with kernel nZn\mathbb{Z}.

Integral domain. RR is an integral domain, so Z/nZ≅Im⁡\mathbb{Z}/n\mathbb{Z}\cong\operatorname{Im} is an integral domain. This forces nn to be prime or 00 (if n=abn=ab with a,b>1a,b>1, then aˉbˉ=0ˉ\bar a\bar b=\bar0 in Z/nZ\mathbb{Z}/n\mathbb{Z}, giving zero divisors in RR).

Conclusion. The characteristic of an integral domain is 00 or prime.