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.

I answered a question about whether zero is prime or composite on Khan Academy a while ago. Since then, two people have commented on my answer, asking another question that I don't know the answer to.

Are there zero divisors (numbers such that, when multiplied by some nonzero number, the product is zero) other than zero? If so, what are they? Wouldn't that go against the Zero Product Property, which states that if you take two numbers, $n$ and $m$, and multiply them together to get zero, then either $n$ or $m$ is equal to zero? I.e. if $nm=0$, then either $n=0$ and $m=0$.

share|improve this question
1  
Depends where: in $\mathbb{Z}/6\mathbb{Z}$ take $n=2,m=3$ –  Z Z Mar 25 at 13:11
    
it depends on your ring. in Z, nm=0 means n=0 or m=0. –  11156 Mar 25 at 13:11
    
@JulienGodawatta What exactly is $Z/6Z$? –  The Guy with The Hat Mar 25 at 13:18
    
$\mathbb{Z} / 6\mathbb{Z}$ is the multiplicative group of integers modulo $6$. Read here for reference: en.wikipedia.org/wiki/Multiplicative_group_of_integers_modulo_n –  Lee Yiyuan Mar 25 at 13:30
    
@YiyuanLee: It is not a group but merely a monoid (there are no zero divisors in a group since they do not have an inverse). The group $(ℤ/6ℤ)^*$ exists, but it does not contain the elements 2 and 3. –  Ansgar Esztermann Mar 25 at 13:58

2 Answers 2

up vote 4 down vote accepted

In fields (e.g., $\mathbb{Q}$,$\mathbb{R}$,$\mathbb{C}$) and integral domains (e.g. $\mathbb{Z},\mathbb{Z}[x]$), no such pair of "numbers" $n,m$ can exist.

For fields, this follows from the invertibility of multiplication. If $nm = 0$ but $n \neq 0$, then $m = n^{-1}0 = 0$, and vice versa.

For integral domains, this is an axiom - and it's precisely what differentiates integral domains from rings.

In arbitrary rings, such numbers can exists. E.g., in the ring $\mathbb{Z_4} = \{0,1,2,3\}$ you have $2\cdot 2 = 4 = 0$.

share|improve this answer
    
Better to use integral domain (domain of integrity is very old-fashioned and little-used nowadays). –  Bill Dubuque Mar 25 at 15:29
    
@BillDubuque Fixed. I keep making that mistake - probably because the german word is "Integritätsbereich", which literally translates to "integrity domain". Oh well... –  fgp Mar 25 at 15:32
    
@fgp: Is it really valid to say 4 = 0 directly? Is there not something more to it. –  Nick Mar 25 at 15:33
1  
See also this question on the etymology of "integral domain". –  Bill Dubuque Mar 25 at 15:36
3  
@Nick It's absolutely valid, and there's really nothing more to it; in $\mathbb{Z}_/4\mathbb{Z}$, $4$ and $0$ are different names for the same element. –  Steven Stadnicki Mar 25 at 15:36

That depends on what you mean by a "number". Are we talking about real numbers? Complex numbers? Split-complex? Quaternions? Octonions? Arbitrary rings?

Certainly, if we state that $n$ and $m$ are real numbers, then this statement must hold.

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.