Exercise 1 in section 7.1 of Dummit and Foote: Abstract Algebra is as follows:
================================================== ====
Let R be a ring with 1
Show that
================================================== =====
The web site Project Crazy Project gives the following proof:
================================================== ====
Let
Then
Similarly
By the uniqueness of 1,
================================================== ===
I am not sure why
I can see that by associativity of multiplication
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