Esto significa que hay una descripción de suma directa de formula_10 con la indicación de todas las clases (hasta el isomorfismo) de representaciones unitarias irreducibles de formula_11.