# How to prove (or find) that a given group representation is irreducible?

Given a group representation, how can I definitely know whether it is irreducible or not? In principle I should check for non-trivial invariant subspaces, or find, if any, block-triangular similar matrix, but that sounds computationally difficult.

-
For finite or compact groups you can use Schur's lemma. Not sure if it's computationally feasible, though. –  Alexei Averchenko Apr 12 '12 at 5:11
This question does not give enough information. Firstly, what exactly do you mean by "given a group representation"? Also the answer will depend a lot on the field of the representation, so that needs to be specified. –  Derek Holt Apr 12 '12 at 7:32
If you are working over $\mathbb{C}$, for example, there is a very nice computational way to check. Namely, suppose that you have a representation $\rho$. You can decompose this into a direct sum of irreps $\displaystyle \bigoplus \rho_\alpha$. If $\chi_\alpha$ is the character corresponding to $\rho_\alpha$ and $\chi_\rho$ the character corresponding to $\rho$ you can see that
$$\langle\chi_\rho,\chi_\rho\rangle=\sum_\alpha n_\alpha^2$$
And, since $\rho$ will be irreducible if and only if there is one irrep in this decomposition, which corresponds to one $n_\alpha$ being $1$ and the rest zero, which corresponds to $\displaystyle \sum_\alpha n_\alpha^2=1$ you may conclude that $\rho$ is irreducible if and only if $\langle\chi_\rho,\chi_\rho\rangle=1$