Skip to content
The Lumenary

Practice · First-year graduate

Representation theory of finite groups

Representation theory of finite groups

Warm-upHuman

The alternating group A4A_4 (order 1212) has 44 conjugacy classes and exactly 33 one-dimensional complex representations. What is the degree of its remaining irreducible representation?

Representation theory of finite groups

Warm-upHuman

Which statements are true for complex representations of a finite group GG? (Choose all that apply.)

Choose all that apply

Representation theory of finite groups

CoreHuman

A representation of S3S_3 has character χ=(4,0,1)\chi = (4, 0, 1) on the classes of the identity, the transpositions and the 33-cycles (sizes 1,3,21, 3, 2). Decompose it into irreducibles (1\mathbf{1} trivial, ε\varepsilon sign, VV two-dimensional).

Choose one

Representation theory of finite groups

CoreHuman

S4S_4 permutes the 66 two-element subsets of {1,2,3,4}\{1, 2, 3, 4\}. The character of this permutation representation on the classes 1,(12)(34),(12),(123),(1234)1, (12)(34), (12), (123), (1234) (sizes 1,3,6,8,61, 3, 6, 8, 6) is (6,2,2,0,0)(6, 2, 2, 0, 0). Compute ⟨χ,χ⟩\langle \chi, \chi \rangle, the number of irreducible constituents counted with squared multiplicity.

Representation theory of finite groups

CoreHuman

In the proof of Maschke's theorem we replace a projection π:V→W\pi : V \to W by π0=1∣G∣∑ggπg−1\pi_0 = \frac{1}{|G|}\sum_g g\pi g^{-1}. Which step uses that the characteristic of kk does not divide ∣G∣|G|?

Choose one

Representation theory of finite groups

StretchHuman

Which of these representations are not completely reducible? (Choose all that apply.)

Choose all that apply

Representation theory of finite groups

CoreHuman

Let ω\omega be a non-trivial one-dimensional character of A3={1,(123),(132)}≤S3A_3 = \{1, (123), (132)\} \le S_3. What is Ind⁡A3S3ω\operatorname{Ind}_{A_3}^{S_3} \omega?

Choose one

Representation theory of finite groups

CoreFormal

Which Lean statement says that the shear representation over F2\mathbb{F}_2 is not completely reducible, as in maschke_fails? (Here L abbreviates Submodule.span (ZMod 2) {((1 : ZMod 2), (0 : ZMod 2))}.)

Choose one

Representation theory of finite groups

StretchComputational

Write multiplicities(chi, table, sizes): given a real character chi (values on the conjugacy classes), the character table (a list of rows of real irreducible characters, same class order) and the class sizes, return the list of multiplicities mi=1∣G∣∑C∣C∣ χ(C) χi(C)m_i = \frac{1}{|G|}\sum_C |C|\,\chi(C)\,\chi_i(C) as integers, where ∣G∣=∑C∣C∣|G| = \sum_C |C|.

Runs entirely in your browser, in an isolated worker. Nothing is sent to a server.