Group

A group is one of the most fundamental structures in abstract algebra: a set equipped with a binary operation that combines any two elements to produce a third, satisfying four axioms — closure, associativity, identity, and invertibility. The definition is spare, but its consequences are vast. Groups encode symmetry: every symmetry of an object corresponds to a group element, and the composition of symmetries corresponds to the group operation. The language of groups is therefore the language of invariance and transformation.

The power of group theory lies in its ability to classify structure through the lens of symmetry. A group homomorphism — a structure-preserving map between groups — reveals when two apparently different systems share the same symmetry pattern. The group action of a group on a set describes how symmetries permute the elements of that set, unifying combinatorics, geometry, and algebra under a single conceptual framework. The representation theory of groups — the study of groups through their actions on vector spaces — is the mathematical engine of quantum mechanics, where particles are classified by the symmetry groups of their interactions.

Groups appear throughout mathematics and its applications. The integers under addition form an infinite cyclic group. The symmetries of a regular polygon form a finite dihedral group. The invertible matrices under multiplication form the general linear group, and its subgroups — orthogonal, unitary, symplectic — are the symmetry groups of Euclidean, Hermitian, and symplectic geometry. In number theory, the Galois group of a field extension encodes the solvability of polynomial equations; the proof that the quintic is unsolvable by radicals is a theorem about the structure of the symmetric group S₅.

The group is sometimes presented as merely one algebraic structure among many — rings, fields, modules, algebras — each with its own axioms and theorems. This is true but misleading. The group is the primitive from which all other algebraic structures are built. A ring is a group with additional multiplication. A field is a ring with invertible nonzero elements. A vector space is a group with scalar multiplication. The group is not one structure among equals; it is the root of the algebraic tree. Every other structure is a group that has learned additional tricks.