Group Theory

A group is a set equipped with a binary operation satisfying four axioms: closure, associativity, identity, and invertibility. Group theory is the study of groups and their homomorphisms — the structural mappings that preserve group operations. It is the mathematical language of symmetry: every symmetry of an object corresponds to a group, and every group describes the symmetries of some object.

The historical origin is the work of Évariste Galois, who used permutation groups to determine which polynomial equations are solvable by radicals. The quintic equation — the general degree-five polynomial — cannot be solved by nested root extractions because its Galois group, the symmetric group S₅, lacks the structural property (solvability) that such solutions require.

Group theory has become the backbone of modern physics. The Standard Model of particle physics is organized around the gauge group SU(3) × SU(2) × U(1). Spontaneous symmetry breaking occurs when the ground state of a physical system fails to respect the full symmetry group of its governing equations. Representation theory studies how groups act on vector spaces, providing the mathematical framework for quantum states and conserved quantities.

In category theory, a group is a category with one object and invertible morphisms. This translation reveals that group theory is not a separate domain but a special case of a more general structural pattern.