Problemi sul rivestimento e gruppo fondamentale

[Sabb]

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

[killing_buddha]

Primo teorema di isomorfismo...

[Sabb]

Primo teorema di isomorfismo...

Oh perfetto, questo teorema mi mancava, finalmente ho risolto i miei dubbi. Grazie!