Definition Let be a representation of . A sub-representation of is a subspace which is -invariant, that is for all . We denote the sub-representation by, or just .

Representation, or try the Importer!