In the mathematical field of representation theory of groups, the induced representation can be used to construct a representation of the group containing it from a representation of a subgroup.
Problem
With the help of the restriction one can get a representation of a subgroup from a representation of a group .
The question that now arises is that of the reverse process. Can one get a representation of the whole group from a given representation of a subgroup?
It can be seen that the induced representation defined below delivers exactly what we are looking for. However, this construction is not inverse, but adjoint to the restriction.
definition
Let be a linear representation of Be a subgroup and the constraint. Let be a partial representation of Write for this representation. Let the vector space depend only on the left minor class of . Let be a representative system of then is a partial representation of
A representation of in is called induced by the representation of in if There is a system of representatives of as above and for each
In other words:
the representation is induced by if each can be clearly written as, where for each
We write or short, if there is no likelihood of confusion for the representation of induced representation of Man also often used the representation of spaces rather than the representation of picture and writes or short if the representation of induced.
Alternative description of the induced representation
Via the group algebra we get an alternative description of the induced representation:
Let a group, a module and a submodule of belong to the subgroup of
Then is called by induced, if where operates on the first factor: for all
properties
The results presented in this section are presented without evidence. These can be found in.
Uniqueness and existence of the induced representation
Let there be a linear representation of a subgroup of Then there is a linear representation of which is induced by and this is unique except for isomorphism.
Transitivity of induction
Let be a representation of
For an ascending chain of groups holds
lemma
Be of induced and is a linear representation of and is a linear map with the property that for all Then there exists a uniquely determined linear map which continues and for all true.
That is, if one understands as a module, the following applies: where denotes the vector space of all homomorphisms from to . Same goes for
Induction on class functions
As with representations, we can also obtain a class function on the large group from class functions on a subgroup via so-called induction.
Be a class function , define the function on by
We say is induced by and writing or
Proposition
The function is a class function on
If the character of a representation of is, then is the character of the induced representation of
lemma
If a class function is open and a class function is open:
sentence
Let be the representation of and be the corresponding characters induced by the representation of the subgroup . Let be a representative system of For each :
Frobenius reciprocity
The Frobenius reciprocity says, on the one hand, that the images and are adjoint to one another. If, on the other hand, we consider an irreducible representation of and be an irreducible representation of, then with Frobenius reciprocity we also get that in is contained as often as in
Then be and be is true
The statement also applies to the scalar product .
Mackey's criterion
The induced representation is irreducible if and only if the following conditions are met:
-
is irreducible.
- For each , the two representations and of disjoint.
Applications to special groups
In this section some applications of the theory presented so far to normal subgroups and to a special group, the semi-direct product of a subgroup with an Abelian normal divisor, are presented.
Proposition
Let be a normal subgroup of the group and be an irreducible representation of Then:
- Either there is a real subgroup of which contains and an irreducible representation of which induces
- or the restriction of to is isotypic.
If Abelian, the second point of the above proposition is equivalent to that there is a homothety for everyone
We also get the following
Corollary
Be an Abelian normal subgroup of and any irreducible representation of whether the index of in
true then:
Is an Abelian subgroup of (not necessarily normal), so is no longer in general , however, still applies
In the following we show how all irreducible representations of a group, which are semi-direct products of an Abelian normal divisor and a subgroup, are classified .
Be in the following and subsets of the group where is normal. In the following we assume that is abelian, and the semi-direct product of and thus .
Now we classify the irreducible representations of such a group by showing that the irreducible representations of can be constructed from certain subgroups of . This is the "small group" method of Wigner and Mackey.
Since Abelian is to have the irreducible representations of degree and its characters form a group , the group operated on by for
Be a representative system of the railway from in Each was This is a subset of Be the corresponding subgroup of Then we extend the function on from in which we, for putting.
This means that there is a class function on
Da for all one can show that there is also a group homomorphism from to . It is therefore a representation of the degree that corresponds to its own character.
Let now be an irreducible representation of Then one gets an irreducible representation of in which one connects with the canonical projection . Finally we build the tensor product of and and get an irreducible representation of.
To show the classification now we consider the representation of which is induced by.
This gives us the following result:
Proposition
-
is irreducible.
- If and are isomorphic, then is and is isomorphic to
- Every irreducible representation of is isomorphic to one of the
For the proof of the proposition, among other things, Mackey's criterion and a conclusion from Frobenius reciprocity are required. More details can be found in.
That is, we have classified all irreducible representations in the group .
Artin's theorem
- sentence
Let be a family of subsets of a finite group Let be the homomorphism defined by the family of Then the following properties are equivalent:
- The coke of is finite.
-
is the union of the conjugates of the subgroups belonging to it, ie
Since the group is finite, the first point can be reformulated as follows:
- For every character from there exist virtual characters and an integer so
The same applies to the rings and there
This theorem is proven in
- Corollary
Each character of is a rational linear combination of characters induced by characters of cyclic subsets of .
This follows immediately from Artin's theorem, since it is the union of all conjugates of its cyclic subsets.
Induced representations for compact groups
If there is a closed subgroup of finite index in the compact group , the definition of the induced representation can be adopted as for finite groups.
However, the induced representation can also be defined more generally, so that the definition is also valid if the index of in is not finite.
Be to a unitary representation of the completed sub-group The steadily induced representation is defined as follows:
With we denote the Hilbert space of all measurable, square-integrable functions with the property that for all is the standard and the presentation is given by law Translation:
The induced representation then again a unitary representation.
Since is compact, the induced representation is broken down into the direct sum of irreducible representations of. It is true that all irreducible representations belonging to the same isotype occur with the multiplicity that corresponds.
If there is a representation of then there is a canonical isomorphism
The Frobenius reciprocity is carried over to compact groups with the modified definition of the scalar product and the bilinear form, whereby the theorem applies here to quadratically integrable functions instead of to class functions and the subgroup must be closed.
literature
-
^ Jean-Pierre Serre: Linear Representations of Finite Groups. Springer Verlag, New York 1977, ISBN 0-387-90190-6
-
^ William Fulton, Joe Harris: Representation Theory A First Course. Springer-Verlag, New York 1991, ISBN 0-387-97527-6
-
↑ Serre, op. Cit.
-
↑ Serre, op. Cit.