Exercise statement
Prove the remaining identities in Proposition 4.1.6.
Proposition 4.1.6 (Laws of algebra for integers). Let be integers. Then we have
Hints
- One can save some work by using some identities to prove others. For instance, once you know that , you get for free that , and once you also prove , you automatically get for free.
How to think about the exercise
This is the sort of exercise where, even if you know exactly what you are doing, you might slip up and make a mistake shuffling symbols around. I would say to not worry about making small errors like that, as long as you can get most of them right. I checked my work a couple of times, but it’s possible that I’ve made such errors below.
Model solution
Write , , and .
First we show that . We have and , where the last equality follows from the commutativity of addition on the natural numbers. Thus one sees that .
Next we show that . We have
Thus we see that .
Next we show that . We showed the commutativity of addition above, so . So we just need to show . We have .
Next we show . By commutativity of addition, we have . So we just need to show that . We have
But since .
Next we show that . We have and
Thus the two sides are equal, and we have .
The associativity of multiplication, , was already shown in the book.
Next we show that . We have by the commutativity of multiplication, which was shown above. Thus we can just show . We have .
Next we show . We have
The two sides are equal, so .
Finally, we show that . We have by the commutativity of multiplication, the distributive law, and commutativity again, all of which were shown earlier in the proof.
2 thoughts on “Exercise 4.1.4”