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?


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

  • $\begingroup$ Why is 0 the identity element? My book claims that ex = xe = x, where e = 0 $\endgroup$ – Hawk Sep 25 '12 at 6:25
  • $\begingroup$ @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? $\endgroup$ – 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.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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