Si "G" es un grupo semisimple, sus representaciones finito-dimensionales pueden ser descompuestas como sumas directas de las representaciones irreducibles.