1. The problem statement, all variables and given/known data Let G and H be groups. We define a binary operation on the cartesian product G x H by: (a,b)*(a',b') := (a*a', b*b') (for a,a' [tex]\in[/tex]G and b,b'[tex]\in[/tex])H Show that G x H together with this operation is a group. 2. Relevant equations 3. The attempt at a solution To be a group it must be a monoid (has an identity element) where every element has an inverse element. I don't understand the binary operation, the commas confuse me. Any help would be most appreciated to complete this final question on this assignment.