Glossary of group theory

A group is a set together with an associative operation that admits an identity element and such that there exists an inverse for every element.

Throughout this glossary, we use e to denote the identity element of a group.