proiezione canonica

È il diagramma $X\stackrel{f}{\twoheadrightarrow }Y,X\stackrel{\pi }{\twoheadrightarrow }\frac{X}{\sim },\frac{X}{\sim }\stackrel{\overline{f}}{\twoheadrightarrow }Y$

Dove $\pi :X\twoheadrightarrow \frac{X}{\sim }$ è la proiezione canonica definita da $\pi (x)=Cl(x)$ in modo che $\boxed{f=\overline{f}\circ \pi }$. Questa è la fattorizzazione dell’applicazione, come si fattorizzano i numeri e i polinomi.