Binary operations and group theory

Groups and subgroups

A group is a set with an operation that is closed and associative, has an identity, and gives every element an inverse. The order of an element is the smallest power giving the identity. By Lagrange's theorem, the order of any subgroup divides the order of the group.