Group
Definition
An algebraic structure (G, ·) consisting of a set G together with a binary operation · that is closed, associative, has an identity element e in G, and for every element g in G an inverse g^{-1} in G. The structure is considered up to equality of the set and operation, and homomorphisms preserve the operation.