Mathwords logoMathwords

Characteristic of a Field — Definition, Formula & Examples

The characteristic of a field is the smallest positive integer nn such that adding the multiplicative identity 11 to itself nn times gives 00. If no such integer exists, the characteristic is defined to be 00.

Let FF be a field with multiplicative identity 1F1_F. The characteristic of FF, denoted char⁡(F)\operatorname{char}(F), is the order of 1F1_F in the additive group (F,+)(F, +) if that order is finite, and 00 if 1F1_F has infinite additive order. The characteristic of a field is always either 00 or a prime number.

Key Formula

char⁡(F)=min⁡{ n∈Z+∣1F+1F+⋯+1F⏟n=0F }\operatorname{char}(F) = \min\{\, n \in \mathbb{Z}^+ \mid \underbrace{1_F + 1_F + \cdots + 1_F}_{n} = 0_F \,\}
Where:
  • FF = A field
  • 1F1_F = The multiplicative identity of $F$
  • 0F0_F = The additive identity of $F$
  • nn = The smallest positive integer giving $0_F$; if none exists, $\operatorname{char}(F) = 0$

How It Works

To find the characteristic of a field, start adding 1F1_F to itself: 1,1+1,1+1+1,…1, 1+1, 1+1+1, \ldots and check whether you ever reach 00. If 1+1+⋯+1⏟n=0\underbrace{1+1+\cdots+1}_{n} = 0 for some positive integer nn, the smallest such nn is the characteristic. A key theorem states that this smallest nn must be prime — if it were composite, say n=abn = ab, then the field would have zero divisors, contradicting the definition of a field. Fields like Q\mathbb{Q}, R\mathbb{R}, and C\mathbb{C} have characteristic 00 because no finite sum of 11's equals 00. Finite fields like Z/pZ\mathbb{Z}/p\mathbb{Z} have characteristic pp.

Worked Example

Problem: Find the characteristic of the field Z/5Z={0,1,2,3,4}\mathbb{Z}/5\mathbb{Z} = \{0,1,2,3,4\} with arithmetic modulo 5.
Step 1: Compute successive sums of 11 in Z/5Z\mathbb{Z}/5\mathbb{Z}.
1,  1+1=2,  1+1+1=3,  1+1+1+1=41,\; 1+1=2,\; 1+1+1=3,\; 1+1+1+1=4
Step 2: Add 11 one more time and reduce modulo 5.
1+1+1+1+1=5≡0(mod5)1+1+1+1+1 = 5 \equiv 0 \pmod{5}
Step 3: Since n=5n=5 is the smallest positive integer for which the sum equals 00, and 55 is prime, this is consistent with the theorem.
char⁡(Z/5Z)=5\operatorname{char}(\mathbb{Z}/5\mathbb{Z}) = 5
Answer: The characteristic of Z/5Z\mathbb{Z}/5\mathbb{Z} is 55.

Why It Matters

The characteristic determines fundamental structural properties of a field, such as which prime field (Q\mathbb{Q} or Z/pZ\mathbb{Z}/p\mathbb{Z}) it contains as a subfield. It is essential in Galois theory, coding theory, and algebraic geometry, where arguments often split into the characteristic-zero and positive-characteristic cases.

Common Mistakes

Mistake: Assuming the characteristic can be any positive integer, such as a composite number like 6.
Correction: The characteristic of a field is always 00 or a prime. If it were composite (n=abn = ab with 1<a,b<n1 < a, b < n), then (a⋅1F)(b⋅1F)=0F(a \cdot 1_F)(b \cdot 1_F) = 0_F with neither factor zero, contradicting the fact that fields have no zero divisors.