teorema di decomponibilità

todo spiega e rinomina in “primo teorema dell’omomorfismo”.

Proposizione: Data l’applicazione $X\stackrel{f}{\to }Y$, la relazione $\sim$ definita da $x\sim x^{\prime }⟺f(x)=f(x^{\prime })$

1. L’applicazione $\frac{X}{\sim }\stackrel{\overline{f}}{\to }Y$ è iniettiva.
2. $\overline{f}$ è suriettiva $⟺f$ è suriettiva.
3. $f$ suriettiva $⟹$ c’è un diagramma.