Hint for Section G.3 Question 2
2. We must check that the following properties hold, where + is
addition modulo p and · is multiplication modulo p.
For (Zp,+):
- closure
- associativity
- commutativity
- identity
- inverse
For (Zp-{0}, ·):
- closure
- associativity
- commutativity
- identity
- inverse
This was done in Section G.1 Question 6, except for commutativity.
For all a,b,c in Zp, a · (b + c) = a · b + a · c
Back to Section G.3
Full solution