Si "V" no tiene ningún tal subespacio; se dice que ρ es una representación irreducible.