Let $(\pi,V_\pi)$ be an irreducible representation of finite group $G$, over algebraically closed field $F$ s.t. $char(F)$ is coprime to $|G|$ (for example $\mathbb{C}$).
Prove that $dim(\pi)^2 \le [G:Z(G)]$ where $Z(G)$ is the group's center.
My thoughts so far: let us recall that there exists a character of G (i.e. 1-dim representation) of the center: $\omega _\pi : Z(G) \to F^*$ such that for every $z\in Z(G): \pi(z) = \omega_\pi (z) Id_{V_\pi}$. also we know $dim(Ind_{Z(G)}^G (\omega _\pi )) = [G:Z(G)]$, i'm not sure how to continue or even if my intuition so far is correct.
thanks ahead
Best Answer
First, note that $\pi|_{Z(G)}=\dim(\pi)\omega_\pi$ and $\pi$ is a summand of $\mathrm{Ind}_{Z(G)}^G\omega_\pi$. The inequality now follows since $\dim\mathrm{Ind}_{Z(G)}^G\omega_\pi=[G:Z(G)]$.
EDIT: To see that $\pi$ is a direct summand of $\mathrm{Ind}_{Z(G)}^G\omega_\pi$, use Frobenius reciprocity: $$\langle\mathrm{Ind}_{Z(G)}^G\omega_\pi,\pi\rangle_G=\langle\omega_\pi,\mathrm{Res}^G_{Z(G)}\pi\rangle_{Z(G)}=\langle \omega_\pi,\dim(\pi)\omega_\pi\rangle_{Z(G)}=\dim\pi.$$ In fact, this means that $\pi$ appears with multiplicity $\dim(\pi)$ in $\mathrm{Ind}_{Z(G)}^G\omega_\pi$.