Could anyone help!
I need to prove G4 associativity for the following group and I know it exists
(Q*, o) where x o y = xy/7.
This group is closed so G1 holds
This group is has an identity e = 7 so G2 holds
This group has an inverses which is 49/x.