A group is a set together with a binary operation satisfying:
- closure
- associativity
- existence of an identity
- existence of inverses for every element
If the operation also satisfies for all , the group is abelian.
One-line intuition
A group is the smallest algebraic setting in which you can compose, undo, and solve equations reliably.