Group representation

Group representation
Name	Group representation
Field	Évariste Galois; Felix Klein; Emmy Noether
Introduced	Camille Jordan; Ferdinand Frobenius

Group representation

Group representation is the study of homomorphisms from an abstract group into the automorphism group of a vector space or module, connecting Évariste Galois, Camille Jordan, Ferdinand Frobenius, William Burnside, and Emmy Noether through algebraic and analytic techniques. It provides a bridge between Srinivasa Ramanujan-style explicit calculations, the structural insights of Sophus Lie, and the spectral viewpoints of John von Neumann, with applications ranging from Isaac Newton-era symmetry observations to modern uses in Niels Bohr-inspired quantum theory.

Introduction

A representation associates elements of a group to invertible linear transformations of a vector space, allowing tools from Augustin-Louis Cauchy-era matrix theory and David Hilbert-style functional analysis to study algebraic objects. Historically, milestones include Camille Jordan's canonical reduction, Ferdinand Frobenius's character methods, William Burnside's group algebra approach, and the development of the theory for Sophus Lie groups and Hermann Weyl's use in physics.

Definitions and basic concepts

A representation of a group G on a vector space V over a field F is a homomorphism rho: G -> GL(V), where GL(V) denotes the general linear group of V; key foundational figures include Augustin-Louis Cauchy, Arthur Cayley, and Camille Jordan. Important notions are invariant subspaces (studied by Emmy Noether), subrepresentations (related to Richard Dedekind's module theory), and equivalence of representations (considered by Ferdinand Frobenius and Issai Schur). For finite groups one typically works over fields like the complex numbers associated with Carl Friedrich Gauss's arithmetic, while for compact groups one uses Haar measure introduced by Alfréd Haar to build unitary representations as in the work of John von Neumann.

Examples and classes of representations

Standard examples include permutation representations arising from group actions such as those of Évariste Galois on roots of polynomials, regular representations of finite groups studied by Ferdinand Frobenius and William Burnside, and induced representations developed by Ferdinand Frobenius and formalized by George Mackey. Continuous representations of Sophus Lie groups like SL(2,C), SO(3), and SU(2) are central in the work of Hermann Weyl and Harish-Chandra. Other classes include projective representations related to Paul Dirac and central extensions such as those studied by Benson Farb and Ronan M. O'Neill in geometric contexts.

Irreducible representations and Maschke's theorem

Irreducible representations, those with no nontrivial invariant subspaces, are the atoms of the theory pursued by Issai Schur and Ferdinand Frobenius. Maschke's theorem, proved by Heinrich Maschke, guarantees complete reducibility for representations of finite groups over fields whose characteristic does not divide the group order, a cornerstone used by William Burnside and later by Emmy Noether in module theory. Schur's lemma, due to Issai Schur, characterizes endomorphism rings of irreducible representations and plays a role in the classification efforts of Richard Brauer and John G. Thompson.

Group characters and character theory

Characters, class functions assigning traces to group elements, were systematized by Ferdinand Frobenius and expanded by Issai Schur and Richard Brauer; they encode decomposition multiplicities and orthogonality relations used by William Burnside and Emil Artin. The character table of a finite group, computed for groups like A_n and S_n by Camille Jordan and later for sporadic groups by Bertrand Russell-era collaborators and modern computational projects, organizes irreducible characters and conjugacy classes, informing work of John Conway and Robert Griess on the Monster group. For compact Lie groups, Weyl's character formula of Hermann Weyl links highest-weight theory to representations of SU(n), SO(n), and Sp(n).

Representations of specific groups

The representation theory of symmetric groups S_n relies on combinatorics developed by Ferdinand Frobenius and Alfred Young; that of general linear groups GL(n,F) connects to Élie Cartan and Hermann Weyl. Representations of finite simple groups such as the Monster group, Janko groups, and Mathieu group M24 informed the classification program led by Daniel Gorenstein and Robert Griess. For p-adic and adelic groups, the Langlands program spearheaded by Robert Langlands links automorphic representations to Galois representations associated with Andrew Wiles and Pierre Deligne. Infinite-dimensional representation theory for SL(2,R), explored by Harish-Chandra and George Mackey, underpins parts of harmonic analysis pioneered by Norbert Wiener.

Applications and connections to other areas

Representation theory interfaces with number theory through modular forms and the work of Srinivasa Ramanujan, Andrew Wiles, and Pierre Deligne; with mathematical physics via Niels Bohr, Paul Dirac, and Hermann Weyl in quantum mechanics and particle physics; with topology and geometry through the influence of William Thurston, Michael Atiyah, and Isadore Singer in index theory; and with combinatorics and algebraic geometry through connections to Alexander Grothendieck and William Fulton. Contemporary computational and classification advances involve collaborations among groups like Atlas of Finite Groups contributors, researchers such as John Conway, and programs inspired by the Langlands program.

Category:Representation theory