2. Dans un espace vectoriel de dimension finie, tout sous-espace vectoriel admet un supplémentaire . Ici on veut de plus que ce supplémentaire soit stable par .