Group representation

Representation theory is the branch of mathematics that studies properties of abstract groups via their representations as linear transformations of vector spaces. Representation theory is important because it enables many grouptheoretic problems to be reduced to problems in linear algebra, which is a very wellunderstood theory.
The term representation of a group is also used in a more general sense to mean any "description" of a group as a group of transformations of some mathematical object. More formally, a "description" means a homomorphism from the group to the automorphism group of the object. If the object is a vector space we have a linear representation. Some people use realization for this notion and reserve the term representation for linear representations. The bulk of this article describes linear representation theory; see the last section for generalizations.
Contents 
Branches of representation theory
Representation theory divides into subtheories depending on the kind of group being represented. The various theories are quite different in detail, though some basic definitions and concepts are similar. The most important divisions are:
 Finite groups — Group representations are a very important tool in the study of finite groups. They also arise in the applications of finite group theory to crystallography and to geometry. If the field of scalars of the vector space has characteristic p, and if p divides the order of the group, then this is called modular representation theory; this special case has very different properties. See Representation of a finite group.
 Compact or locally compact topological groups — Many of the results of finite group representation theory are proved by averaging over the group. These proofs can be carried over to infinite groups by replacement of the average with an integral, provided that an acceptable notion of integral can be defined. This can be done for locally compact groups, using Haar measure. The resulting theory is a central part of harmonic analysis. The Pontryagin duality describes the theory for commutative groups, as a generalised Fourier transform. See also: PeterWeyl theorem.
 Lie groups — Many important Lie groups are compact, so the results of compact representation theory apply to them. Other techniques specific to Lie groups are used as well. Most of the groups important in physics and chemistry are Lie groups, and their representation theory is crucial to the application of group theory in those fields. See Representations of Lie groups and Representations of Lie algebras.
 Noncompact topological groups — The class of noncompact groups is too broad to construct any general representation theory, but specific special cases have been studied, sometimes using ad hoc techniques. The semisimple Lie groups have a deep theory, building on the compact case. The complementary solvable Lie groups cannot in the same way be classified. The general theory for Lie groups deals with semidirect products of the two types, by means of general results called Mackey theory, which is a generalization of Wigner's classification methods.
Representation theory also depends heavily on the type of vector space on which the group acts. One distinguishes between finitedimensional representations and infinitedimensional ones. In the infinitedimensional case, additional structures are important (e.g. whether or not the space is a Hilbert space, Banach space, etc.).
One must also consider the type of field over which the vector space is defined. The most important case is the field of complex numbers. The other important cases are the field of real numbers, finite fields, and fields of padic numbers. In general, algebraically closed fields are easier to handle than nonalgebraically closed ones. The characteristic of the field is also significant; many theorems for finite groups depend on the order of the group not dividing the characteristic of the field.
Basic definitions
A representation of a group G on a vector space V over a field K is a group homomorphism from G to GL(V), the general linear group on V. That is, a representation is a map
 <math>\rho:G\rightarrow GL(V)<math>
such that
 <math>\rho(g_1 g_2) = \rho(g_1) \rho(g_2)<math>
for all <math>g_1,g_2 \in G<math>.
It is common practice to refer to V itself as the representation when the homomorphism is clear from context (and, often, even when it is not).
In the case where V is of finite dimension n it is common to choose a basis for V and identify GL(V) with GL(n, K) the group of nbyn invertible matrices.
The kernel of a representation <math>\rho<math> of a group G is defined as the normal subgroup of G whose image under <math>\rho<math> is the identity matrix:
 <math>\ker \rho := \left\{g \in G \mid \rho(g) = I_n\right\}<math>
A faithful representation is one in which the homomorphism G → GL(V) is injective; in other words, one whose kernel is the trivial subgroup {e} consisting of just the group's identity element.
Simple example
Consider the complex number u = exp(2πi/3) which has the property u^{3} = 1. The cyclic group C_{3} = {1, u, u^{2}} has a representation ρ on C^{2} given by:
 <math>
\begin{bmatrix} 1 & 0 \\ 0 & 1 \\ \end{bmatrix} \qquad \begin{bmatrix} 1 & 0 \\ 0 & u \\ \end{bmatrix} \qquad \begin{bmatrix} 1 & 0 \\ 0 & u^2 \\ \end{bmatrix} <math>
(the three matrices are ρ(1), ρ(u) and ρ(u^{2}) respectively). This representation is faithful because ρ is a onetoone map.
Equivalence of representations
Two representations ρ_{1} and ρ_{2} are said to be equivalent if the matrices only differ by a change of basis, i.e. if there exists A in GL(n,C) such that for all x in G: ρ_{1}(x) = Aρ_{2}(x)A^{1}. For example, the representation of C_{3} given by the matrices:
 <math>
