Group theory

Group theory studies groups—sets with a single associative operation and identity/inverses. It formalizes symmetry and underlies algebra, geometry, physics, chemistry, and many applied fields.

Overview

Group theory is a branch of mathematics that arises in abstract algebra from consideration of an algebraic structure called a group. A group consists of a set together with a single binary operation that combines any two elements to form a third, subject to basic axioms. The subject abstracts patterns of combination and symmetry so they can be studied in a unified way.

Basic properties and examples

Groups are defined by four familiar conditions, often listed as axioms:

Closure: combining two elements gives another element of the set.
Associativity: the operation is associative.
Identity: an element acts neutrally for the operation.
Inverses: every element has an inverse with respect to the operation.

Simple examples include the integers under addition, the nonzero real numbers under multiplication, permutation groups that rearrange finitely many objects, and groups of matrices under multiplication. Groups may be finite or infinite, commutative (abelian) or noncommutative.

Families and structure

Some important classes of groups are:

Cyclic groups generated by a single element.
Abelian groups where the operation is commutative.
Permutation groups, which capture discrete symmetries.
Matrix groups and Lie groups, which describe continuous symmetries.

The study of group structure includes concepts such as subgroups, normal subgroups, quotient groups, homomorphisms, and simple groups. A notable milestone in the theory was the classification of finite simple groups, a major collaborative result of twentieth-century mathematics.

History and development

Group concepts first appeared in work on polynomial equations and symmetries of roots in the early 19th century, most famously in the writings of Évariste Galois. The notion matured as algebra and geometry developed: Cayley, Jordan, and others expanded the subject in the 19th century, and the 20th century saw systematic structural approaches and links to topology and analysis.

Applications and significance

Groups formalize symmetry, so they occur across science and applied mathematics. In symmetry studies and nature, they describe patterns of crystals and molecules; in physics, they underlie conservation laws and particle classifications; and in chemistry, they organize molecular vibration and bonding symmetries. Groups also appear in coding theory, cryptography, and the study of differential equations.