T1: Lectures 6-10 Flashcards
State Maschke’s Theorem
Let (π,W) be a proper subrep of (π,V). There exists some (π,W’) such that
(π,V)=(π,W)⨁(π,W’)
Define a projection onto a subspace
Consider W⊆V. A projection onto subspace W is the linear map T:V→V st
T(w)=w ∀w∈W, T(v)=w ∀v∈V
Define the ‘group algebra’ C(G)
Formal linear combinations of the group elements of the form SUM_g in G a_g [g]
What is the dimension of the group algebra?
dim(C(G)) = |G|
How does rep (λ, C(G)) act on elements of G?
Left multiplies each element by g.
How does Hom_G(C(G),V) relate to V?
Isomorphism: dim(V) = dim(Hom_g(C(G),V))
Given a red rep (π,V) and irr rep (ρ,W), how many times does (ρ,W) appear into a decomp of (π,V) into irr?
dim(Hom_G(V,W))
State the sum of squares formula
Sum over ρ∈Irr(G): dim(ρ)^2 = |G|
Define the character χ_π for rep (π, V)
χ_π = tr(π(g))
tr = sum of eigenvalues counted w/multiplicity
What is the character of the trivial rep (Id, C^n)
n
For any 1d rep (π, V) what is the character?
χ_π = π(g)
χ_(π ⊕ ρ) = ??
χ_(π) + χ_(ρ)
χ_π (gh) = ??
χ_π (hg)
χ_π (g^-1) = ??
χ_π (g)*
What shape should a character table be?
Square: rows = columns