A group is a mathematical structure (usually denoted in the form (G,*)) consisting of a set G and a binary operation ′ ∗ ∗ ′ (sometimes loosely called 'multiplication'), satisfying the following properties: