PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] additive inverse of a sum in a ring (Theorem)

Let $R$ be a ring with elements $a, b \in R$ . Suppose we want to find the inverse of the element $(a + b) \in R$ . (Note that we call the element $(a+b)$ the sum of $a$ and $b$ .) So we want the unique element $c \in R$ so that $(a + b) + c = 0$ . Actually, let's put $c = (-a) + (-b)$ where $(-a) \in R$ is the additive inverse of $a$ and $(-b) \in R$ is the additive inverse of $b$ . Because addition in the ring is both associative and commutative we see that \begin{eqnarray*} (a + b) + ((-a) + (-b)) & = & (a + (-a)) +(b + (-b))\\ & = & 0 + 0 = 0 \end{eqnarray*}since $(-a) \in R$ is the additive inverse of $a$ and $(-b) \in R$ is the additive inverse of $b$ . Since additive inverses are unique this means that the additive inverse of $(a + b)$ must be $(-a) + (-b)$ . We write this as$$ -(a + b) = (-a) + (-b).$$

It is important to note that we cannot just distribute the minus sign across the sum because this would imply that $-1 \in R$ which is not the case if our ring is not with unity.




"additive inverse of a sum in a ring" is owned by rspuzio. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: unity, imply, commutative, associative, addition, additive, sum, inverse, ring

This is version 8 of additive inverse of a sum in a ring, born on 2006-03-08, modified 2006-06-04.
Object id is 7703, canonical name is AdditiveInverseOfASumInARing.
Accessed 1774 times total.

Classification:
AMS MSC16B70 (Associative rings and algebras :: General and miscellaneous :: Applications of logic)

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)