Loading field map
Representation theory is the branch of algebra that studies algebraic structures by realizing them as symmetries of vector spaces. Given an abstract algebraic object—such as a group, an associative algebra, or a Lie algebra—a representation assigns to each element a linear transformation of some vector space, in a way that respects the algebraic operations. The central question is: what are the possible ways an object can act linearly, and how can those ways be classified and understood?
The power of this approach lies in its translation. Linear algebra is exceptionally well understood: vector spaces have bases, linear maps have eigenvalues and invariant subspaces, and there are powerful tools like determinants, traces, and diagonalization. By embedding a potentially complicated abstract structure into this concrete setting, representation theory makes its internal logic visible. Conversely, the abstract structure imposes constraints on the linear transformations, so the representations themselves form a rich mathematical object worth studying in its own right.
To make the idea precise, consider a group G. A representation of G on a vector space V (over a field k, often the complex numbers) is a homomorphism from G to the group of invertible linear operators on V. This means each group element g is assigned an invertible matrix (after choosing a basis), and the group operation becomes matrix multiplication. The vector space V is called the representation space, and its dimension is the degree of the representation.
The same definition adapts to other structures. For an associative algebra A, a representation is an algebra homomorphism from A to the algebra of all linear operators on V. For a Lie algebra g, a representation is a Lie algebra homomorphism to the Lie algebra of all linear operators, meaning it preserves the bracket operation. In each case, the representation turns abstract equations into concrete matrix equations.
The first structural question is decomposition. A representation is irreducible (or simple) if it has no nontrivial invariant subspaces—no proper subspace of V that is mapped to itself by every operator in the representation. Irreducible representations are the atomic building blocks. A representation is completely reducible (or semisimple) if it can be written as a direct sum of irreducible ones. A central result, known as Maschke's theorem for finite groups over fields of characteristic not dividing the group order, states that every finite-dimensional representation of a finite group is completely reducible. This is not true in general: for infinite groups, or in positive characteristic, representations can be indecomposable without being irreducible, meaning they cannot be split into a direct sum but still contain nontrivial invariant subspaces.
The second central question is classification. For a given object, what are all its irreducible representations, up to isomorphism? For finite groups over the complex numbers, the answer is elegant: the number of irreducible representations equals the number of conjugacy classes, and their dimensions divide the group order. The character of a representation—the trace of each group element's matrix—completely determines the representation up to isomorphism, and characters form an orthonormal basis for the space of class functions. This character theory, developed by Frobenius, Burnside, and Schur in the late nineteenth and early twentieth centuries, remains a cornerstone.
For more general objects, classification is far harder. The representation theory of the symmetric groups, for example, is tied to the combinatorics of Young diagrams and the symmetric group's action on tableaux. For Lie groups and Lie algebras, the classification of finite-dimensional representations of semisimple Lie algebras is given by the theorem of the highest weight: irreducible representations are indexed by dominant integral weights, and their structure is described by the Weyl character formula. These results, due to Cartan and Weyl, form a deep and complete theory for the semisimple case.
Representation theory did not begin as a self-conscious discipline. Its roots lie in the nineteenth-century theory of group characters, developed by Frobenius in the 1890s to study factorizations of group determinants. Burnside used these ideas to prove theorems about finite groups, and Schur contributed the foundational lemma that bears his name: over an algebraically closed field, the only linear maps commuting with an irreducible representation are scalar multiples of the identity. This lemma, simple as it sounds, is the seed of much of the subject.
A second root lies in the theory of Lie algebras and Lie groups. Sophus Lie introduced continuous transformation groups in the 1870s, and Wilhelm Killing and Élie Cartan classified the simple Lie algebras over the complex numbers around 1890. The representation theory of these algebras was developed by Cartan and Hermann Weyl in the 1920s and 1930s, culminating in the highest weight classification and the Weyl character formula. Weyl's book The Classical Groups (1939) and his The Theory of Groups and Quantum Mechanics (1928) connected representation theory to physics, particularly to the symmetry principles underlying quantum mechanics.
A third root is the theory of algebras. In the 1930s, Emmy Noether and her school recast much of representation theory in the language of modules. A representation of a group G over a field k is the same as a module over the group algebra kG, and the representation theory of G is the module theory of kG. This shift was not merely cosmetic: it brought the full machinery of ring theory and homological algebra to bear, and it unified the treatment of groups, algebras, and Lie algebras under a single conceptual umbrella. The work of Noether, Richard Brauer, and later Irving Kaplansky and Nathan Jacobson established the modern algebraic framework.
The field is not organized into rival schools in the way that, say, the foundations of mathematics are. Instead, it is characterized by a set of deeply interconnected approaches, each emphasizing a different aspect of the same underlying phenomenon.
Character theory and the global approach. The oldest approach, centered on the trace of a representation, is global in the sense that it studies the representation as a whole through its character function. For finite groups, characters are powerful because they are class functions—constant on conjugacy classes—and because they satisfy orthogonality relations that make them computable in practice. The character table of a finite group encodes a remarkable amount of information, including the group's order, the dimensions of its irreducible representations, and the structure of its normal subgroups. This approach reaches its full development in the modular representation theory of Brauer, where characters are studied modulo a prime dividing the group order, leading to the theory of blocks and decomposition numbers.
The module-theoretic and homological approach. The module-theoretic view, initiated by Noether, treats representations as modules over a ring and applies the full force of ring theory. The group algebra kG is a finite-dimensional algebra when G is finite, and its structure—its radical, its simple modules, its projective modules—governs the representation theory. This approach naturally leads to homological questions: extensions between modules, cohomology groups, and the derived category. The work of Henri Cartan and Samuel Eilenberg in the 1950s, followed by that of Maurice Auslander and Idun Reiten, developed the theory of almost split sequences and the Auslander–Reiten quiver, which gives a combinatorial picture of the indecomposable modules for finite-dimensional algebras. This approach is especially important where complete reducibility fails, as in modular representation theory or for infinite-dimensional algebras.
The geometric and categorical approach. Beginning in the 1960s and accelerating since, representation theory has been increasingly understood through geometry and category theory. The orbit method of Alexandre Kirillov and Bertram Kostant associates irreducible unitary representations of nilpotent Lie groups with coadjoint orbits in the dual of the Lie algebra. For semisimple Lie groups, the Beilinson–Bernstein localization theorem realizes representations as global sections of certain sheaves on flag varieties, connecting representation theory to algebraic geometry. More recently, the geometric Langlands program and the theory of categorical actions have placed representation theory within a vast web of conjectural equivalences between categories of representations and categories of sheaves. This approach has transformed the subject, but it is not a replacement for the classical theory; rather, it provides new tools and new questions, and it often recovers classical results as special cases.
The combinatorial approach. For many specific groups, especially the symmetric groups and the general linear groups, representation theory is deeply intertwined with combinatorics. The irreducible representations of the symmetric group are indexed by partitions, and their characters are given by the Frobenius formula involving Schur functions. The representation theory of the general linear group is governed by the Littlewood–Richardson rule, which describes the decomposition of tensor products. This combinatorial strand is not separate from the others: the combinatorics of Young diagrams arises naturally from the geometry of flag varieties, and the same Schur functions appear in symmetric function theory, in the cohomology of Grassmannians, and in the representation theory of the symmetric group. The combinatorial approach is often the most concrete and computable, and it has driven the development of algorithms and explicit formulas.
The analytic and operator-algebraic approach. For infinite groups, especially Lie groups, the finite-dimensional theory is insufficient. Unitary representations of a noncompact Lie group are typically infinite-dimensional, and the natural setting is the theory of Hilbert spaces and operator algebras. The representation theory of a locally compact group is studied through its group C\-algebra* and its von Neumann algebra, and the decomposition of a representation into irreducibles is governed by the direct integral theory of von Neumann. The work of Harish-Chandra in the mid-twentieth century established the classification of irreducible unitary representations of real reductive groups, a monumental achievement that remains a cornerstone of the subject. This approach is essential for applications to harmonic analysis and to quantum physics, where the symmetries of spacetime are represented by unitary operators on Hilbert space.
The current landscape of representation theory is vast and interconnected. The classical finite-dimensional theory of finite groups, Lie groups, and Lie algebras is mature and well understood, though many open problems remain, particularly in modular representation theory and in the representation theory of finite groups of Lie type. The representation theory of reductive groups over finite fields, developed by Deligne and Lusztig, connects finite group theory, algebraic geometry, and number theory, and it remains an active area.
Beyond the classical cases, the subject has expanded in several directions. The representation theory of quivers—directed graphs—was developed by Gabriel in the 1970s, who showed that a quiver has finitely many indecomposable representations precisely when its underlying graph is a Dynkin diagram. This discovery revealed a deep connection between representation theory and the classification of simple Lie algebras, and it opened the door to the study of finite-dimensional algebras through quivers and their relations. The theory of cluster algebras, introduced by Fomin and Zelevinsky in the early 2000s, has grown out of this combinatorial and categorical tradition.
Another major direction is the representation theory of quantum groups, which arose from the work of Drinfeld and Jimbo in the 1980s. Quantum groups are deformations of enveloping algebras of Lie algebras, and their representation theory is closely related to the theory of knot invariants and to the Yang–Baxter equation of statistical mechanics. The representation theory of quantum groups at roots of unity connects to modular representation theory and to the theory of fusion categories, which are central to modern mathematical physics.
The categorical turn has also produced the theory of higher representation theory, where representations are no longer linear actions on vector spaces but actions on categories themselves. This is a young and rapidly developing area, with connections to the geometric Langlands program and to the theory of derived categories.
Throughout these developments, the core questions remain recognizable. What are the irreducible objects? How do more complex objects decompose into simpler ones? What invariants distinguish representations? How do representations behave under natural operations like tensor products, restrictions, and inductions? The answers to these questions have become increasingly sophisticated, but the questions themselves have remained remarkably stable since the field's inception.
Representation theory is sometimes described as the study of symmetry in its most general form. This description is apt, but it understates the field's internal richness. The subject is not a single method but a family of deeply interlocking methods, each illuminating the others. Its results are used throughout mathematics—in number theory, where Galois representations are central to the Langlands program; in geometry, where representations of fundamental groups and of Lie groups govern the structure of spaces; and in physics, where the representation theory of symmetry groups is the mathematical language of particle classification. At the same time, the field draws its questions and its intuitions from these same sources, so that its development is inseparable from the broader mathematical culture in which it lives.