Que V sea una representación de un grupo finito G y $v\in V$ - un vector distinto de cero. Poner $$u = \sum_{g\in G} gv.$ $ para cualquier $g\in G$ $gu = u$ y por lo tanto $<u>$ es una subrepresentación de V.
Sé que hay un error aquí, ya que existen representaciones irreducibles de grupos finitos que no son uno dimensional, pero no puedo verlo. ¿Podría alguien señalar hacia fuera?
Gracias.
