Elementary group theory

G is a set and * is an associative binary operation on G, obeying the following rules (or axioms):