Main Question or Discussion Point
What does it mean to give a group structure? I'm working on a problem and part of it asks for the structure of the group. The law of composition and generators seem to be given already (and an expression that says that a^2 = 1 for any elt a of the group). Is there anything to do other than verifying the group axioms?