Por cada subespacio formula_16 finito, dimensional e invariante en formula_13 de formula_18, donde formula_1 actúa por la izquierda, se puede considerar la imagen de formula_13 en formula_21.