Groups

A group is a set with a binary operation, which takes two elements of the group as input and outputs an element of the group. This operation is closed and associative. There is an identity element. Every element has an inverse element.