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. ∎
| Title | minus one times an element is the additive inverse in a ring |
|---|---|
| Canonical name | MinusOneTimesAnElementIsTheAdditiveInverseInARing |
| Date of creation | 2013-03-22 14:14:00 |
| Last modified on | 2013-03-22 14:14:00 |
| Owner | alozano (2414) |
| Last modified by | alozano (2414) |
| Numerical id | 9 |
| Author | alozano (2414) |
| Entry type | Theorem |
| Classification | msc 16-00 |
| Classification | msc 13-00 |
| Classification | msc 20-00 |
| Synonym | |
| Related topic | 0cdotA0 |