On considère un espace vectoriel E et la relation d'équivalence définie par un sous-espace vectoriel H: xRx' si
. Alors
est une application linéaire.
Théorème — Soit
une application linéaire. Si H est contenu dans le noyau de f, alors il existe une unique application linéaire
telle que f = gs. De plus,
g est surjective si f est surjective;
g est injective si on a H = Kerf;
g est un isomorphisme si f est surjectif et H = Kerf.