I am trying to prove the following property for a ring $R$
$$a\cdot(-b)=(-a)\cdot b=-(a\cdot b)$$
where $a,b\in R$ and let $-x$ denote the additive inverse of $x\in R$. By definition, we know that such an inverse exists for all ring's elements. Also let $1$ be the multiplicative identity which does not necessarily exists in $R$. Thus, I cannot figure out a rigorous proof for the above result.
[Math] Basic additive inverse property for rings
abelian-groupsabstract-algebragroup-theoryring-theory
Related Question
- [Math] In a field why does the multiplicative identity have an additive inverse, whereas the additive identity doesn’t have a multiplicative inverse
- [Math] Cartesian product of two rings forms a new ring
- Does the cancellation property for a group mean something different than the cancellation property for an integral domain
Best Answer
We have $$ a\cdot b + a\cdot (-b) = a\cdot (b + (-b)) = a\cdot 0 = 0 $$ so we see that $a\cdot (-b)$ fulfills the defining property of $-(a\cdot b)$. Since the addition in a ring gives a group, we know that additive inverses are unique, so we must have $a\cdot (-b) = -(a\cdot b)$. A very similar proof shows that $(-a)\cdot b = -(a\cdot b)$.