Skip to main content
5 of 9
expanded, clarified
Geoff Robinson
  • 44.4k
  • 5
  • 123
  • 169

This is, of course, a well-known fact, but here's one proof. Let $H$ be a finite group, $Z$ be s central subgroup, and $\lambda$ be a linear character of $Z.$ Then the number of irreducible characters of $H$ which lie over $\lambda$ is $\sum_{\chi \in {\rm Irr(H)}} \frac{\langle {\rm Res}^{H}_{Z}(\chi), \lambda \rangle}{\chi(1)}.$ Now for each $z \in Z(,$ the quantity $\sum_{\chi \in {\rm Irr}(G)} \frac{\chi (z)}{\chi(1)}$ was shown by Burnside to be non-negative, and non-zero if and only if $z$ is a commutator in $H$. It follows easily that for any irreducible character $\lambda$ of $Z,$ we have$ \sum_{z \in Z} \sum_{\chi \in {\rm Irr}(H)} \frac{\chi(z)}{\chi(1)} \lambda(z^{-1}) \leq \sum_{z \in Z}\sum_{\chi \in {\rm Irr}(H)} \frac{\chi(z)}{\chi(1)} = |Z| k(H/Z),$ where $k(X)$ denotes the number of conjugacy classes of $X.$ The last equality follows because the irreducible characters of $H$ with $Z$ in their kernels are precisely those which contain the trivial character on restriction to $Z.$ Hence $\sum_{\chi \in {\rm Irr(H)}} \frac{\langle {\rm Res}^{H}_{Z}(\chi), \lambda \rangle}{\chi(1)} \leq k(H/Z),$ as claimed. Furthermore, if (and only if) there is a non-identity element $z \in Z \backslash {\rm ker}(\lambda)$ which is a commutator in $H$, then the inequality becomes strict.

Note that given a factor set $\alpha$ taking values in roots of unity and a finite group ${\tilde H},$ we obtain a finite group $H$ with $H/Z \cong {\tilde H},$ where $Z$ is a central subgroup.

Geoff Robinson
  • 44.4k
  • 5
  • 123
  • 169