Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

share|improve this question
5  
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
2  
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
2  
@user1729: but then what Erdös number should Erdös have? –  Grumpy Parsnip Jan 12 '12 at 23:05
1  
@Jim: $\infty$? –  Asaf Karagila Jan 12 '12 at 23:09
35  
@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

5 Answers 5

up vote 29 down vote accepted

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$.)

share|improve this answer
    
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$.

share|improve this answer
1  
@Pierre-YvesGaillard, Wikipedia uses non-negative, but I'm not religious about it. –  lhf Jan 12 '12 at 22:48
5  
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
1  
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
1  
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  
I have a slight preference for "non-negative" rather than "nonnegative", but certainly both are used. –  Michael Hardy Jan 30 '12 at 4:38
  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$.

share|improve this answer

Recall that an R-algebra is any ring containing a central image of the ring R. Such images R/I are characterized by their kernel I. In particular, when 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.

share|improve this answer

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

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.