# Direct product of faithful representations into direct sum

by rkrsnan
Tags: faithful, product, representations
 P: 54 Direct product of two irreducible representations of a finite group can be decomposed into a direct sum of irreducible representations. So, starting from a single faithful irreducible representation, is it possible generate every other irreducible representation by successively taking direct products? My second question is (if it makes sense), can we have a finite group in which none of the irreducible representations are faithful? Thanks.
HW Helper
P: 2,020
 Quote by rkrsnan Direct product of two irreducible representations of a finite group can be decomposed into a direct sum of irreducible representations. So, starting from a single faithful irreducible representation, is it possible generate every other irreducible representation by successively taking direct products?
Do you mean to say tensor products here instead of direct products? If so, then the answer to your question is in some sense affirmative. A result due to Molien (sometimes called the Burnside-Molien theorem) says that every irreducible representation of a finite group is contained inside some tensor power $V^{\otimes n}$ of a faithful irreducible representation V.

 My second question is (if it makes sense), can we have a finite group in which none of the irreducible representations are faithful?
Yes. For example Z/2Z x Z/2Z doesn't have any. You can spot this by looking at the character table: if the the column corresponding to $\chi$ has $\chi(g)=\chi(1)$ for some $g\neq 1$ then necessarily $g \in \ker \chi$ and $\chi$ isn't faithful.

Thus there are lots of other examples, e.g. any noncyclic abelian group, and more generally any group with noncyclic center.
 P: 54 Thank you so much! That was totally what I wanted to know. PS: Yes, I should have written 'tensor product' instead of 'direct product'.
HW Helper