2
$\begingroup$

If $R$ is a unital integral ring, then its characteristic is either $0$ or prime. If $R$ is a ring without unit, then the char of $R$ is defined to be the smallest positive integer $p$ s.t. $ pa = 0 $ for some nonzero element $a \in R$. I am not sure how to prove that the characteristic of an integral domain without a unit is still either $0$ or a prime $p$. I know that if $p$ is the char of $R$, then $px = 0 $ for all $x \in R$. If we assume $ p \neq 0 $ and $R$ has nonzero char, and $p$ factors into $nm$, then $ (nm) a = 0 $ , which means $ n (ma) = 0 $. Well $ma \neq 0$, because this would contradict the minimality of $p$ on $a$. But I don't know where to go from this point w/o invoking a unit.

Edit: I had left out the assumption that $R$ is assumed to be a integral domain. This has been corrected.

  • 0
    It is *false* that the characteristic of a unital ring is either $0$ or a prime. $\mathbb{Z}/n\mathbb{Z}$ has a natural structure of a unital ring for any $n\gt 1$, and its characteristic is $n$, which of course need not be a prime. The characteristic of an **integral domain** is either $0$ or a prime. Your definition of "characeristic" for nonunital rings is also, in my opinion, rather off; it should be "for all $a$", not "for some a"...2012-02-21

2 Answers 2