• Aucun résultat trouvé

(b) set of edges of the tetrahedron

N/A
N/A
Protected

Academic year: 2022

Partager "(b) set of edges of the tetrahedron"

Copied!
1
0
0

Texte intégral

(1)

MA 3416: Group representations Homework problems due March 23, 2015

1.Let(V, ρ) be a complex representation of a finite groupG.

(a) Prove that Gρ={g∈G|ρ(g) =λIdV for someλ∈C} is a normal subgroup ofG.

(b) Prove that for any g ∈G we have |χV(g)| 6dim(V). (Hint: trace of an operator is equal to the sum of its eigenvalues.)

(c) Prove that |χV(g)| = dim(V) if and only if g belongs to the subgroup Gρ from the previous problem.

2.Consider the action ofS4 on each of the following sets:

(a) set of vertices of the tetrahedron;

(b) set of edges of the tetrahedron;

(c) set of faces of the tetrahedron;

(d) set of edges of the cube.

Each of these actions leads to a representation of S4 on the vector space of functions on the corresponding finite set. Compute the characters of these representations, find multiplic- ities of irreducibles in them, and describe the corresponding invariant subspaces where those irreducibles are realised.

3. Find multiplicities of irreducible representations of A5 in CM, where M is the set of faces of the dodecahedron.

4. For each two of five complex irreducible representations of A5, find multiplicities of irreducibles in their tensor product.

5.Suppose that G1 and G2 are two finite groups.

(a) Describe the conjugacy classes of G1×G2, assuming conjugacy classes of G1 and G2 known.

(b) Show that if (V1, ρ1) is a complex irreducible representation of G1 and (V2, ρ2) is a complex irreducible representation ofG2, then (V1⊗V2, ρ1ρ2), where

1ρ2)(g1, g2) =ρ1(g1)⊗ρ2(g2),

is a complex irreducible representation of G1 ×G2. Show that every complex irreducible representation ofG1×G2 can be obtained this way.

Références

Documents relatifs

The proof of Proposition 1 depends on two Lemmata; the first one belongs to commutative algebra, the second one is of combinatorial nature... We start with a preliminary

The static semantics of λ H shows the benefits of using a type language as ex- pressive as TL. We can now define the type constructors of λ H as constructors of an inductive kind

On the same cover sheet, please put your name, student number, and name of the degree (Maths/TP/TSM), and staple all the sheets together?. (Failure to do that may result

(If there is time left) Show that V is an irreducible representation of the group A 4 of even permutations of four elements, and describe all other complex irreducible

Curtis duality for finite reductive groups and show how to compute it within a given Harish-Chandra series using a similar duality for the corresponding Hecke algebra.. The

These results of stochiometry and space distribution of the Mn atoms, are in good support of the α network being a reasonable idealization of the Mn chemical order in i-AlPdMn

The ‘real’ world, with a focus on the professional relationships between the protagonists coming from various communities, and the weight of hard, physical evidence

1) Apart from special cases the unitary dual G of a real semi-simple Lie group is not known. Duflo [-18], there are two isolated points in ~, the trivial representation