Group theory is a branch of abstract algebra. A group is a set of objects, together with a binary operation, that satisfies four axioms. The set must be closed under the operation and contain an identity object. Every object in the set must have an inverse, and the operation must be associative. Groups are used in physics to describe symmetry operations of physical systems.