2.1 Show nZ satisfy the four axioms under + operation, you can use the condition that (Z,+) is a group.
2.2 If m not exist, then S can not form a group.
3.1 Z is set of integer, (Z,+) form a group, identity is 0, inverse is negative.
Z4 is mod(Z,4) = {0,1,2,3}. (Z4,+) form a group, it preserves the identity (0) and operation (+) as group (Z,+), so f is homeomorphism. However, the inverse on (Z4, +) is 4-a if the original one is a.
3.2 Equivalent class of any integer x on Z of mod 4 operation is: sx = { ...., x-8, x-4, x, x+4, x+8, ....}.
To prove p is an equivalent relation, 1) Reflexive. sx = sx. 2) Symmetric. sx1 = sx2 ==> sx2 = sx1. 3) Transitive.
All distince equivalent class: {...x-4, x, x+4, ...} {...,x-5, x-1, x+3, ...} {...,x-6,x-2,x+2,...} {...,x-7,x-3,x+1,...}
2.2 If m not exist, then S can not form a group.
3.1 Z is set of integer, (Z,+) form a group, identity is 0, inverse is negative.
Z4 is mod(Z,4) = {0,1,2,3}. (Z4,+) form a group, it preserves the identity (0) and operation (+) as group (Z,+), so f is homeomorphism. However, the inverse on (Z4, +) is 4-a if the original one is a.
3.2 Equivalent class of any integer x on Z of mod 4 operation is: sx = { ...., x-8, x-4, x, x+4, x+8, ....}.
To prove p is an equivalent relation, 1) Reflexive. sx = sx. 2) Symmetric. sx1 = sx2 ==> sx2 = sx1. 3) Transitive.
All distince equivalent class: {...x-4, x, x+4, ...} {...,x-5, x-1, x+3, ...} {...,x-6,x-2,x+2,...} {...,x-7,x-3,x+1,...}