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: High Entry average rating: Very high
[parent] minus one times an element is the additive inverse in a ring (Theorem)
Lemma 1   Let $R$ be a ring (with unity $1$ ) and let $a$ be an element of $R$ . Then $$(-1)\cdot a = -a$$ where $-1$ is the additive inverse of $1$ and $-a$ is the additive inverse of $a$ .
Proof. Note that for any $a$ in $R$ there exists a unique ``$-a$ '' by the uniqueness of additive inverse in a ring. We check that $(-1)\cdot a$ equals the additive inverse of $a$ . \begin{eqnarray*} a+(-1)\cdot a &=& 1\cdot a + (-1)\cdot a, \quad \text{ by the definition of }1\\ &=& (1+ (-1))\cdot a, \quad \text{ by the distributive law}\\ &=& 0\cdot a,\quad \text{ by the definition of }-1\\ &=& 0, \quad \text{ as a result of the properties of zero} \end{eqnarray*}Hence $(-1)\cdot a$ is ``an'' additive inverse for $a$ , and by uniqueness $(-1)\cdot a = -a$ , the additive inverse of $a$ . Analogously, we can prove that $a\cdot (-1) = -a$ as well. $ \qedsymbol$




"minus one times an element is the additive inverse in a ring" is owned by alozano.
(view preamble | get metadata)

View style:

See Also: zero times an element is zero in a ring

Other names:  $(-1)\cdot a= -a$

This object's parent.

Attachments:
law of signs under multiplication in a ring (Derivation) by alozano
Log in to rate this entry.
(view current ratings)

Cross-references: uniqueness of additive inverse in a ring, inverse, additive, unity, ring
There is 1 reference to this entry.

This is version 6 of minus one times an element is the additive inverse in a ring, born on 2004-03-09, modified 2005-11-24.
Object id is 5674, canonical name is 1cdotAA.
Accessed 4698 times total.

Classification:
AMS MSC13-00 (Commutative rings and algebras :: General reference works )
 16-00 (Associative rings and algebras :: General reference works )
 20-00 (Group theory and generalizations :: General reference works )

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

No messages.

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