Isotypic component

The isotypic component of weight formula_1 of a Lie algebra module is the sum of all submodules which are isomorphic to the highest weight module with weight formula_1.
Definition.
This defines the isotypic component of weight formula_1 of V:
formula_13 where formula_14 is maximal.