(a) Let the finite group G act on a finite set X and let π be the permutation character. If G is 2 -transitive on X, show that π=1G+χ, where χ is an irreducible character of G.
(b) Let n⩾4, and let G be the symmetric group Sn acting naturally on the set X={1,…,n}. For any integer r⩽n/2, write Xr for the set of all r-element subsets of X, and let πr be the permutation character of the action of G on Xr. Compute the degree of πr. If 0⩽ℓ⩽k⩽n/2, compute the character inner product ⟨πk,πℓ⟩.
Let m=n/2 if n is even, and m=(n−1)/2 if n is odd. Deduce that Sn has distinct irreducible characters χ(n)=1G,χ(n−1,1),χ(n−2,2),…,χ(n−m,m) such that for all r⩽m,
πr=χ(n)+χ(n−1,1)+χ(n−2,2)+⋯+χ(n−r,r)
(c) Let Ω be the set of all ordered pairs (i,j) with i,j∈{1,2,…,n} and i=j. Let Sn act on Ω in the obvious way. Write π(n−2,1,1) for the permutation character of Sn in this action. By considering inner products, or otherwise, prove that
π(n−2,1,1)=1+2χ(n−1,1)+χ(n−2,2)+ψ
where ψ is an irreducible character. Calculate the degree of ψ, and calculate its value on the elements (12) and (123)) of Sn.