3
$\begingroup$

Any faithful finite group representation can be written as a sum of irreducible representations $\rho = \oplus_{i} a_i \rho_i$ such that $Ker(\rho)=0=\bigcap_i Ker(\rho_i)$ - is this sufficient to give us the smallest (degree) faithful representation? If $\bigcap_i Ker(\rho_i)=0$, I think we can not deduce $\forall i, Ker(\rho_i)=0$: my friend said to look at the kernels of the irreducible characters to find the smallest such $\rho$, but how to we achieve this? I can't see how knowing the kernels of the individual irreducible characters would be sufficient to find the smallest faithful representation, but maybe I'm missing some condition which follows from orthogonality or something similar. Thanks for the help!

  • 0
    Representation of what as what? Do you mean complex representations of finite groups? Representations of Lie algebras?2011-05-03
  • 1
    Should "smallest irreducible" be "smallest faithful"?2011-05-03
  • 0
    Yes, sorry, corrected now! I wasn't aware you could have representations of Lie algebras, I meant complex representations of finite groups: in particular, groups G $\subset$ GL(n,$\mathbb{F}_p$) is what I'm most interested in.2011-05-03
  • 0
    Complex representations are homomorphisms from $G$ to ${\rm GL}(n,{\bf C})$, not ${\bf F}_p$, right?2011-05-04
  • 0
    @Gerry: Dear Gerry, I think that the homomorphism is to $\mathrm{GL}(n,\mathbb C)$, but the group $G$ starts out life as a subgroup of $\mathrm{GL}(n,\mathbb F_p)$. (So the OP is interested in complex representations of subgroups of general linear groups of finite fields.) Regards,2011-05-04
  • 0
    @Matt, OK, thanks. I note that the only information about $G$ that's needed in your answer below is that it's finite.2011-05-04

1 Answers 1

3

I think that the point of your friends comment is the following: as you wrote, if $\rho = \oplus_i \rho_i,$ then $ker(\rho) = \cap_i ker(\rho_i)$. So you need to choose $\rho_i$ so that $\cap_i \ker(\rho_i)$ is trivial. If you know the kernels of the various irreps. $\rho_i$ in some explicit form, presumably you can choose a minimal collection of them so that $\cap_i \ker(\rho_i)$ is trivial.

(At least if we are talking about representations of a finite group over a field of characteristic zero, this is possible, since general theory assures us that a group has a faithful semi-simple representation, e.g. its regular representation.)

  • 0
    And may I ask what happens if we're working over a field with nonzero characteristic? Is the same still true?2011-05-03
  • 1
    In that case there are faithful representations, but they are not necessarily semi-simple.2011-05-03
  • 0
    Great, thanks a lot!2011-05-04