Put and induce the characters of . Since is normal, the induced value outside is zero, while at it is . The nonzero split into the two doubling orbits, so the two distinct induced characters have class values
where and . Summing seventh roots gives , and multiplication gives , hence . Their character norms are , proving irreducibility. Together with the three degree-one characters, the sum of squared degrees is . Thus these are all the remaining irreducible characters.

Articles by others on the same topic (0)

There are currently no matching articles.