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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

PLease keep this to an intro abstract algebra level.

My book sayas that the set of all nonnegative integers (including 0) under addition is not a group because there is an identity element 0, but no inverse for 2

I don't understand what that part means.

Is it saying $2 + 0 \neq 0 + 2$?

Also for the natural numbers, why is there no identity element?

share|cite|improve this question
up vote 3 down vote accepted

it is saying there is no nonnegative integer to add to 2 that gives 0

for the natural numbers there is no identity element because they are using a definition of natural numbers that doesn't include zero

share|cite|improve this answer
Why is 0 the identity element? My book claims that ex = xe = x, where e = 0 – Hawk Sep 25 '12 at 6:25
@jak The * symbol indicates whatever operation is being considered. Since we are talking about the set of all nonnegative integers under addition, then * denotes addition in this context. Now do you see why 0 is the identity element? – Ted Sep 25 '12 at 6:41

$0$ is an identity element because $n+0=0+n=n$ holds for all $n\in\mathbb N_0$. On the other hand, if $2$ had an inverse $x$, then we would have $2+x=x+2=0$. But there is (provably) no $x\in \mathbb N_0$ with this property.

share|cite|improve this answer

Your Answer


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.