Avrei anche un'altro dubbio, considerando la proiezione canonica $\pi:G\rightarrowF:=G/H$ definita come $g \mapsto [g]$, so come dimostrare che $H=Ker(\pi)$. La mia domanda è: la mappa $\phi$ che hai usato è la proiezione canonica? Se no, che ipotesi ci sono su $\phi$? La mappa $\pi$ è suriettiva ed è un omomorfismo tra gruppi, forse mi bastano queste ipotesi su $\phi$? Grazie ancora
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques". - "I always disliked Analysis" (P. J. Freyd)