7.1, Due March 7th 2016

1) In theorem 7.2, why didn't they just say R is a group under multiplication?  Why did they create an equivalent set called U?
2) It's cool that every ring is an abelian group under addition.  Until I read the proof, I didn't fully believe it.