Representation theory of finite groups
Warm-upHumanThe alternating group (order ) has conjugacy classes and exactly one-dimensional complex representations. What is the degree of its remaining irreducible representation?
The alternating group (order ) has conjugacy classes and exactly one-dimensional complex representations. What is the degree of its remaining irreducible representation?
Which statements are true for complex representations of a finite group ? (Choose all that apply.)
A representation of has character on the classes of the identity, the transpositions and the -cycles (sizes ). Decompose it into irreducibles ( trivial, sign, two-dimensional).
permutes the two-element subsets of . The character of this permutation representation on the classes (sizes ) is . Compute , the number of irreducible constituents counted with squared multiplicity.
In the proof of Maschke's theorem we replace a projection by . Which step uses that the characteristic of does not divide ?
Which of these representations are not completely reducible? (Choose all that apply.)
Let be a non-trivial one-dimensional character of . What is ?
Which Lean statement says that the shear representation over is not completely reducible, as in maschke_fails? (Here L abbreviates Submodule.span (ZMod 2) {((1 : ZMod 2), (0 : ZMod 2))}.)
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 as integers, where .