\begin{bmatrix} 1 & 0 \\ 0 & 1 \\ \end{bmatrix} \qquad \begin{bmatrix} u & 0 \\ 0 & 1 \\ \end{bmatrix} \qquad \begin{bmatrix} u^2 & 0 \\ 0 & 1 \\ \end{bmatrix} <math>
is an equivalent representation to the one shown above.
Reducibility
A subspace W of V that is fixed under the group action is called a subrepresentation. If V has a nonzero proper subrepresentation, the representation is said to be reducible. Otherwise, it is said to be irreducible.
Representations of finite groups can always be decomposed into a direct sum of irreducible subrepresentations (see Maschke's theorem.)
In the example above, the representation given is decomposable into two 1dimensional subrepresentations (given by span{(1,0)} and span{(0,1)}).
Character theory
The character of a representation ρ : G → GL_{n}C is the function χ : G → C which sends g in G to the trace (the sum of the diagonal elements) of the matrix ρ(g). For example, the character of the representation given above is given by: χ(1) = 2, χ(u) = 1 + u, χ(u^{2}) = 1 + u^{2}.
If g and h are members of G in the same conjugacy class, then χ(g) = χ(h) for any character; the values of a character therefore have to be specified only for the different conjugacy classes of G. Moreover, equivalent representations have the same characters. If a representation is the direct sum of subrepresentations, then the corresponding character is the sum of the subrepresentations' characters.
The characters of all the irreducible representations of a finite group form a character table, with conjugacy classes of elements as the columns, and characters as the rows. Here is the character table of C_{3}:
(1)  (u)  (u^{2})  
1  1  1  1 
χ_{1}  1  u  u^{2} 
χ_{2}  1  u^{2}  u 
The character table is always square, and the rows and columns are orthogonal with respect to inner products on C^{m} (see orthogonality relation), which allows one to compute character tables more easily. The first row of the character table always consists of 1s, and corresponds to the trivial representation (the 1dimensional representation consisting of 1×1 matrices containing the entry 1).
Certain properties of the group G can be deduced from its character table:
 The order of G is given by the sum of (χ(1))^{2} over the characters in the table.
 G is abelian if and only if χ(1) = 1 for all characters in the table.
 G has a nontrivial normal subgroup (i.e. G is not a simple group) if and only if χ(1) = χ(g) for some nontrivial character χ in the table and some nonidentity element g in G.
The character table does not in general determine the group up to isomorphism: for example, the quaternion group Q and the dihedral group of 8 elements (D_{8}) have the same character table.
Generalizations
Settheoretical representations
A settheoretic representation (also known as a group action or permutation representation) of a group G on a set X is given by a function ρ from G to X^{X}, the set of functions from X to X, such that for all g_{1}, g_{2} in G and all x in X:
 <math>\rho(1)[x] = x<math>
 <math>\rho(g_1 g_2)[x]=\rho(g_1)[\rho(g_2)[x]]<math>
This condition and the axioms for a group imply that ρ(g) is a bijection (or permutation) for all g in G. Thus we may equivalently define a permutation representation to be a group homomorphism from G to the symmetric group S_{X} of X.
For more information on this topic see the article on group action.
Representations in other categories
Every group G can be viewed as a category with a single object; morphisms in this category are just the elements of G. Given an arbitrary category C, a representation of G in C is a functor from G to C. Such a functor selects an object X in C and a group homomorphism from G to Aut(X), the automorphism group of X.
In the case where C is Vect_{K}, the category of vector spaces over a field K, this definition is equivalent to a linear representation. Likewise, a settheoretic representation is just a representation of G in the category of sets.
For another example consider the category of topological spaces, Top. Representations in Top are homomorphisms from G to the homeomorphism group of a topological space X.
Two types of representations closely related to linear representations are:
 projective representations: in the category of projective spaces. These can be described as "linear representations up to scalar transformations".
 affine representations: in the category of affine spaces. For example, the Euclidean group acts affinely upon Euclidean space.
See also
de:Darstellungstheorie es:Representación de grupo pl:Reprezentacja grupyzh:表示 (群)