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