Este isomorfismo se completa naturalmente en una descomposición de "f": "f = i°φ°π", donde i es la inclusión canónica de I en F (i(x) = x para todo x∈I ), y π es la sobreyección canónica de E sobre E/N (π(a) = â para todo a∈E):