View Single Post
  #3  
Old July 3rd, 2009, 07:17 PM
Referos Referos is offline
Junior Member
 
Join Date: Jan 2009
Posts: 34
Country:
Thanks: 7
Thanked 9 Times in 9 Posts
Referos is on a distinguished road
Default

2) The inverse of a is -a. Assume that there exists another inverse element denoted as a^{-1} such that a^{-1}\neq-a

Now, by the definition of inverse element, we have:

a+a^{-1}=0

But from the third axiom, we have:

a+(-a)=0

Ergo:

a+a^{-1}=a+(-a)

a^{-1}=-a

Which contradicts our original assumption a^{-1}\neq-a, so the inverse element must be unique.
Reply With Quote