|
|
|
|
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)
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 MSC: | 16B70 (Associative rings and algebras :: General and miscellaneous :: Applications of logic) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|