The
representation theory
Representation theory is a branch of mathematics that studies abstract algebra, abstract algebraic structures by ''representing'' their element (set theory), elements as linear transformations of vector spaces, and studies Module (mathematics), ...
of
groups is a part of mathematics which examines how groups act on given structures.
Here the focus is in particular on
operations of groups on
vector space
In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...
s. Nevertheless, groups acting on other groups or on
sets are also considered. For more details, please refer to the section on
permutation representations.
Other than a few marked exceptions, only finite groups will be considered in this article. We will also restrict ourselves to vector spaces over
fields of
characteristic zero. Because the theory of
algebraically closed field
In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in . In other words, a field is algebraically closed if the fundamental theorem of algebra ...
s of characteristic zero is
complete, a theory valid for a special algebraically closed field of characteristic zero is also valid for every other algebraically closed field of characteristic zero. Thus, without loss of generality, we can study vector spaces over
Representation theory is used in many parts of mathematics, as well as in quantum chemistry and physics. Among other things it is used in
algebra
Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic ope ...
to examine the structure of groups. There are also applications in
harmonic analysis
Harmonic analysis is a branch of mathematics concerned with investigating the connections between a function and its representation in frequency. The frequency representation is found by using the Fourier transform for functions on unbounded do ...
and
number theory
Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example ...
. For example, representation theory is used in the modern approach to gain new results about automorphic forms.
Definition
Linear representations
Let
be a
–vector space and
a finite group. A linear representation of
is a
group homomorphism
In mathematics, given two groups, (''G'',∗) and (''H'', ·), a group homomorphism from (''G'',∗) to (''H'', ·) is a function ''h'' : ''G'' → ''H'' such that for all ''u'' and ''v'' in ''G'' it holds that
: h(u*v) = h(u) \cdot h(v)
whe ...
Here
is notation for a
general linear group
In mathematics, the general linear group of degree n is the set of n\times n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again inve ...
, and
for an
automorphism group
In mathematics, the automorphism group of an object ''X'' is the group consisting of automorphisms of ''X'' under composition of morphisms. For example, if ''X'' is a finite-dimensional vector space, then the automorphism group of ''X'' is the g ...
. This means that a linear representation is a map
which satisfies
for all
The vector space
is called a representation space of
Often the term "representation of
" is also used for the representation space
The representation of a group in a
module instead of a vector space is also called a linear representation.
We write
for the representation
of
Sometimes we use the notation
if it is clear to which representation the space
belongs.
In this article we will restrict ourselves to the study of finite-dimensional representation spaces, except for the last chapter. As in most cases only a finite number of vectors in
is of interest, it is sufficient to study the
subrepresentation generated by these vectors. The representation space of this subrepresentation is then finite-dimensional.
The degree of a representation is the
dimension
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coo ...
of its representation space
The notation
is sometimes used to denote the degree of a representation
Examples
The trivial representation is given by
for all
A representation of degree
of a group
is a homomorphism into the multiplicative
group As every element of
is of finite order, the values of
are
roots of unity
In mathematics, a root of unity is any complex number that yields 1 when raised to some positive integer power . Roots of unity are used in many branches of mathematics, and are especially important in number theory, the theory of group char ...
. For example, let
be a nontrivial linear representation. Since
is a group homomorphism, it has to satisfy
Because
generates
is determined by its value on
And as
is nontrivial,
Thus, we achieve the result that the image of
under
has to be a nontrivial subgroup of the group which consists of the fourth roots of unity. In other words,
has to be one of the following three maps:
:
Let
and let
be the group homomorphism defined by:
:
In this case
is a linear representation of
of degree
Permutation representation
Let
be a finite set and let
be a group acting on
Denote by
the group of all permutations on
with the composition as group multiplication.
A group acting on a finite set is sometimes considered sufficient for the definition of the permutation representation. However, since we want to construct examples for linear representations - where groups act on vector spaces instead of on arbitrary finite sets - we have to proceed in a different way. In order to construct the permutation representation, we need a vector space
with
A basis of
can be indexed by the elements of
The permutation representation is the group homomorphism
given by
for all
All linear maps
are uniquely defined by this property.
Example. Let
and
Then
acts on
via
The associated linear representation is
with
for
Left- and right-regular representation
Let
be a group and
be a vector space of dimension
with a basis
indexed by the elements of
The left-regular representation is a special case of the
permutation representation by choosing
This means
for all
Thus, the family
of images of
are a basis of
The degree of the left-regular representation is equal to the order of the group.
The right-regular representation is defined on the same vector space with a similar homomorphism:
In the same way as before
is a basis of
Just as in the case of the left-regular representation, the degree of the right-regular representation is equal to the order of
Both representations are
isomorphic
In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between the ...
via
For this reason they are not always set apart, and often referred to as "the" regular representation.
A closer look provides the following result: A given linear representation
is
isomorphic
In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between the ...
to the left-regular representation if and only if there exists a
such that
is a basis of
Example. Let
and
with the basis
Then the left-regular representation
is defined by
for
The right-regular representation is defined analogously by
for
Representations, modules and the convolution algebra
Let
be a finite group, let
be a commutative
ring and let
isomorphism of categories
In category theory, two categories ''C'' and ''D'' are isomorphic if there exist functors ''F'' : ''C'' → ''D'' and ''G'' : ''D'' → ''C'' that are mutually inverse to each other, i.e. ''FG'' = 1''D'' (the identity functor on ''D'') and ''GF'' ...
.
Suppose
K=\Complex. In this case the left
\Complex /math>–module given by \Complex /math> itself corresponds to the left-regular representation. In the same way \Complex /math> as a right \Complex /math>–module corresponds to the right-regular representation.
In the following we will define the convolution algebra: Let G be a group, the set L^1(G):=\ is a \Complex –vector space with the operations addition and scalar multiplication then this vector space is isomorphic to \Complex^. The convolution of two elements f, h \in L^1(G) defined by
:f*h(s):=\sum_f(t)h(t^s)
makes L^1(G) an algebra
Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic ope ...
. The algebra
L^1(G) is called the convolution algebra.
The convolution algebra is free and has a basis indexed by the group elements:
(\delta_s)_, where
:
\delta_s(t)=\begin 1& t=s\\ 0 & \text\end
Using the properties of the convolution we obtain:
\delta_s*\delta_t=\delta_.
We define a map between
L^1(G) and
\Complex by defining
\delta_s\mapsto e_s on the basis
(\delta_s)_ and extending it linearly. Obviously the prior map is
bijective
In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the codomain) is the image of exactly one element of the first set (the domain). Equival ...
. A closer inspection of the convolution of two basis elements as shown in the equation above reveals that the multiplication in
L^1(G) corresponds to that in
\Complex Thus, the convolution algebra and the group algebra are isomorphic as algebras.
The
involution
Involution may refer to: Mathematics
* Involution (mathematics), a function that is its own inverse
* Involution algebra, a *-algebra: a type of algebraic structure
* Involute, a construction in the differential geometry of curves
* Exponentiati ...
:
f^*(s)=\overline
turns
L^1(G) into a
^*–algebra. We have
\delta_s^*=\delta_.
A representation
(\pi, V_\pi) of a group
G extends to a
^*–algebra homomorphism
\pi: L^1(G)\to\text(V_\pi) by
\pi(\delta_s)=\pi(s). Since multiplicativity is a characteristic property of algebra homomorphisms,
\pi satisfies
\pi(f*h)=\pi(f)\pi(h). If
\pi is unitary, we also obtain
\pi(f)^* =\pi(f^*). For the definition of a unitary representation, please refer to the chapter on
properties
Property is the ownership of land, resources, improvements or other tangible objects, or intellectual property.
Property may also refer to:
Philosophy and science
* Property (philosophy), in philosophy and logic, an abstraction characterizing an ...
. In that chapter we will see that (without loss of generality) every linear representation can be assumed to be unitary.
Using the convolution algebra we can implement a
Fourier transform
In mathematics, the Fourier transform (FT) is an integral transform that takes a function as input then outputs another function that describes the extent to which various frequencies are present in the original function. The output of the tr ...
ation on a group
G. In the area of
harmonic analysis
Harmonic analysis is a branch of mathematics concerned with investigating the connections between a function and its representation in frequency. The frequency representation is found by using the Fourier transform for functions on unbounded do ...
it is shown that the following definition is consistent with the definition of the Fourier transformation on
\R.
Let
\rho:G\to\text(V_\rho) be a representation and let
f\in L^1(G) be a
\Complex-valued function on
G. The Fourier transform
\hat(\rho)\in \text(V_\rho) of
f is defined as
:
\hat(\rho)=\sum_ f(s)\rho(s).
This transformation satisfies
\widehat(\rho)=\hat(\rho)\cdot\hat(\rho).
Maps between representations
A map between two representations
(\rho, V_\rho),\, (\tau, V_\tau) of the same group
G is a linear map
T: V_\rho\to V_\tau, with the property that
\tau(s)\circ T=T\circ\rho(s) holds for all
s\in G. In other words, the following diagram commutes for all
s\in G:
:
Such a map is also called
G–linear, or an
equivariant map
In mathematics, equivariance is a form of symmetry for function (mathematics), functions from one space with symmetry to another (such as symmetric spaces). A function is said to be an equivariant map when its domain and codomain are Group action ( ...
. The
kernel, the
image
An image or picture is a visual representation. An image can be Two-dimensional space, two-dimensional, such as a drawing, painting, or photograph, or Three-dimensional space, three-dimensional, such as a carving or sculpture. Images may be di ...
and the
cokernel
The cokernel of a linear mapping of vector spaces is the quotient space of the codomain of by the image of . The dimension of the cokernel is called the ''corank'' of .
Cokernels are dual to the kernels of category theory, hence the nam ...
of
T are defined by default. The composition of equivariant maps is again an equivariant map. There is a
category of representations with equivariant maps as its
morphism
In mathematics, a morphism is a concept of category theory that generalizes structure-preserving maps such as homomorphism between algebraic structures, functions from a set to another set, and continuous functions between topological spaces. Al ...
s. They are again
G–modules. Thus, they provide representations of
G due to the correlation described in the previous section.
Irreducible representations and Schur's lemma
Let
\rho:G\to\text(V) be a linear representation of
G. Let
W be a
G-invariant subspace of
V, that is,
\rho(s)w\in W for all
s\in G and
w\in W. The restriction
\rho(s), _W is an isomorphism of
W onto itself. Because
\rho(s) , _W\circ\rho(t), _W = \rho(st), _W holds for all
s,t\in G, this construction is a representation of
G in
W. It is called subrepresentation of
V.
Any representation ''V'' has at least two subrepresentations, namely the one consisting only of 0, and the one consisting of ''V'' itself. The representation is called an ''
irreducible representation'', if these two are the only subrepresentations. Some authors also call these representations simple, given that they are precisely the
simple module In mathematics, specifically in ring theory, the simple modules over a ring ''R'' are the (left or right) modules over ''R'' that are non-zero and have no non-zero proper submodules. Equivalently, a module ''M'' is simple if and only if every ...
s over the group algebra
\Complex /math>.
''Schur's lemma'' puts a strong constraint on maps between irreducible representations. If \rho_1:G\to\text(V_1) and \rho_2:G\to\text(V_2) are both irreducible, and F: V_1\to V_2 is a linear map such that \rho_2(s)\circ F= F\circ \rho_1(s) for all s\in G., there is the following dichotomy:
*If V_1 = V_2 and \rho_1 = \rho_2, F is a homothety (i.e. F=\lambda\text for a \lambda \in \Complex). More generally, if \rho_1 and \rho_2 are isomorphic, the space of ''G''-linear maps is one-dimensional.
*Otherwise, if the two representations are not isomorphic, ''F'' must be 0.
Properties
Two representations
(\rho, V_), (\pi, V_) are called equivalent or isomorphic, if there exists a
G–linear vector space isomorphism between the representation spaces. In other words, they are isomorphic if there exists a bijective linear map
T: V_ \to V_, such that
T \circ \rho(s)=\pi(s)\circ T for all
s \in G. In particular, equivalent representations have the same degree.
A representation
(\pi,V_\pi) is called faithful when
\pi is
injective
In mathematics, an injective function (also known as injection, or one-to-one function ) is a function that maps distinct elements of its domain to distinct elements of its codomain; that is, implies (equivalently by contraposition, impl ...
. In this case
\pi induces an isomorphism between
G and the image
\pi(G). As the latter is a subgroup of
\text(V_\pi), we can regard
G via
\pi as subgroup of
\text(V_\pi).
We can restrict the range as well as the domain:
Let
H be a subgroup of
G. Let
\rho be a linear representation of
G. We denote by
\text_H(\rho) the restriction of
\rho to the subgroup
H.
If there is no danger of confusion, we might use only
\text(\rho) or in short
\text\rho.
The notation
\text_H(V) or in short
\text(V) is also used to denote the restriction of the representation
V of
G onto
H.
Let
f be a function on
G. We write
\text_H(f) or shortly
\text(f) for the restriction to the subgroup
H.
It can be proven that the number of irreducible representations of a group
G (or correspondingly the number of simple
\Complex /math>–modules) equals the number of conjugacy classes of G.
A representation is called semisimple or completely reducible if it can be written as a direct sum
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently but analogously for different kinds of structures. As an example, the direct sum of two abelian groups A and B is anothe ...
of irreducible representations. This is analogous to the corresponding definition for a semisimple algebra.
For the definition of the direct sum of representations please refer to the section on
direct sums of representations.
A representation is called isotypic if it is a direct sum of pairwise isomorphic irreducible representations.
Let
(\rho,V_\rho) be a given representation of a group
G. Let
\tau be an irreducible representation of
G. The
\tau–isotype
V_\rho(\tau) of
G is defined as the sum of all irreducible subrepresentations of
V isomorphic to
\tau.
Every vector space over
\Complex can be provided with an
inner product
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, ofte ...
. A representation
\rho of a group
G in a vector space endowed with an inner product is called unitary if
\rho(s) is
unitary for every
s\in G. This means that in particular every
\rho(s) is
diagonalizable. For more details see the article on
unitary representation
In mathematics, a unitary representation of a group ''G'' is a linear representation π of ''G'' on a complex Hilbert space ''V'' such that π(''g'') is a unitary operator for every ''g'' ∈ ''G''. The general theory is well-developed in the ca ...
s.
A representation is unitary with respect to a given inner product if and only if the inner product is invariant with regard to the induced operation of
G, i.e. if and only if
(v, u)=(\rho(s)v, \rho(s)u) holds for all
v,u\in V_\rho, s\in G.
A given inner product
(\cdot, \cdot) can be replaced by an invariant inner product by exchanging
(v, u) with
:
\sum_(\rho(t)v, \rho(t)u).
Thus, without loss of generality we can assume that every further considered representation is unitary.
Example. Let
G=D_6=\ be the
dihedral group
In mathematics, a dihedral group is the group (mathematics), group of symmetry, symmetries of a regular polygon, which includes rotational symmetry, rotations and reflection symmetry, reflections. Dihedral groups are among the simplest example ...
of
order 6 generated by
\mu,\nu which fulfil the properties
\text(\nu)=2, \text(\mu)=3 and
\nu\mu\nu=\mu^2. Let
\rho:D_6\to\text_3(\Complex ) be a linear representation of
D_6 defined on the generators by:
:
\rho(\mu)=\left(
\begin
\cos (\frac) & 0& -\sin (\frac)\\
0 & 1 & 0\\
\sin (\frac) &0 & \cos (\frac)
\end
\right), \,\,\,\,
\rho(\nu)= \left(
\begin
-1& 0&0\\
0&-1&0\\
0& 0 &1
\end
\right).
This representation is faithful. The subspace
\Complex e_2 is a
D_6–invariant subspace. Thus, there exists a nontrivial subrepresentation
\rho, _: D_6\to\Complex ^\times with
\nu\mapsto -1, \mu\mapsto 1. Therefore, the representation is not irreducible. The mentioned subrepresentation is of degree one and irreducible.
The
complementary subspace of
\Complex e_2 is
D_6–invariant as well. Therefore, we obtain the subrepresentation
\rho, _ with
:
\nu \mapsto \begin -1 &0 \\0&1 \end, \,\,\,\,\mu \mapsto \begin \cos (\frac) &-\sin (\frac)\\\sin (\frac) & \cos (\frac)\end.
This subrepresentation is also irreducible. That means, the original representation is completely reducible:
:
\rho=\rho, _\oplus \rho, _.
Both subrepresentations are isotypic and are the two only non-zero isotypes of
\rho.
The representation
\rho is unitary with regard to the standard inner product on
\Complex ^3, because
\rho(\mu) and
\rho(\nu) are unitary.
Let
T:\Complex ^3\to\Complex ^3 be any vector space isomorphism. Then
\eta:D_6\to \text_3(\Complex ), which is defined by the equation
\eta (s) :=T\circ\rho(s)\circ T^ for all
s\in D_6, is a representation isomorphic to
\rho.
By restricting the domain of the representation to a subgroup, e.g.
H=\, we obtain the representation
\text_H(\rho). This representation is defined by the image
\rho(\mu), whose explicit form is shown above.
Constructions
The dual representation
Let
\rho: G \to \text(V) be a given representation. The dual representation or contragredient representation
\rho^*: G\to \text(V^*) is a representation of
G in the
dual vector space
In mathematics, any vector space ''V'' has a corresponding dual vector space (or just dual space for short) consisting of all linear forms on ''V,'' together with the vector space structure of pointwise addition and scalar multiplication by const ...
of
V. It is defined by the property
:
\forall s\in G, v \in V, \alpha \in V^*: \qquad \left (\rho^*(s)\alpha \right )(v) =\alpha \left (\rho \left (s^ \right ) v \right ).
With regard to the natural pairing
\langle \alpha, v\rangle:=\alpha(v) between
V^* and
V the definition above provides the equation:
:
\forall s\in G, v \in V, \alpha \in V^*: \qquad \langle \rho^*(s)(\alpha), \rho(s)(v)\rangle = \langle \alpha,v \rangle.
For an example, see the main page on this topic:
Dual representation.
Direct sum of representations
Let
(\rho_1,V_1 ) and
(\rho_2,V_2 ) be a representation of
G_1 and
G_2, respectively. The direct sum of these representations is a linear representation and is defined as
:
\forall s_1 \in G_1, s_2 \in G_2, v_1\in V_1, v_2\in V_2: \qquad \begin \rho_1\oplus\rho_2 : G_1\times G_2 \to \text(V_1 \oplus V_2 ) \\ pt(\rho_1\oplus\rho_2)(s_1, s_2) (v_1,v_2) := \rho_1(s_1)v_1\oplus \rho_2(s_2)v_2\end
Let
\rho_1, \rho_2 be representations of the same group
G. For the sake of simplicity, the direct sum of these representations is defined as a representation of
G, i.e. it is given as
\rho_1\oplus\rho_2:G\to\text(V_1\oplus V_2), by viewing
G as the diagonal subgroup of
G\times G.
Example. Let (here
i and
\omega are the imaginary unit and the primitive cube root of unity respectively):
:
\begin \rho_1: \Z /2\Z \to \text_2(\Complex ) \\ pt\rho_1(1)=\begin 0 & -i \\ i & 0\end\end \qquad\qquad \begin \rho_2: \Z /3\Z \to \text_3(\Complex )\\ pt \rho_2(1) = \begin 1 & 0 & \omega \\ 0 & \omega & 0\\ 0 & 0 & \omega^2 \end \end
Then
:
\begin \rho_1\oplus \rho_2 : \Z /2\Z \times\Z /3\Z \to \text \left ( \Complex ^2\oplus\Complex ^3 \right ) \\ pt\left (\rho_1\oplus\rho_2 \right ) (k,l) = \begin \rho_1(k)& 0 \\ 0 & \rho_2(l) \end & k\in\Z /2\Z, l\in \Z /3\Z \end
As it is sufficient to consider the image of the generating element, we find that
:
(\rho_1\oplus\rho_2) (1,1) = \begin
0 & -i & 0 & 0 & 0 \\
i & 0 & 0 & 0 & 0\\
0 & 0 & 1 & 0 & \omega\\
0 & 0 &0 & \omega & 0\\
0 & 0 & 0 & 0 & \omega^2
\end
Tensor product of representations
Let
\rho_1:G_1\to \text(V_1), \rho_2:G_2\to\text(V_2) be linear representations. We define the linear representation
\rho_1\otimes\rho_2:G_1\times G_2 \to \text(V_1\otimes V_2) into the
tensor product
In mathematics, the tensor product V \otimes W of two vector spaces V and W (over the same field) is a vector space to which is associated a bilinear map V\times W \rightarrow V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of ...
of
V_1 and
V_2 by
\rho_1\otimes\rho_2(s_1,s_2)=\rho_1(s_1)\otimes \rho_2(s_2), in which
s_1\in G_1, s_2\in G_2. This representation is called outer tensor product of the representations
\rho_1 and
\rho_2. The existence and uniqueness is a consequence of the
properties of the tensor product.
Example. We reexamine the example provided for the
direct sum
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently but analogously for different kinds of structures. As an example, the direct sum of two abelian groups A and B is anothe ...
:
:
\begin \rho_1: \Z /2\Z \to \text_2(\Complex ) \\ pt\rho_1(1)=\begin 0 & -i \\ i & 0\end\end \qquad\qquad \begin \rho_2: \Z /3\Z \to \text_3(\Complex )\\ pt \rho_2(1) = \begin 1 & 0 & \omega \\ 0 & \omega & 0\\ 0 & 0 & \omega^2 \end \end
The outer tensor product
:
\begin \rho_1\otimes\rho_2 :\Z /2\Z \times \Z /3\Z \to \text(\Complex ^2\otimes\Complex ^3) \\ (\rho_1 \otimes \rho_2) (k,l) = \rho_1(k)\otimes \rho_2(l) & k\in\Z /2\Z, l\in\Z /3\Z \end
Using the standard basis of
\Complex ^2\otimes\Complex ^3\cong \Complex ^6 we have the following for the generating element:
:
\rho_1\otimes\rho_2(1,1) = \rho_1(1)\otimes \rho_2(1) = \begin
0 & 0 & 0 & -i & 0 & -i\omega \\
0 & 0 & 0 & 0 & -i\omega &0\\
0 & 0 & 0 & 0 & 0 & -i\omega^2\\
i & 0 & i\omega & 0 & 0 & 0 \\
0 & i\omega &0 & 0 & 0 & 0\\
0 & 0 & i\omega^2 & 0 & 0 & 0\end
Remark. Note that the
direct sum
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently but analogously for different kinds of structures. As an example, the direct sum of two abelian groups A and B is anothe ...
and the tensor products have different degrees and hence are different representations.
Let
\rho_1: G \to \text(V_1), \rho_2: G \to \text(V_2) be two linear representations of the same group. Let
s be an element of
G. Then
\rho(s)\in\text(V_1\otimes V_2) is defined by
\rho(s)(v_1\otimes v_2)=\rho_1(s)v_1\otimes \rho_2(s)v_2, for
v_1\in V_1, v_2\in V_2, and we write
\rho(s)=\rho_1(s) \otimes \rho_2(s). Then the map
s\mapsto \rho(s) defines a linear representation of
G, which is also called tensor product of the given representations.
These two cases have to be strictly distinguished. The first case is a representation of the group product into the tensor product of the corresponding representation spaces. The second case is a representation of the group
G into the tensor product of two representation spaces of this one group. But this last case can be viewed as a special case of the first one by focusing on the diagonal subgroup
G\times G. This definition can be iterated a finite number of times.
Let
V and
W be representations of the group
G. Then
\text(V,W) is a representation by virtue of the following identity:
\text(V,W)=V^*\otimes W. Let
B \in \text(V,W) and let
\rho be the representation on
\text(V,W). Let
\rho_V be the representation on
V and
\rho_W the representation on
W. Then the identity above leads to the following result:
:
\rho(s)(B) v=\rho_W(s)\circ B \circ\rho_V(s^)v for all
s\in G, v\in V.
:Theorem. The irreducible representations of
G_1\times G_2 up to isomorphism are exactly the representations
\rho_1\otimes\rho_2 in which
\rho_1 and
\rho_2 are irreducible representations of
G_1 and
G_2, respectively.
Symmetric and alternating square
Let
\rho: G\to V\otimes V be a linear representation of
G. Let
(e_k) be a basis of
V. Define
\vartheta: V\otimes V \to V \otimes V by extending
\vartheta(e_k\otimes e_j) =e_j \otimes e_k linearly. It then holds that
\vartheta^2 =1 and therefore
V\otimes V splits up into
V\otimes V=\text^2(V)\oplus \text^2(V), in which
:
\text^2(V) = \
:
\text^2(V)=\bigwedge^2V=\.
These subspaces are
G–invariant and by this define subrepresentations which are called the symmetric square and the alternating square, respectively. These subrepresentations are also defined in
V^, although in this case they are denoted wedge product
\bigwedge^m V and symmetric product
\text^m(V). In case that
m>2, the vector space
V^ is in general not equal to the direct sum of these two products.
Decompositions
In order to understand representations more easily, a decomposition of the representation space into the direct sum of simpler subrepresentations would be desirable.
This can be achieved for finite groups as we will see in the following results. More detailed explanations and proofs may be found in
''">'' and
''">''.
:Theorem. (
Maschke) Let
\rho:G\to \text(V) be a linear representation where
V is a vector space over a field of characteristic zero. Let
W be a
G-invariant subspace of
V. Then the complement
W^0 of
W exists in
V and is
G-invariant.
A subrepresentation and its complement determine a representation uniquely.
The following theorem will be presented in a more general way, as it provides a very beautiful result about representations of
compact
Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to:
* Interstate compact, a type of agreement used by U.S. states
* Blood compact, an ancient ritual of the Philippines
* Compact government, a t ...
– and therefore also of finite – groups:
:Theorem. Every linear representation of a compact group over a field of characteristic zero is a direct sum of irreducible representations.
Or in the language of
K /math>-modules: If \text(K)=0, the group algebra K /math> is semisimple, i.e. it is the direct sum of simple algebras.
Note that this decomposition is not unique. However, the number of how many times a subrepresentation isomorphic to a given irreducible representation is occurring in this decomposition is independent of the choice of decomposition.
The canonical decomposition
To achieve a unique decomposition, one has to combine all the irreducible subrepresentations that are isomorphic to each other. That means, the representation space is decomposed into a direct sum of its isotypes. This decomposition is uniquely determined. It is called the canonical decomposition.
Let (\tau_j)_ be the set of all irreducible representations of a group G up to isomorphism. Let V be a representation of G and let \ be the set of all isotypes of V. The projection
Projection or projections may refer to:
Physics
* Projection (physics), the action/process of light, heat, or sound reflecting from a surface to another in a different direction
* The display of images by a projector
Optics, graphics, and carto ...
p_j:V\to V(\tau_j) corresponding to the canonical decomposition is given by
:
p_j=\frac\sum_\overline\rho(t),
where
n_j=\dim (\tau_j), g=\text(G) and
\chi_ is the character belonging to
\tau_j.
In the following, we show how to determine the isotype to the trivial representation:
Definition (Projection formula). For every representation
(\rho, V) of a group
G we define
:
V^G:=\.
In general,
\rho(s): V\to V is not
G-linear. We define
:
P:= \frac\sum_ \rho(s) \in \text(V).
Then
P is a
G-linear map, because
:
\forall t \in G : \qquad \sum_ \rho(s)= \sum_ \rho(tst^).
:Proposition. The map
P is a
projection
Projection or projections may refer to:
Physics
* Projection (physics), the action/process of light, heat, or sound reflecting from a surface to another in a different direction
* The display of images by a projector
Optics, graphics, and carto ...
from
V to
V^G.
This proposition enables us to determine the isotype to the trivial subrepresentation of a given representation explicitly.
How often the trivial representation occurs in
V is given by
\text(P). This result is a consequence of the fact that the eigenvalues of a
projection
Projection or projections may refer to:
Physics
* Projection (physics), the action/process of light, heat, or sound reflecting from a surface to another in a different direction
* The display of images by a projector
Optics, graphics, and carto ...
are only
0 or
1 and that the eigenspace corresponding to the eigenvalue
1 is the image of the projection. Since the trace of the projection is the sum of all eigenvalues, we obtain the following result
:
\dim(V(1))=\dim(V^G)=Tr(P)=\frac\sum_\chi_V(s),
in which
V(1) denotes the isotype of the trivial representation.
Let
V_\pi be a nontrivial irreducible representation of
G. Then the isotype to the trivial representation of
\pi is the null space. That means the following equation holds
:
P=\frac\sum_ \pi(s)=0.
Let
e_1,...,e_n be an
orthonormal basis
In mathematics, particularly linear algebra, an orthonormal basis for an inner product space V with finite Dimension (linear algebra), dimension is a Basis (linear algebra), basis for V whose vectors are orthonormal, that is, they are all unit vec ...
of
V_\pi. Then we have:
:
\sum_ \text(\pi(s)) = \sum _ \sum_^ \langle \pi(s)e_j, e_j \rangle = \sum_^ \left \langle \sum_ \pi(s)e_j, e_j \right \rangle =0.
Therefore, the following is valid for a nontrivial irreducible representation
V:
:
\sum_ \chi_V(s)=0.
Example. Let
G=\text(3) be the permutation groups in three elements. Let
\rho: \text(3)\to \text_5(\Complex ) be a linear representation of
\text(3) defined on the generating elements as follows:
:
\rho(1,2)=
\begin
-1 & 2 & 0& 0& 0\\
0 & 1 & 0 & 0 & 0 \\
0 & 0 & 0 & 1 & 0\\
0 & 0 & 1 & 0 & 0\\
0& 0 & 0 & 0 & 1
\end, \quad
\rho(1,3)=
\begin
\frac & \frac & 0& 0& 0\\
\frac & -1 & 0 & 0 & 0 \\
0 & 0 & 0 & 0 & 1\\
0 & 0 & 0 & 1 & 0\\
0& 0 & 1 & 0 & 0
\end, \quad
\rho(2,3)=
\begin
0 & -2 & 0& 0& 0\\
-\frac & 0 & 0 & 0 & 0 \\
0 & 0 & 1 & 0 & 0\\
0 & 0 & 0 & 0 & 1\\
0& 0 & 0 & 1 & 0
\end.
This representation can be decomposed on first look into the left-regular representation of
\text(3),which is denoted by
\pi in the following, and the representation
\eta: \text(3) \to \text_2(\Complex ) with
:
\eta(1,2)= \begin -1 &2 \\ 0& 1\end, \quad \eta(1,3)=\begin \frac & \frac \\ \frac & -1 \end,\quad \eta(2,3)= \begin0& -2\\-\frac & 0\end.
With the help of the
irreducibility criterion taken from the next chapter, we could realize that
\eta is irreducible but
\pi is not. This is because (in terms of the inner product from
”Inner product and characters” below) we have
(\eta, \eta)=1, (\pi, \pi)=2.
The subspace
\Complex (e_1+e_2+e_3) of
\Complex ^3 is invariant with respect to the left-regular representation. Restricted to this subspace we obtain the trivial representation.
The orthogonal complement of
\Complex (e_1+e_2+e_3) is
\Complex (e_1-e_2)\oplus\Complex (e_1+e_2-2e_3). Restricted to this subspace, which is also
G–invariant as we have seen above, we obtain the representation
\tau given by
:
\tau (1,2)= \begin -1 &0 \\0 & 1\end,\quad \tau(1,3)=\begin\frac & \frac\\ \frac & -\frac\end, \quad \tau(2,3)=\begin \frac & -\frac\\ -\frac & -\frac\end.
Again, we can use the irreducibility criterion of the next chapter to prove that
\tau is irreducible. Now,
\eta and
\tau are isomorphic because
\eta(s)=B\circ\tau(s)\circ B^ for all
s\in \text(3), in which
B:\Complex ^2\to\Complex ^2 is given by the matrix
:
M_B=\begin 2 &2\\0&2\end.
A decomposition of
(\rho,\Complex ^5) in irreducible subrepresentations is:
\rho=\tau\oplus\eta\oplus 1 where
1 denotes the trivial representation and
:
\Complex ^5=\Complex (e_1,e_2)\oplus\Complex (e_3-e_4, e_3+e_4-2e_5)\oplus\Complex (e_3+e_4+e_5)
is the corresponding decomposition of the representation space.
We obtain the canonical decomposition by combining all the isomorphic irreducible subrepresentations:
\rho_1:=\eta\oplus\tau is the
\tau-isotype of
\rho and consequently the canonical decomposition is given by
:
\rho=\rho_1\oplus 1, \qquad \Complex ^5=\Complex (e_1,e_2,e_3-e_4, e_3+e_4-2e_5)\oplus\Complex (e_3+e_4+e_5).
The theorems above are in general not valid for infinite groups. This will be demonstrated by the following example: let
:
G=\.
Together with the matrix multiplication
G is an infinite group.
G acts on
\Complex ^2 by matrix-vector multiplication. We consider the representation
\rho(A)=A for all
A\in G. The subspace
\Complex e_1 is a
G-invariant subspace. However, there exists no
G-invariant complement to this subspace. The assumption that such a complement exists would entail that every matrix is
diagonalizable over
\Complex . This is known to be wrong and thus yields a contradiction.
The moral of the story is that if we consider infinite groups, it is possible that a representation - even one that is not irreducible - can not be decomposed into a direct sum of irreducible subrepresentations.
Character theory
Definitions
The ''character'' of a representation
\rho: G\to \text(V) is defined as the map
:
\chi_\rho : G \to \Complex, \chi_\rho(s) := \text(\rho(s)), in which
\text(\rho(s)) denotes the
trace of the linear map
\rho(s).
Even though the character is a map between two groups, it is not in general a
group homomorphism
In mathematics, given two groups, (''G'',∗) and (''H'', ·), a group homomorphism from (''G'',∗) to (''H'', ·) is a function ''h'' : ''G'' → ''H'' such that for all ''u'' and ''v'' in ''G'' it holds that
: h(u*v) = h(u) \cdot h(v)
whe ...
, as the following example shows.
Let
\rho: \Z /2\Z \times\Z /2\Z\to\text_2(\Complex ) be the representation defined by:
:
\rho(0,0)=
\begin
1 & 0 \\
0 & 1
\end, \quad
\rho(1, 0)=
\begin
-1 & 0 \\
0 & -1
\end, \quad
\rho(0,1)=
\begin
0 & 1 \\
1 & 0
\end, \quad
\rho(1,1)= \begin 0 & -1 \\ -1 & 0 \end.
The character
\chi_\rho is given by
:
\chi_\rho(0,0)=2, \quad \chi_\rho(1,0)=-2,\quad \chi_\rho(0,1)=\chi_\rho(1,1)=0.
Characters of
permutation representations are particularly easy to compute. If ''V'' is the ''G''-representation corresponding to the left action of
G on a finite set
X, then
:
\chi_V(s)=, \, .
For example, the character of the
regular representation R is given by
:
\chi_R(s)=\begin 0 & s\neq e\\ , G, & s=e\end,
where
e denotes the neutral element of
G.
Properties
A crucial property of characters is the formula
:
\chi(tst^)=\chi(s),\,\,\forall\,s,t\in G.
This formula follows from the fact that the
trace of a product ''AB'' of two square matrices is the same as the trace of ''BA''. Functions
G \to \Complex satisfying such a formula are called
class functions. Put differently, class functions and in particular characters are constant on each
conjugacy class
In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other ...
C_s = \.
It also follows from elementary properties of the trace that
\chi(s) is the sum of the
eigenvalues
In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
of
\rho(s) with multiplicity. If the degree of the representation is ''n'', then the sum is ''n'' long. If ''s'' has order ''m'', these eigenvalues are all ''m''-th
roots of unity
In mathematics, a root of unity is any complex number that yields 1 when raised to some positive integer power . Roots of unity are used in many branches of mathematics, and are especially important in number theory, the theory of group char ...
. This fact can be used to show that
\chi(s^)=\overline,\,\,\,\forall\, s\in G and it also implies
, \chi(s), \leqslant n.
Since the trace of the identity matrix is the number of rows,
\chi(e)=n, where
e is the neutral element of
G and ''n'' is the dimension of the representation. In general,
\ is a
normal subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group ...
in
G.
The following table shows how the characters
\chi_1, \chi_2 of two given representations
\rho_1:G\to \text(V_1), \rho_2:G \to \text(V_2) give rise to characters of related representations.
By construction, there is a direct sum decomposition of
V \otimes V = Sym^2(V) \oplus \bigwedge^2 V. On characters, this corresponds to the fact that the sum of the last two expressions in the table is
\chi(s)^2, the character of
V \otimes V.
Inner product and characters
In order to show some particularly interesting results about characters, it is rewarding to consider a more general type of functions on groups:
Definition (Class functions). A function
\varphi : G \to \Complex is called a class function if it is constant on conjugacy classes of
G, i.e.
:
\forall s, t \in G : \quad \varphi \left (sts^ \right ) =\varphi(t).
Note that every character is a class function, as the trace of a matrix is preserved under conjugation.
The set of all class functions is a
\Complex –algebra and is denoted by
\Complex _(G). Its dimension is equal to the number of conjugacy classes of
G.
Proofs of the following results of this chapter may be found in
''">'',
''">'' and
''">''.
An
inner product
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, ofte ...
can be defined on the set of all class functions on a finite group:
:
(f, h)_G=\frac \sum_f(t)\overline
Orthonormal property. If
\chi_1, \ldots ,\chi_k are the distinct irreducible characters of
G, they form an orthonormal basis for the vector space of all class functions with respect to the inner product defined above, i.e.
*
(\chi_i, \chi_j)=\begin 1 \text i= j \\0 \text\end.
* Every class function
f may be expressed as a unique linear combination of the irreducible characters
\chi_1, \ldots ,\chi_k.
One might verify that the irreducible characters generate
\Complex _(G) by showing that there exists no nonzero class function which is orthogonal to all the irreducible characters. For
\rho a representation and
f a class function, denote
\rho_f = \sum_g f(g)\rho (g). Then for
\rho irreducible, we have
\rho_f = \frac \langle f,\chi _V^ \rangle \in End(V) from
Schur's lemma
In mathematics, Schur's lemma is an elementary but extremely useful statement in representation theory of groups and algebras. In the group case it says that if ''M'' and ''N'' are two finite-dimensional irreducible representations
of a gro ...
. Suppose
f is a class function which is orthogonal to all the characters. Then by the above we have
\rho _f = 0 whenever
\rho is irreducible. But then it follows that
\rho _f = 0 for all
\rho , by decomposability. Take
\rho to be the regular representation. Applying
\rho _f to some particular basis element
g, we get
f(g)=0 . Since this is true for all
g, we have
f=0.
It follows from the orthonormal property that the number of non-isomorphic irreducible representations of a group
G is equal to the number of
conjugacy class
In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other ...
es of
G.
Furthermore, a class function on
G is a character of
G if and only if it can be written as a linear combination of the distinct irreducible characters
\chi_j with non-negative integer coefficients: if
\varphi is a class function on
G such that
\varphi=c_1 \chi_1 + \cdots + c_k \chi_k where
c_j non-negative integers, then
\varphi is the character of the direct sum
c_1 \tau_1 \oplus \cdots \oplus c_k \tau_k of the representations
\tau_j corresponding to
\chi_j. Conversely, it is always possible to write any character as a sum of irreducible characters.
The
inner product
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, ofte ...
defined above can be extended on the set of all
\Complex-valued functions
L^1(G) on a finite group:
:
(f, h)_G=\frac \sum_f(t)\overline
A
symmetric bilinear form
In mathematics, a symmetric bilinear form on a vector space is a bilinear map from two copies of the vector space to the field of scalars such that the order of the two vectors does not affect the value of the map. In other words, it is a biline ...
can also be defined on
L^1(G):
:
\langle f,h\rangle_G=\frac \sum_f(t)h(t^)
These two forms match on the set of characters. If there is no danger of confusion the index of both forms
(\cdot, \cdot)_G and
\langle\cdot, \cdot\rangle_G will be omitted.
Let
V_1, V_2 be two
\Complex /math>–modules. Note that \Complex /math>–modules are simply representations of G. Since the orthonormal property yields the number of irreducible representations of G is exactly the number of its conjugacy classes, then there are exactly as many simple \Complex /math>–modules (up to isomorphism) as there are conjugacy classes of G.
We define \langle V_1, V_2 \rangle_G:=\dim (\text^G(V_1,V_2)), in which \text^G(V_1,V_2) is the vector space of all G–linear maps. This form is bilinear with respect to the direct sum.
In the following, these bilinear forms will allow us to obtain some important results with respect to the decomposition and irreducibility of representations.
For instance, let \chi_1 and \chi_2 be the characters of V_1 and V_2, respectively. Then \langle\chi_1,\chi_2\rangle_G = (\chi_1, \chi_2)_G=\langle V_1, V_2 \rangle_G.
It is possible to derive the following theorem from the results above, along with Schur's lemma and the complete reducibility of representations.
:Theorem. Let V be a linear representation of G with character \xi. Let V=W_1\oplus \cdots \oplus W_k, where W_j are irreducible. Let (\tau,W) be an irreducible representation of G with character \chi. Then the number of subrepresentations W_j which are isomorphic to W is independent of the given decomposition and is equal to the inner product (\xi, \chi), i.e. the \tau–isotype V(\tau) of V is independent of the choice of decomposition. We also get:
::(\xi, \chi)=\frac=\langle V, W\rangle
:and thus
::\dim (V(\tau))=\dim (\tau)(\xi, \chi).
:Corollary. Two representations with the same character are isomorphic. This means that every representation is determined by its character.
With this we obtain a very useful result to analyse representations:
Irreducibility criterion. Let \chi be the character of the representation V, then we have (\chi, \chi) \in \mathbb_0. The case (\chi, \chi)=1 holds if and only if V is irreducible.
Therefore, using the first theorem, the characters of irreducible representations of G form an orthonormal set on \Complex _(G) with respect to this inner product.
:Corollary. Let V be a vector space with \dim (V)=n. A given irreducible representation V of G is contained n–times in the regular representation. In other words, if R denotes the regular representation of G then we have: R \cong \oplus (W_j)^, in which \ is the set of all irreducible representations of G that are pairwise not isomorphic to each other.
In terms of the group algebra, this means that \Complex cong\oplus_\text(W_j) as algebras.
As a numerical result we get:
:, G, =\chi_R(e)=\dim (R)=\sum_j\dim \left ((W_j)^ \right )=\sum_j(\chi_, \chi_R)\cdot\dim (W_j)=\sum_j\dim (W_j)^2,
in which R is the regular representation and \chi_ and \chi_R are corresponding characters to W_j and R, respectively. Recall that e denotes the neutral element of the group.
This formula is a "necessary and sufficient" condition for the problem of classifying the irreducible representations of a group up to isomorphism. It provides us with the means to check whether we found all the isomorphism classes of irreducible representations of a group.
Similarly, by using the character of the regular representation evaluated at s\neq e, we get the equation:
: 0=\chi_R(s)=\sum_j\dim (W_j)\cdot\chi_(s).
Using the description of representations via the convolution algebra we achieve an equivalent formulation of these equations:
The Fourier inversion formula:
:f(s)=\frac\sum_\dim (V_\rho)\cdot\text(\rho(s^)\cdot \hat(\rho)).
In addition, the Plancherel formula holds:
:\sum_f(s^)h(s)=\frac\sum_\dim (V_)\cdot\text(\hat(\rho)\hat(\rho)).
In both formulas (\rho, V_\rho) is a linear representation of a group G, s\in G and f, h \in L^1(G).
The corollary above has an additional consequence:
:Lemma. Let G be a group. Then the following is equivalent:
:* G is abelian.
:* Every function on G is a class function.
:* All irreducible representations of G have degree 1.
The induced representation
As was shown in the section on
properties of linear representations, we can - by restriction - obtain a representation of a subgroup starting from a representation of a group. Naturally we are interested in the reverse process: Is it possible to obtain the representation of a group starting from a representation of a subgroup? We will see that the induced representation defined below provides us with the necessary concept. Admittedly, this construction is not inverse but rather adjoint to the restriction.
Definitions
Let
\rho: G\to \text(V_\rho) be a linear representation of
G. Let
H be a subgroup and
\rho, _H the restriction. Let
W be a subrepresentation of
\rho_H. We write
\theta:H \to \text(W) to denote this representation. Let
s\in G. The vector space
\rho(s)(W) depends only on the
left coset sH of
s. Let
R be a
representative system of
G/H, then
:
\sum_ \rho(r)(W)
is a subrepresentation of
V_\rho.
A representation
\rho of
G in
V_\rho is called induced by the representation
\theta of
H in
W, if
:
V_\rho= \bigoplus_ W_r.
Here
W_r=\rho(s)(W) for all
s\in rH and for all
r\in R. In other words: the representation
(\rho,V_\rho) is induced by
(\theta, W), if every
v\in V_\rho can be written uniquely as
:
\sum_w_r,
where
w_r \in W_r for every
r\in R.
We denote the representation
\rho of
G which is induced by the representation
\theta of
H as
\rho=\text^G_H(\theta), or in short
\rho=\text(\theta), if there is no danger of confusion. The representation space itself is frequently used instead of the representation map, i.e.
V=\text^G_H(W), or
V=\text(W), if the representation
V is induced by
W.
Alternative description of the induced representation
By using the
group algebra we obtain an alternative description of the induced representation:
Let
G be a group,
V a
\Complex /math>–module and W a \Complex /math>–submodule of V corresponding to the subgroup H of G. We say that V is induced by W if V= \Complex otimes_W, in which G acts on the first factor: s\cdot (e_t \otimes w)=e_\otimes w for all s,t\in G, w\in W.
Properties
The results introduced in this section will be presented without proof. These may be found in
''">'' and
''">''.
:Uniqueness and existence of the induced representation. Let
(\theta, W_\theta) be a linear representation of a subgroup
H of
G. Then there exists a linear representation
(\rho, V_\rho) of
G, which is induced by
(\theta, W_\theta). Note that this representation is unique up to isomorphism.
:Transitivity of induction. Let
W be a representation of
H and let
H \leq G \leq K be an ascending series of groups. Then we have
::
\text^K_G(\text^G_H(W))\cong\text^K_H(W).
:Lemma. Let
(\rho, V_\rho) be induced by
(\theta,W_\theta) and let
\rho':G\to\text(V') be a linear representation of
G. Now let
F: W_\theta\to V' be a linear map satisfying the property that
F\circ\theta(t)=\rho'(t)\circ F for all
t\in G. Then there exists a uniquely determined linear map
F':V_\rho\to V', which extends
F and for which
F'\circ\rho(s)=\rho'(s)\circ F' is valid for all
s\in G.
This means that if we interpret
V' as a
\Complex /math>–module, we have \text^H(W_\theta,V') \cong \text^G(V_\rho,V'), where \text^G(V_\rho,V') is the vector space of all \Complex /math>–homomorphisms of V_\rho to V'. The same is valid for \text^H(W_\theta,V').
Induction on class functions. In the same way as it was done with representations, we can - by ''induction'' - obtain a class function on the group from a class function on a subgroup. Let \varphi be a class function on H. We define a function \varphi' on G by
: \varphi'(s)=\frac\sum_^\varphi(t^st).
We say \varphi' is ''induced'' by \varphi and write \text^G_H(\varphi)=\varphi' or \text(\varphi)=\varphi'.
:Proposition. The function \text(\varphi) is a class function on G. If \varphi is the character of a representation W of H, then \text(\varphi) is the character of the induced representation \text(W) of G.
:Lemma. If \psi is a class function on H and \varphi is a class function on G, then we have: \text(\psi \cdot \text\varphi) = (\text \psi) \cdot \varphi.
:Theorem. Let (\rho,V_\rho) be the representation of G induced by the representation (\theta,W_\theta) of the subgroup H. Let \chi_\rho and \chi_\theta be the corresponding characters. Let R be a representative system of G/H. The induced character is given by
::\forall t \in G: \qquad \chi_\rho(t)=\sum_^ \chi_\theta (r^tr)=\frac \sum_^ \chi_\theta(s^ts).
Frobenius reciprocity
As a preemptive summary, the lesson to take from Frobenius reciprocity is that the maps
\text and
\text are
adjoint to each other.
Let
W be an irreducible representation of
H and let
V be an irreducible representation of
G, then the Frobenius reciprocity tells us that
W is contained in
\text(V) as often as
\text(W) is contained in
V.
:Frobenius reciprocity. If
\psi\in\Complex _(H) and
\varphi\in\Complex _(G) we have
\langle \psi, \text(\varphi)\rangle_H=\langle \text(\psi), \varphi\rangle_G.
This statement is also valid for the
inner product
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, ofte ...
.
Mackey's irreducibility criterion
George Mackey established a criterion to verify the irreducibility of induced representations. For this we will first need some definitions and some specifications with respect to the notation.
Two representations
V_1 and
V_2 of a group
G are called disjoint, if they have no irreducible component in common, i.e. if
\langle V_1,V_2\rangle_G =0.
Let
G be a group and let
H be a subgroup. We define
H_s=sHs^\cap H for
s \in G. Let
(\rho, W) be a representation of the subgroup
H. This defines by restriction a representation
\text_(\rho) of
H_s. We write
\text_s(\rho) for
\text_(\rho). We also define another representation
\rho^s of
H_s by
\rho^s(t)=\rho(s^ts). These two representations are not to be confused.
:Mackey's irreducibility criterion. The induced representation
V=\text^G_H(W) is irreducible if and only if the following conditions are satisfied:
:*
W is irreducible
:* For each
s\in G\setminus H the two representations
\rho^s and
\text_s(\rho) of
H_s are disjoint.
For the case of
H normal, we have
H_s=H and
\text_s(\rho)=\rho. Thus we obtain the following:
:Corollary. Let
H be a normal subgroup of
G. Then
\text^G_H(\rho) is irreducible if and only if
\rho is irreducible and not isomorphic to the conjugates
\rho^s for
s \notin H.
Applications to special groups
In this section we present some applications of the so far presented theory to normal subgroups and to a special group, the semidirect product of a subgroup with an abelian normal subgroup.
:Proposition. Let
A be a
normal subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group ...
of the group
G and let
\rho: G\to\text(V) be an irreducible representation of
G. Then one of the following statements has to be valid:
:* either there exists a proper subgroup
H of
G containing
A, and an irreducible representation
\eta of
H which induces
\rho,
:* or
V is an isotypic
\mathbbA-module.
:Proof. Consider
V as a
\mathbbA-module, and decompose it into isotypes as
V=\bigoplus_j. If this decomposition is trivial, we are in the second case. Otherwise, the larger
G-action permutes these isotypic modules; because
V is irreducible as a
\mathbbG-module, the permutation action is
transitive (in fact
primitive). Fix any
j; the
stabilizer in
G of
V_j is elementarily seen to exhibit the claimed properties.
\Box
Note that if
A is abelian, then the isotypic modules of
A are irreducible, of degree one, and all homotheties.
We obtain also the following
:Corollary. Let
A be an abelian normal subgroup of
G and let
\tau be any irreducible representation of
G. We denote with
(G : A) the
index
Index (: indexes or indices) may refer to:
Arts, entertainment, and media Fictional entities
* Index (''A Certain Magical Index''), a character in the light novel series ''A Certain Magical Index''
* The Index, an item on the Halo Array in the ...
of
A in
G. Then
\deg(\tau), (G : A). ''">''
If
A is an abelian subgroup of
G (not necessarily normal), generally
\deg(\tau), (G : A) is not satisfied, but nevertheless
\deg(\tau) \leq (G : A) is still valid.
Classification of representations of a semidirect product
In the following, let
G=A\rtimes H be a semidirect product such that the normal semidirect factor,
A, is abelian. The irreducible representations of such a group
G, can be classified by showing that all irreducible representations of
G can be constructed from certain subgroups of
H. This is the so-called method of “little groups” of Wigner and Mackey.
Since
A is
abelian, the irreducible characters of
A have degree one and form the group
\Chi = \text(A,\Complex^\times). The group
G acts on
\Chi by
(s\chi)(a) = \chi(s^as) for
s \in G, \chi \in \Chi, a \in A.
Let
(\chi_j)_ be a
representative system of the
orbit
In celestial mechanics, an orbit (also known as orbital revolution) is the curved trajectory of an object such as the trajectory of a planet around a star, or of a natural satellite around a planet, or of an artificial satellite around an ...
of
H in
\Chi. For every
j \in \Chi/H let
H_j = \. This is a subgroup of
H. Let
G_j = A \cdot H_j be the corresponding subgroup of
G. We now extend the function
\chi_j onto
G_j by
\chi_j(at) = \chi_j(a) for
a \in A, t \in H_j. Thus,
\chi_j is a class function on
G_j. Moreover, since
t\chi_j = \chi_j for all
t \in H_j, it can be shown that
\chi_j is a group homomorphism from
G_j to
\Complex^\times. Therefore, we have a representation of
G_j of degree one which is equal to its own character.
Let now
\rho be an irreducible representation of
H_j. Then we obtain an irreducible representation
\tilde of
G_j, by combining
\rho with the
canonical projection
In mathematics, when the elements of some set S have a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set S into equivalence classes. These equivalence classes are constructed so that elements a ...
G_j \to H_j. Finally, we construct the
tensor product
In mathematics, the tensor product V \otimes W of two vector spaces V and W (over the same field) is a vector space to which is associated a bilinear map V\times W \rightarrow V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of ...
of
\chi_j and
\tilde. Thus, we obtain an irreducible representation
\chi_j\otimes \tilde of
G_j.
To finally obtain the classification of the irreducible representations of
G we use the representation
\theta_ of
G, which is induced by the tensor product
\chi_j\otimes \tilde. Thus, we achieve the following result:
:Proposition.
:*
\theta_ is irreducible.
:* If
\theta_ and
\theta_ are isomorphic, then
j = j' and additionally
\rho is isomorphic to
\rho'.
:* Every irreducible representation of
G is isomorphic to one of the
\theta_.
Amongst others, the criterion of Mackey and a conclusion based on the Frobenius reciprocity are needed for the proof of the proposition. Further details may be found in
''">''.
In other words, we classified all irreducible representations of
G=A \rtimes H.
Representation ring
The representation ring of
G is defined as the abelian group
:
R(G)= \left \.
With the multiplication provided by the
tensor product
In mathematics, the tensor product V \otimes W of two vector spaces V and W (over the same field) is a vector space to which is associated a bilinear map V\times W \rightarrow V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of ...
,
R(G) becomes a ring. The elements of
R(G) are called virtual representations.
The character defines a
ring homomorphism
In mathematics, a ring homomorphism is a structure-preserving function between two rings. More explicitly, if ''R'' and ''S'' are rings, then a ring homomorphism is a function that preserves addition, multiplication and multiplicative identity ...
in the set of all class functions on
G with complex values
:
\begin \chi: R(G)\to\Complex _(G)\\ \sum a_j \tau_j \mapsto \sum a_j \chi_j \end
in which the
\chi_j are the irreducible characters corresponding to the
\tau_j.
Because a representation is determined by its character,
\chi is
injective
In mathematics, an injective function (also known as injection, or one-to-one function ) is a function that maps distinct elements of its domain to distinct elements of its codomain; that is, implies (equivalently by contraposition, impl ...
. The images of
\chi are called virtual characters.
As the irreducible characters form an
orthonormal basis
In mathematics, particularly linear algebra, an orthonormal basis for an inner product space V with finite Dimension (linear algebra), dimension is a Basis (linear algebra), basis for V whose vectors are orthonormal, that is, they are all unit vec ...
of
\Complex _, \chi induces an isomorphism
:
\chi_\Complex : R(G)\otimes\Complex \to \Complex _(G).
This isomorphism is defined on a basis out of
elementary tensors (\tau_j\otimes1)_ by
\chi_(\tau_j\otimes1)=\chi_j respectively
\chi_(\tau_j\otimes z)=z\chi_j, and extended
bilinearly.
We write
\mathcal^+(G) for the set of all characters of
G and
\mathcal(G) to denote the group generated by
\mathcal^+(G), i.e. the set of all differences of two characters. It then holds that
\mathcal(G)=\Z \chi_1\oplus \cdots \oplus\Z \chi_m and
\mathcal(G)=\text(\chi)=\chi(R(G)). Thus, we have
R(G)\cong\mathcal(G) and the virtual characters correspond to the virtual representations in an optimal manner.
Since
\mathcal(G)=\text(\chi) holds,
\mathcal(G) is the set of all virtual characters. As the product of two characters provides another character,
\mathcal(G) is a subring of the ring
\Complex_(G) of all class functions on
G. Because the
\chi_i form a basis of
\Complex _(G) we obtain, just as in the case of
R(G), an isomorphism
\Complex \otimes \mathcal(G)\cong\Complex _(G).
Let
H be a subgroup of
G. The restriction thus defines a ring homomorphism
\mathcal(G)\to \mathcal(H), \phi\mapsto \phi, _H, which will be denoted by
\text^G_H or
\text. Likewise, the induction on class functions defines a homomorphism of abelian groups
\mathcal(H)\to \mathcal(G), which will be written as
\text^G_H or in short
\text.
According to the
Frobenius reciprocity, these two homomorphisms are adjoint with respect to the bilinear forms
\langle \cdot,\cdot\rangle_H and
\langle \cdot,\cdot\rangle_G. Furthermore, the formula
\text(\varphi\cdot \text(\psi))=\text(\varphi)\cdot \psi shows that the image of
\text:\mathcal(H)\to \mathcal(G) is an
ideal of the ring
\mathcal(G).
By the restriction of representations, the map
\text can be defined analogously for
R(G), and by the induction we obtain the map
\text for
R(G). Due to the Frobenius reciprocity, we get the result that these maps are adjoint to each other and that the image
\text(\text)=\text(R(H)) is an
ideal of the ring
R(G).
If
A is a commutative ring, the homomorphisms
\text and
\text may be extended to
A–linear maps:
:
\begin
A\otimes \text: A\otimes R(G) \to A\otimes R(H)\\
\left (a \otimes \sum a_j \tau_j \right ) \mapsto \left (a \otimes \sum a_j \text(\tau_j) \right )
\end, \qquad \begin
A\otimes \text: A\otimes R(H) \to A\otimes R(G)\\
\left (a \otimes \sum a_j \eta_j \right )\mapsto \left (a \otimes \sum a_j \text(\eta_j) \right )
\end
in which
\eta_j are all the irreducible representations of
H up to isomorphism.
With
A=\Complex we obtain in particular that
\text and
\text supply homomorphisms between
\Complex _(G) and
\Complex _(H).
Let
G_1 and
G_2 be two groups with respective representations
(\rho_1, V_1) and
(\rho_2, V_2). Then,
\rho_1\otimes\rho_2 is the representation of the
direct product G_1\times G_2 as was shown in a
previous section. Another result of that section was that all irreducible representations of
G_1\times G_2 are exactly the representations
\eta_1\otimes\eta_2, where
\eta_1 and
\eta_2 are irreducible representations of
G_1 and
G_2, respectively. This passes over to the representation ring as the identity
R(G_1\times G_2)=R(G_1)\otimes_ R(G_2), in which
R(G_1)\otimes_ R(G_2) is the
tensor product
In mathematics, the tensor product V \otimes W of two vector spaces V and W (over the same field) is a vector space to which is associated a bilinear map V\times W \rightarrow V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of ...
of the representation rings as
\Z–modules.
Induction theorems
Induction theorems relate the representation ring of a given finite group ''G'' to representation rings of a family ''X'' consisting of some subsets ''H'' of ''G''. More precisely, for such a collection of subgroups, the induction functor yields a map
:
\varphi: \text:\bigoplus_\mathcal(H) \to \mathcal(G); induction theorems give criteria for the surjectivity of this map or closely related ones.
''Artin's induction theorem'' is the most elementary theorem in this group of results. It asserts that the following are equivalent:
* The
cokernel
The cokernel of a linear mapping of vector spaces is the quotient space of the codomain of by the image of . The dimension of the cokernel is called the ''corank'' of .
Cokernels are dual to the kernels of category theory, hence the nam ...
of
\varphi is finite.
*
G is the union of the conjugates of the subgroups belonging to
X, i.e.
G=\bigcup_sHs^.
Since
\mathcal(G) is finitely generated as a group, the first point can be rephrased as follows:
*For each character
\chi of
G, there exist virtual characters
\chi_H \in \mathcal(H), \,H\in X and an integer
d\geq 1, such that
d\cdot\chi = \sum_\text^G_H(\chi_H).
gives two proofs of this theorem. For example, since ''G'' is the union of its cyclic subgroups, every character of
G is a linear combination with rational coefficients of characters induced by characters of
cyclic subgroups of
G. Since the representations of cyclic groups are well-understood, in particular the irreducible representations are one-dimensional, this gives a certain control over representations of ''G''.
Under the above circumstances, it is not in general true that
\varphi is surjective. ''
Brauer's induction theorem'' asserts that
\varphi is surjective, provided that ''X'' is the family of all ''elementary subgroups''.
Here a group ''H'' is
elementary if there is some prime ''p'' such that ''H'' is the
direct product of a
cyclic group
In abstract algebra, a cyclic group or monogenous group is a Group (mathematics), group, denoted C_n (also frequently \Z_n or Z_n, not to be confused with the commutative ring of P-adic number, -adic numbers), that is Generating set of a group, ge ...
of order prime to
p and a
p–group.
In other words, every
character of
G is a linear combination with integer coefficients of characters induced by characters of elementary subgroups.
The elementary subgroups ''H'' arising in Brauer's theorem have a richer representation theory than cyclic groups, they at least have the property that any irreducible representation for such ''H'' is induced by a one-dimensional representation of a (necessarily also elementary) subgroup
K \subset H. (This latter property can be shown to hold for any
supersolvable group, which includes
nilpotent groups and, in particular, elementary groups.) This ability to induce representations from degree 1 representations has some further consequences in the representation theory of finite groups.
Real representations
For proofs and more information about representations over general subfields of
\Complex please refer to
''">''.
If a group
G acts on a real vector space
V_0, the corresponding representation on the complex vector space
V=V_0\otimes_\R \Complex is called real (
V is called the
complexification of
V_0). The corresponding representation mentioned above is given by
s \cdot(v_0\otimes z) = (s\cdot v_0)\otimes z for all
s\in G, v_0\in V_0, z\in \Complex.
Let
\rho be a real representation. The linear map
\rho(s) is
\R-valued for all
s\in G. Thus, we can conclude that the character of a real representation is always real-valued. But not every representation with a real-valued character is real. To make this clear, let
G be a finite, non-abelian subgroup of the group
:
\text(2)= \left \.
Then
G \subset \text(2) acts on
V=\Complex^2. Since the trace of any matrix in
\text(2) is real, the character of the representation is real-valued. Suppose
\rho is a real representation, then
\rho(G) would consist only of real-valued matrices. Thus,
G \subset \text(2)\cap\text_2(\R )=\text(2)=S^1. However the circle group is abelian but
G was chosen to be a non-abelian group. Now we only need to prove the existence of a non-abelian, finite subgroup of
\text(2). To find such a group, observe that
\text(2) can be identified with the units of the
quaternion
In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. The algebra of quater ...
s. Now let
G=\. The following two-dimensional representation of
G is not real-valued, but has a real-valued character:
:
\begin \rho : G \to \text_2(\Complex ) \\ pt\rho(\pm 1)=\begin \pm1&0\\0& \pm1\end, \quad \rho(\pm i)=\begin \pm i&0\\0&\mp i\end, \quad \rho(\pm j)=\begin 0&\pm i\\ \pm i&0\end \end
Then the image of
\rho is not real-valued, but nevertheless it is a subset of
\text(2). Thus, the character of the representation is real.
:Lemma. An irreducible representation
V of
G is real if and only if there exists a
nondegenerate symmetric bilinear form
In mathematics, a symmetric bilinear form on a vector space is a bilinear map from two copies of the vector space to the field of scalars such that the order of the two vectors does not affect the value of the map. In other words, it is a biline ...
B on
V preserved by
G.
An irreducible representation of
G on a real vector space can become reducible when extending the field to
\Complex. For example, the following real representation of the cyclic group is reducible when considered over
\Complex
:
\begin \rho : \Z /m\Z \to \text_2(\R ) \\ pt \rho(k)= \begin \cos \left(\frac\right ) & \sin \left (\frac \right ) \\ -\sin \left(\frac \right ) & \cos \left (\frac \right )\end \end
Therefore, by classifying all the irreducible representations that are real over
\Complex, we still haven't classified all the irreducible real representations. But we achieve the following:
Let
V_0 be a real vector space. Let
G act irreducibly on
V_0 and let
V=V_0\otimes \Complex. If
V is not irreducible, there are exactly two irreducible factors which are complex conjugate representations of
G.
Definition. A quaternionic representation is a (complex) representation
V, which possesses a
G–invariant anti-linear homomorphism
J:V\to V satisfying
J^2=-\text. Thus, a
skew-symmetric, nondegenerate
G–invariant bilinear form defines a quaternionic structure on
V.
:Theorem. An irreducible representation
V is one and only one of the following:
:: (i) complex:
\chi_V is not real-valued and there exists no
G–invariant
nondegenerate bilinear form on
V.
:: (ii) real:
V=V_0\otimes \Complex , a real representation;
V has a
G–invariant nondegenerate
symmetric bilinear form
In mathematics, a symmetric bilinear form on a vector space is a bilinear map from two copies of the vector space to the field of scalars such that the order of the two vectors does not affect the value of the map. In other words, it is a biline ...
.
:: (iii) quaternionic:
\chi_V is real, but
V is not real;
V has a
G–invariant skew-symmetric nondegenerate bilinear form.
Representations of particular groups
Symmetric groups
Representation of the
symmetric group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric grou ...
s
S_n have been intensely studied. Conjugacy classes in
S_n (and therefore, by the above, irreducible representations) correspond to
partitions of ''n''. For example,
S_3 has three irreducible representations, corresponding to the partitions
:3; 2+1; 1+1+1
of 3. For such a partition, a
Young tableau is a graphical device depicting a partition. The irreducible representation corresponding to such a partition (or Young tableau) is called a
Specht module.
Representations of different symmetric groups are related: any representation of
S_n \times S_m yields a representation of
S_ by induction, and vice versa by restriction. The direct sum of all these representation rings
:
\bigoplus_ R(S_n)
inherits from these constructions the structure of a
Hopf algebra
In mathematics, a Hopf algebra, named after Heinz Hopf, is a structure that is simultaneously a ( unital associative) algebra and a (counital coassociative) coalgebra, with these structures' compatibility making it a bialgebra, and that moreover ...
which, it turns out, is closely related to
symmetric function
In mathematics, a function of n variables is symmetric if its value is the same no matter the order of its arguments. For example, a function f\left(x_1,x_2\right) of two arguments is a symmetric function if and only if f\left(x_1,x_2\right) = f\ ...
s.
Finite groups of Lie type
To a certain extent, the representations of the
GL_n(\mathbf F_q) , as ''n'' varies, have a similar flavor as for the
S_n; the above-mentioned induction process gets replaced by so-called
parabolic induction. However, unlike for
S_n, where all representations can be obtained by induction of trivial representations, this is not true for
GL_n(\mathbf F_q). Instead, new building blocks, known as
cuspidal representations, are needed.
Representations of
GL_n(\mathbf F_q) and more generally, representations of
finite groups of Lie type have been thoroughly studied. describes the representations of
SL_2(\mathbf F_q). A geometric description of irreducible representations of such groups, including the above-mentioned cuspidal representations, is obtained by
Deligne-Lusztig theory, which constructs such representation in the
l-adic cohomology of
Deligne-Lusztig varieties.
The similarity of the representation theory of
S_n and
GL_n(\mathbf F_q) goes beyond finite groups. The
philosophy of cusp forms highlights the kinship of representation theoretic aspects of these types of groups with general linear groups of
local field
In mathematics, a field ''K'' is called a non-Archimedean local field if it is complete with respect to a metric induced by a discrete valuation ''v'' and if its residue field ''k'' is finite. In general, a local field is a locally compact t ...
s such as
Q''p'' and of the ring of
adele
Adele Laurie Blue Adkins (; born 5 May 1988) is an English singer-songwriter. Regarded as a British cultural icon, icon, she is known for her mezzo-soprano vocals and sentimental songwriting. List of awards and nominations received by Adele, ...
s, see .
Outlook—Representations of compact groups
The theory of representations of compact groups may be, to some degree, extended to
locally compact group
In mathematics, a locally compact group is a topological group ''G'' for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are lo ...
s. The representation theory unfolds in this context great importance for harmonic analysis and the study of automorphic forms. For proofs, further information and for a more detailed insight which is beyond the scope of this chapter please consult
''">'' and
''">''.
Definition and properties
A topological group is a group together with a
topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...
with respect to which the group composition and the inversion are
continuous.
Such a group is called compact, if any cover of
G, which is open in the topology, has a finite subcover. Closed subgroups of a compact group are compact again.
Let
G be a compact group and let
V be a finite-dimensional
\Complex–vector space. A linear representation of
G to
V is a continuous group homomorphism
\rho: G \to \text(V), i.e.
\rho(s)v is a continuous function in the two variables
s\in G and
v\in V.
A linear representation of
G into a
Banach space
In mathematics, more specifically in functional analysis, a Banach space (, ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and ...
V is defined to be a continuous group homomorphism of
G into the set of all bijective
bounded linear operators on
V with a continuous inverse. Since
\pi(g)^=\pi(g^), we can do without the last requirement. In the following, we will consider in particular representations of compact groups in
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
s.
Just as with finite groups, we can define the
group algebra and the
convolution algebra. However, the group algebra provides no helpful information in the case of infinite groups, because the continuity condition gets lost during the construction. Instead the convolution algebra
L^1(G) takes its place.
Most properties of representations of finite groups can be transferred with appropriate changes to compact groups. For this we need a counterpart to the summation over a finite group:
Existence and uniqueness of the Haar measure
On a compact group
G there exists exactly one
measure dt, such that:
* It is a left-translation-invariant measure
::
\forall s \in G: \quad \int_ f(t) dt = \int_ f(st)dt.
* The whole group has unit measure:
::
\int_ dt=1,
Such a left-translation-invariant, normed measure is called
Haar measure
In mathematical analysis, the Haar measure assigns an "invariant volume" to subsets of locally compact topological groups, consequently defining an integral for functions on those groups.
This Measure (mathematics), measure was introduced by Alfr� ...
of the group
G.
Since
G is compact, it is possible to show that this measure is also right-translation-invariant, i.e. it also applies
:
\forall s \in G: \quad \int_ f(t) dt = \int_ f(ts)dt.
By the scaling above the Haar measure on a finite group is given by
dt(s)=\tfrac for all
s\in G.
All the definitions to representations of finite groups that are mentioned in the section
”Properties”, also apply to representations of compact groups. But there are some modifications needed:
To define a subrepresentation we now need a closed subspace. This was not necessary for finite-dimensional representation spaces, because in this case every subspace is already closed. Furthermore, two representations
\rho, \pi of a compact group
G are called equivalent, if there exists a bijective, continuous, linear operator
T between the representation spaces whose inverse is also continuous and which satisfies
T\circ\rho(s)=\pi(s)\circ T for all
s\in G.
If
T is unitary, the two representations are called unitary equivalent.
To obtain a
G–invariant
inner product
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, ofte ...
from a not
G–invariant, we now have to use the integral over
G instead of the sum. If
(\cdot, \cdot) is an inner product on a
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
V, which is not invariant with respect to the representation
\rho of
G, then
:
(v, u)_\rho=\int_G(\rho(t)v, \rho(t)u)dt
is a
G–invariant inner product on
V due to the properties of the Haar measure
dt. Thus, we can assume every representation on a Hilbert space to be unitary.
Let
G be a compact group and let
s\in G. Let
L^2(G) be the Hilbert space of the square integrable functions on
G. We define the operator
L_s on this space by
L_s\Phi(t)=\Phi(s^t), where
\Phi\in L^2(G), t\in G.
The map
s\mapsto L_s is a unitary representation of
G. It is called left-regular representation. The right-regular representation is defined similarly. As the Haar measure of
G is also right-translation-invariant, the operator
R_s on
L^2(G) is given by
R_s\Phi(t)=\Phi(ts). The right-regular representation is then the unitary representation given by
s\mapsto R_s. The two representations
s\mapsto L_s and
s\mapsto R_s are dual to each other.
If
G is infinite, these representations have no finite degree. The
left- and right-regular representation as defined at the beginning are isomorphic to the left- and right-regular representation as defined above, if the group
G is finite. This is due to the fact that in this case
L^2(G)\cong L^1(G)\cong\Complex
Constructions and decompositions
The different ways of constructing new representations from given ones can be used for compact groups as well, except for the dual representation with which we will deal later. The
direct sum
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently but analogously for different kinds of structures. As an example, the direct sum of two abelian groups A and B is anothe ...
and the
tensor product
In mathematics, the tensor product V \otimes W of two vector spaces V and W (over the same field) is a vector space to which is associated a bilinear map V\times W \rightarrow V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of ...
with a finite number of summands/factors are defined in exactly the same way as for finite groups. This is also the case for the symmetric and alternating square. However, we need a Haar measure on the
direct product of compact groups in order to extend the theorem saying that the irreducible representations of the product of two groups are (up to isomorphism) exactly the tensor product of the irreducible representations of the factor groups. First, we note that the direct product
G_1\times G_2 of two compact groups is again a compact group when provided with the
product topology
In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-seemin ...
. The Haar measure on the direct product is then given by the product of the Haar measures on the factor groups.
For the dual representation on compact groups we require the
topological dual V' of the vector space
V. This is the vector space of all continuous linear functionals from the vector space
V into the base field. Let
\pi be a representation of a compact group
G in
V.
The dual representation
\pi':G\to\text(V') is defined by the property
:
\forall v\in V, \forall v'\in V', \forall s\in G: \qquad \left \langle\pi'(s)v',\pi(s)v \right \rangle=\langle v',v\rangle := v'(v).
Thus, we can conclude that the dual representation is given by
\pi'(s)v'=v'\circ\pi(s^) for all
v'\in V', s\in G. The map
\pi' is again a continuous group homomorphism and thus a representation.
On Hilbert spaces:
\pi is irreducible if and only if
\pi' is irreducible.
By transferring the results of the section
decompositions to compact groups, we obtain the following theorems:
:Theorem. Every irreducible representation
(\tau,V_\tau) of a compact group into a
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
is finite-dimensional and there exists an
inner product
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, ofte ...
on
V_\tau such that
\tau is unitary. Since the Haar measure is normalized, this inner product is unique.
Every representation of a compact group is isomorphic to a
direct Hilbert sum of irreducible representations.
Let
(\rho,V_\rho) be a unitary representation of the compact group
G. Just as for finite groups we define for an irreducible representation
(\tau, V_\tau) the isotype or isotypic component in
\rho to be the subspace
:
V_\rho(\tau)=\sum_ U.
This is the sum of all invariant closed subspaces
U, which are
G–isomorphic to
V_\tau.
Note that the isotypes of not equivalent irreducible representations are pairwise orthogonal.
:Theorem.
::(i)
V_\rho(\tau) is a closed invariant subspace of
V_\rho.
::(ii)
V_\rho(\tau) is
G–isomorphic to the direct sum of copies of
V_\tau.
::(iii) Canonical decomposition:
V_\rho is the direct Hilbert sum of the isotypes
V_\rho(\tau), in which
\tau passes through all the isomorphism classes of the irreducible representations.
The corresponding projection to the canonical decomposition
p_\tau: V\to V(\tau), in which
V(\tau) is an isotype of
V, is for compact groups given by
:
p_\tau(v)=n_\tau\int_G\overline\rho(t)(v)dt,
where
n_\tau=\dim (V(\tau)) and
\chi_\tau is the character corresponding to the irreducible representation
\tau.
Projection formula
For every representation
(\rho,V) of a compact group
G we define
:
V^G=\.
In general
\rho(s): V\to V is not
G–linear. Let
:
Pv:= \int_G \rho(s)vds.
The map
P is defined as
endomorphism on
V by having the property
:
\left. \left (\int_G \rho(s)v ds \right , w \right )=\int_G (\rho(s)v, w) ds,
which is valid for the inner product of the Hilbert space
V.
Then
P is
G–linear, because of
:
\begin
\left. \left (\int_G \rho(s)(\rho(t)v) ds \right , w \right )&=\int_G \left. \left (\rho \left (tst^ \right )(\rho(t)v) \right , w \right ) ds \\
&= \int_G (\rho(ts)v, w) ds \\
&= \int(\rho(t)\rho(s)v, w) ds \\
&= \left. \left (\rho(t)\int_G \rho(s)v ds \right , w \right ),
\end
where we used the invariance of the Haar measure.
:Proposition. The map
P is a projection from
V to
V^G.
If the representation is finite-dimensional, it is possible to determine the direct sum of the trivial subrepresentation just as in the case of finite groups.
Characters, Schur's lemma and the inner product
Generally, representations of compact groups are investigated on
Hilbert- and
Banach space
In mathematics, more specifically in functional analysis, a Banach space (, ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and ...
s. In most cases they are not finite-dimensional. Therefore, it is not useful to refer to
characters when speaking about representations of compact groups. Nevertheless, in most cases it is possible to restrict the study to the case of finite dimensions:
Since irreducible representations of compact groups are finite-dimensional and unitary (see results from the
first subsection), we can define irreducible characters in the same way as it was done for finite groups.
As long as the constructed representations stay finite-dimensional, the characters of the newly constructed representations may be obtained in the same way as for finite groups.
Schur's lemma is also valid for compact groups:
Let
(\pi,V) be an irreducible unitary representation of a compact group
G. Then every bounded
operator T:V\to V satisfying the property
T\circ\pi(s)=\pi(s)\circ T for all
s\in G, is a scalar multiple of the identity, i.e. there exists
\lambda \in \Complex such that
T=\lambda \text.
Definition. The formula
:
(\Phi, \Psi)=\int_G\Phi(t)\overlinedt.
defines an inner product on the set of all square integrable functions
L^2(G) of a compact group
G. Likewise
:
\langle\Phi,\Psi\rangle=\int_G\Phi(t)\Psi(t^)dt.
defines a bilinear form on
L^2(G) of a compact group
G.
The bilinear form on the representation spaces is defined exactly as it was for finite groups and analogous to finite groups the following results are therefore valid:
:Theorem. Let
\chi and
\chi' be the characters of two non-isomorphic irreducible representations
V and
V', respectively. Then the following is valid
:*
(\chi, \chi')=0.
:*
(\chi, \chi)=1, i.e.
\chi has "norm"
1.
:Theorem. Let
V be a representation of
G with character
\chi_V. Suppose
W is an irreducible representation of
G with character
\chi_W. The number of subrepresentations of
V equivalent to
W is independent of any given decomposition for
V and is equal to the inner product
(\chi_V, \chi_W).
:Irreducibility Criterion. Let
\chi be the character of the representation
V, then
(\chi, \chi) is a positive integer. Moreover
(\chi, \chi)=1 if and only if
V is irreducible.
Therefore, using the first theorem, the characters of irreducible representations of
G form an
orthonormal set on
L^2(G) with respect to this inner product.
:Corollary. Every irreducible representation
V of
G is contained
\dim (V)–times in the left-regular representation.
:Lemma. Let
G be a compact group. Then the following statements are equivalent:
:*
G is abelian.
:* All the irreducible representations of
G have degree
1.
:Orthonormal Property. Let
G be a group. The non-isomorphic irreducible representations of
G form an
orthonormal basis
In mathematics, particularly linear algebra, an orthonormal basis for an inner product space V with finite Dimension (linear algebra), dimension is a Basis (linear algebra), basis for V whose vectors are orthonormal, that is, they are all unit vec ...
in
L^2(G) with respect to this inner product.
As we already know that the non-isomorphic irreducible representations are orthonormal, we only need to verify that they generate
L^2(G). This may be done, by proving that there exists no non-zero square integrable function on
G orthogonal to all the irreducible characters.
Just as in the case of finite groups, the number of the irreducible representations up to isomorphism of a group
G equals the number of conjugacy classes of
G. However, because a compact group has in general infinitely many conjugacy classes, this does not provide any useful information.
The induced representation
If
H is a closed subgroup of finite
index
Index (: indexes or indices) may refer to:
Arts, entertainment, and media Fictional entities
* Index (''A Certain Magical Index''), a character in the light novel series ''A Certain Magical Index''
* The Index, an item on the Halo Array in the ...
in a compact group
G, the definition of the
induced representation
In group theory, the induced representation is a group representation, representation of a group, , which is constructed using a known representation of a subgroup . Given a representation of '','' the induced representation is, in a sense, the "m ...
for finite groups may be adopted.
However, the induced representation can be defined more generally, so that the definition is valid independent of the index of the subgroup
H.
For this purpose let
(\eta, V_\eta) be a unitary representation of the closed subgroup
H. The continuous induced representation
\text^G_H(\eta)=(I,V_I) is defined as follows:
Let
V_I denote the Hilbert space of all measurable, square integrable functions
\Phi:G\to V_\eta with the property
\Phi(ls)=\eta(l)\Phi(s) for all
l\in H, s\in G. The norm is given by
:
\, \Phi\, _G=\text_\, \Phi(s)\,
and the representation
I is given as the right-translation:
I(s)\Phi(k)=\Phi(ks).
The induced representation is then again a unitary representation.
Since
G is compact, the induced representation can be decomposed into the direct sum of irreducible representations of
G. Note that all irreducible representations belonging to the same isotype appear with a multiplicity equal to
\dim (\text_G(V_\eta,V_I))=\langle V_\eta,V_I \rangle_G.
Let
(\rho, V_\rho) be a representation of
G, then there exists a canonical isomorphism
:
T: \text_G(V_\rho, I^G_H(\eta))\to \text_H(V_\rho, _H, V_\eta).
The
Frobenius reciprocity transfers, together with the modified definitions of the inner product and of the bilinear form, to compact groups. The theorem now holds for square integrable functions on
G instead of class functions, but the subgroup
H must be closed.
The Peter-Weyl Theorem
Another important result in the representation theory of compact groups is the Peter-Weyl Theorem. It is usually presented and proven in
harmonic analysis
Harmonic analysis is a branch of mathematics concerned with investigating the connections between a function and its representation in frequency. The frequency representation is found by using the Fourier transform for functions on unbounded do ...
, as it represents one of its central and fundamental statements.
:The Peter-Weyl Theorem. Let
G be a compact group. For every irreducible representation
(\tau, V_\tau) of
G let
\ be an
orthonormal basis
In mathematics, particularly linear algebra, an orthonormal basis for an inner product space V with finite Dimension (linear algebra), dimension is a Basis (linear algebra), basis for V whose vectors are orthonormal, that is, they are all unit vec ...
of
V_\tau. We define the ''matrix coefficients''
\tau_(s)=\langle\tau(s)e_k,e_l\rangle for
k,l \in \, s\in G. Then we have the following
orthonormal basis
In mathematics, particularly linear algebra, an orthonormal basis for an inner product space V with finite Dimension (linear algebra), dimension is a Basis (linear algebra), basis for V whose vectors are orthonormal, that is, they are all unit vec ...
of
L^2(G):
::
\left (\sqrt\tau_ \right)_
We can reformulate this theorem to obtain a generalization of the Fourier series for functions on compact groups:
:The Peter-Weyl Theorem (Second version).
[A proof of this theorem and more information regarding the representation theory of compact groups may be found in ''">''.] There exists a natural
G\times G–isomorphism
::
L^2(G)\cong_ \widehat_\text(V_\tau)\cong_ \widehat_ \tau\otimes\tau^*
:in which
\widehat is the set of all irreducible representations of
G up to isomorphism and
V_\tau is the representation space corresponding to
\tau. More concretely:
::
\begin\Phi \mapsto \sum_\tau(\Phi) \\ pt\tau(\Phi)=\int_G \Phi(t)\tau(t)dt\in \text(V_\tau) \end
History
The general features of the
representation theory
Representation theory is a branch of mathematics that studies abstract algebra, abstract algebraic structures by ''representing'' their element (set theory), elements as linear transformations of vector spaces, and studies Module (mathematics), ...
of a
finite group
In abstract algebra, a finite group is a group whose underlying set is finite. Finite groups often arise when considering symmetry of mathematical or physical objects, when those objects admit just a finite number of structure-preserving tra ...
''G'', over the
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
s, were discovered by
Ferdinand Georg Frobenius in the years before 1900. Later the
modular representation theory
Modular representation theory is a branch of mathematics, and is the part of representation theory that studies linear representations of finite groups over a field ''K'' of positive characteristic ''p'', necessarily a prime number. As well as h ...
of
Richard Brauer
Richard Dagobert Brauer (February 10, 1901 – April 17, 1977) was a German and American mathematician. He worked mainly in abstract algebra, but made important contributions to number theory. He was the founder of modular representation t ...
was developed.
See also
*
Character theory
*
Real representation
*
Schur orthogonality relations
*
McKay conjecture
*
Burnside ring
Literature
*
*
*
''
*
'' Fulton, William; Harris, Joe: ''Representation Theory A First Course.'' Springer-Verlag, New York 1991, .
*
'' Alperin, J.L.; Bell, Rowen B.: ''Groups and Representations'' Springer-Verlag, New York 1995, .
*
'' Deitmar, Anton: ''Automorphe Formen'' Springer-Verlag 2010, , p. 89-93,185-189
*
'' Echterhoff, Siegfried; Deitmar, Anton: ''Principles of harmonic analysis'' Springer-Verlag 2009, , p. 127-150
*
'' Lang, Serge: '' Algebra'' Springer-Verlag, New York 2002, , p. 663-729
*
''
References
{{DEFAULTSORT:Representation Theory Of Finite Groups
Finite groups
Representation theory