Hint for Section G.3 Question 1
1. We must check that the following properties hold.
For (Q,+):
- closure
- associativity
- commutativity
- identity
- inverse
For (Q-{0}, ·):
- closure
- associativity
- commutativity
- identity
- inverse
For all a,b,c in Q, a · (b + c) = a · b + a · c
Back to Section G.3
Full solution