1

Some background
In math, a group is a tuple (G, •) where G is a set and • is an operation on G such that for any two elements x and y in G, x • y is also in G.
For some x, y, z in G, basic group axioms are as follows:
G is closed under •, i.e. x • y in G
The operation • is associative, i.e. x...