Toward representation theory

Label the vertices of an equilateral triangle and let each symmetry permute three coordinates. This gives a representation of the symmetry group on $\mathbb{C}^3$. The line spanned by $(1,1,1)$ stays fixed, while the plane $x+y+z=0$ is also preserved. A three-dimensional problem has separated into a trivial direction and a two-dimensional part. Representation theory asks how far this kind of decomposition can go, and what the resulting pieces reveal about the original symmetry.

There is an appealing computational shortcut here. The trace of a permutation matrix counts fixed coordinates. For the identity, a reflection and a rotation through one third of a turn, the traces are $3,1,0$. Subtract the trace of the fixed line and the plane has character values $2,0,-1$. You can now compare representations without carrying every matrix through every calculation. Teleman's discussion of character tables, §10, explains how character inner products recover multiplicities for finite groups over the complex numbers.

Decomposing symmetry

The deeper motivation is to turn symmetry into constraints on possible behavior. If a linear operator commutes with a group action, it respects structures supplied by that action. This helps organize eigenvalue problems, polynomial spaces and combinatorial constructions. Classification enters too: instead of studying one particular action, ask for all actions of a given kind, the maps between them and the ways they can be assembled.

A first course and its preparation

Start with Introduction to representation theory, the lecture manuscript by Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex Schwendner, Dmitry Vaintrob and Elena Yudovina. Its opening sections put representations of algebras alongside familiar linear algebra, and Chapter 3 develops finite groups and characters. Work toward decomposing the triangle representation yourself and checking its character inner products. The early Lie algebra and quiver examples can be sampled as possible directions; they need not all be mastered before the finite-group chapter.

The essential preparation is linear algebra with proofs: invariant subspaces, eigenvalues, direct sums, duals and change of basis. You should also be able to use group homomorphisms, conjugacy classes and quotient constructions. If you can find invariant subspaces for several matrices acting together, begin directly. If you can diagonalize one matrix but have never asked for a subspace preserved by a whole family, practice that distinction first. Modules and tensor products can be learned alongside their first representation-theoretic uses.

Finite groups or continuous symmetry?

For an alternative centered on groups, choose Constantin Teleman's Representation Theory. Sections 1–3 develop actions and complete reducibility; the later character theory provides a compact route through finite-group calculations. Choose it if the group action is the motivating object and the general algebra language feels premature. Keep track of the scalar field: statements about complex representations can change over other fields.

If continuous symmetries are already your destination, Alexander Kirillov Jr.'s Introduction to Lie Groups and Lie Algebras is the other alternative. Chapters 2–4 connect Lie groups, infinitesimal symmetries and representations; Chapter 5 treats $\mathfrak{sl}_2$ concretely. Add smooth manifolds and multivariable calculus for this branch. There is no need to complete every finite-group topic before moving toward Lie theory.

When decomposition fails

The most consequential misconception is that every representation splits into irreducible pieces. Complete reducibility has hypotheses; the finite-group averaging argument needs the group order to be invertible in the field. When splitting fails, extensions and indecomposable objects become part of the question. From the first course, branch toward modular representations, Lie theory, quivers or algebraic combinatorics. Homological and categorical tools become natural when you need to understand how pieces fit together, rather than only list them.

Suggest an edit · Report a correction

Original introduction: CC BY-SA 4.0.