Considere el siguiente diagrama:
conmutativo el diagrama (lo Siento, no me deja registrar directamente en la imagen).
¿Qué significa, precisamente, para decir "$f$ factores a través de $G/\text{ker}(f)$"?
Qué significa $f = \tilde{f} \circ \pi$, para algunas de las $\tilde{f}$?
He visto los textos se usa la frase, pero nunca una definición de este concepto.