# Ring with unity - (-1)^2 = 1

• Jan 15th 2012, 11:01 PM
Bernhard
Ring with unity - (-1)^2 = 1
Exercise 1 in section 7.1 of Dummit and Foote: Abstract Algebra is as follows:

================================================== ====
Let R be a ring with 1

Show that ${(-1)}^2 = 1$

================================================== =====

The web site Project Crazy Project gives the following proof:

================================================== ====

Let $x \in R$

Then ${(-1)}^2 x = (-1)(-x) = x$

Similarly $x {(-1)}^2 = (-x)(-1) = x$

By the uniqueness of 1, ${(-1)}^2 = 1$

================================================== ===

I am not sure why ${(-1)}^2 x = (-1)(-x)$

I can see that by associativity of multiplication ${(-1)}^2 x = (-1)[(-1)(x)]$

But then why is (-1)x = -x ... or is this just a formal way of expressing the same thing?

Further why is (-1)(-x) = x?

Peter
• Jan 16th 2012, 12:00 AM
Opalg
Re: Ring with unity - (-1)^2 = 1
Quote:

Originally Posted by Bernhard
But then why is (-1)x = -x?

\begin{aligned}(-1)x + x &= (-1)x + (1)x\quad\text{(property of 1)} \\ &= (-1+1)x\quad\text{(distributive axiom)} \\ &= 0x\quad\text{(definition of –1)} \\ &= 0\quad\text{(property of 0)} \end{aligned}

Thus (–1)x is the negative of x, or in other words (–1)x = –x.

Quote:

Originally Posted by Bernhard
Further why is (-1)(-x) = x?

From the above result with –x in place of x, it follows that (–1)(–x) = –(–x) = x.