minus one times an element is the additive inverse in a ring
Lemma 1.
Let be a ring (with unity ) and let be an element of . Then
where is the additive inverse of and is the additive inverse of .
Proof.
Note that for any in there exists a unique “” by the uniqueness of additive inverse in a ring. We check that equals the additive inverse of .
Hence is “an” additive inverse for , and by uniqueness , the additive inverse of . Analogously, we can prove that as well.∎