# Why “characteristic zero” and not “infinite characteristic”?

The characteristic of a ring (with unity, say) is the smallest positive number $n$ such that $$\underbrace{1 + 1 + \cdots + 1}_{n \text{ times}} = 0,$$ provided such an $n$ exists. Otherwise, we define it to be $0$.

But why characteristic zero? Why do we not define it to be $\infty$ instead? Under this alternative definition, the characteristic of a ring is simply the “order” of the additive cyclic group generated by the unit element $1$.

My feeling is that there is a precise and convincing explanation for the common convention, but none comes to mind. I couldn't find the answer in the Wikipedia article either.

-
What happens if your field is so large it has a number larger than $1+1+1+\ldots$ infinitely many times? – Asaf Karagila Jan 12 '12 at 22:41
I've always thought Erdos numbers should follow the same convention. If you have never published with anyone with a finite Erdos number, then you have Erdos number $0$... – user1729 Jan 12 '12 at 22:47
@user1729: but then what Erdös number should Erdös have? – Grumpy Parsnip Jan 12 '12 at 23:05
@Jim: $\infty$? – Asaf Karagila Jan 12 '12 at 23:09
@JimConant: Paul Erdős would have an Erdős number of 2, since he's not collaborated with Erdős, but he has collaborated with someone who collaborated with Erdős. – Clive Newstead Jan 12 '12 at 23:41

There are two orderings of the set $\mathbb N = \{0,1,\dots\}$:

• magnitude $a \leq b$
• divisibility $a\mid b$ (i.e. $\exists c. b = a c$)

They are mostly compatible - usually when $a \mid b$, it holds $a \leq b$.

Some definitions are phrased using "greater than" ordering, while in fact the "divisibility" ordering is the real essence.

For example, the greatest common divisor of $a$ and $b$ might be defined as the greatest number which is a common divisor of both $a$ and $b$. Characteristic of a ring $R$ might be defined as smallest number $n>0$ which satisfies $n \cdot 1 = 0$.

Under such commonly taught definitions, it seems natural that $\operatorname{gcd}(0,0)=\infty$ and $\operatorname{char} \mathbb Z = \infty$.

However, those definitions implicitly rely on ideals, and are better phrased using divisibility order. The incompatibility is then more visible: $0$ is the largest element in divisibility order, while it is smallest in magnitude order. Magnitude has no largest element, and often $\infty$ is added to cover this case.

So let's formulate the definitions again, but this time using divisibility ordering.

• The greatest common divisor of two numbers $a,b$ is greatest number (in sense of $\mid$) that is a divisor of $a$ and $b$ (i.e. is smaller than $a$ and $b$ in divisibility ordering). This is prettier - $\operatorname{gcd}$ is now the $\wedge$ operator in lattice $(\mathbb N, \mid)$; it also forms a monoid, with $0$ as identity element. Additionally, the definition can be adapted to any ring.
• The characteristic of a ring $R$ is the smallest number $n$ (in sense of $\mid$) that satisfies $n \cdot 1 =0$. As a bonus, compared to previous definition, we can remove the $n>0$ restriction: zero is always a valid "annihilator" but it is often not the smallest one. Now we get $\operatorname{char} \mathbb Z = 0$.

Characteristic is a "multiplicative" notion, like gcd. If you have a homomorphism of rings $f: A \to B$, it must hold $\operatorname{char} B \mid \operatorname{char} A$. For example, you cannot map ${\mathbb Z}_2$ to ${\mathbb Z}_4$ - in a sense, ${\mathbb Z}_2$ is "smaller" than ${\mathbb Z}_4$. "Bigger" rings have "more divisible" characteristic, their characteristics are greater in the sense of divisibility. And the "most divisible" number is 0. Another example is $\operatorname{char} A \times B = \operatorname{lcm}(\operatorname{char} A, \operatorname{char} B)$.

In a bit more abstract language: given any ideal $I \subseteq \mathbb Z$, we associate to it the smallest nonnegative element, under the divisibility order. By properties of $\mathbb Z$, every other element of $I$ is a multiple of it. Let's call this number $\operatorname{min}(I)$.

We can now define $\operatorname{gcd}(a,b)=\operatorname{min} ((a) + (b))$, and $\operatorname{char} R = \min (\ker f)$, where $f \colon \mathbb Z \to R$ is the canonical map.

The definition of $\operatorname{min}(I)$ works for any PID, it does not require magnitude order. In any PID, $I = (\operatorname{min}(I))$.

(I dislike saying the ideal $\{0\}$ is "generated" by $0$; although this is true, it also generated by empty set. We do not say that $(2)$ is generated by $0$ and $2$.)

-
I am reminded of an answer I wrote many weeks back, trying to motivate the definition of gcd/lcm. But this answer makes the idea even clearer. :-) – Srivatsan Jan 14 '12 at 1:59

Given a ring $R$ there is a unique ring homomorphism $\varphi:\mathbb Z\to R$. The characteristic of $R$ is the (canonical, non-negative) generator of $\ker \varphi$.

-
@Pierre-YvesGaillard, Wikipedia uses non-negative, but I'm not religious about it. – lhf Jan 12 '12 at 22:48
@Pierre-YvesGaillard, anyway, English is not my first language so don't follow me... – lhf Jan 12 '12 at 22:52
It's not mine either. It's easier to guess from my user name than from yours... – Pierre-Yves Gaillard Jan 12 '12 at 22:55
also (though this is probably obvious) note that we know $ker(\varphi)$ is always a principle ideal since $\mathbb{Z}$ is a PID so we can always find said generator. – Deven Ware Jan 12 '12 at 22:56
The important thing is that the characteristic is actually an ideal of $\mathbb Z$. That we pick a representative generator to "name it" isn't really relevant. – Thomas Andrews Jan 13 '12 at 14:53
1. Consider the following statement:

Let $n\geq 0$. The characteristic of $R$ is $n$ if and only if $ka=0$ for all $a\in R$ implies $n|k$.

The statement holds for positive characteristic, but it also holds for characteristic $0$, since $0$ is the only multiple of $0$. This would not hold for any ring if we defined the characteristic to be $\infty$. This definition also makes sense for rings without $1$.

2. For rings with unity, the definitions follows as indicated by lhf: the characteristic of $R$ is the nonnegative generator of the kernel of the canonical map from $\mathbb{Z}$ to $R$.

-
I think you need an "iff" in the latter half of your definition; as it is, this says that $\Bbb Z_4$ has characteristic $2$ (and also char $4$). – Mario Carneiro Mar 17 '15 at 3:55

Recall that an R-algebra is a ring A containing a central image of the ring R. This image is $\,\cong$ R/I so it is characterized by the kernel I. For example, if R = $\mathbb Z$ then an R-algebra is simply a ring A, and the kernel $\rm\ I = (n)\$ characterizes the canonical image of $\mathbb Z$ in A, via $\rm 1\mapsto 1_A.\,$ Therefore we say that A has characteristic n because n characterizes the canonical image of $\:\mathbb Z\:$ in A.

Remark $\$ For more general notions of "characteristic rings" see below - excerpted here.

W.D. Burgess; P.N. Stewart. The characteristic ring and the "best" way to adjoin a one.
J. Austral. Math. Soc. 47 (1989) 483-496. $\ \$

-

Not only does adding 1 infinitely times in a field not make sense, but also if adding 1 a positive number of times never yields zero, then certainly adding it zero times yields zero, thus it only seems natural to refer to such a field as "characteristic zero".

-