Hi!

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.