Teorema di isomorfismo: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Aggiungo: pl:Twierdzenie o izomorfizmie |
|||
Riga 8:
:<math>\operatorname{Ker}(f) \triangleleft G, \quad G/\operatorname{Ker}(f) \cong \operatorname{Im}(f)</math>
L'isomorfismo è ''canonico'', indotto dalla mappa <math> f </math>.
[[Immagine:FundHomDiag.png|right]]
====Generalizzazione====
Se <math> f:G\to H </math> è un [[omomorfismo]] e <math>K</math> è un [[sottogruppo normale]] di <math>G</math> contenuto in <math>ker(f)</math>, esiste un unico omomorfismo <math>h:G/K \to H</math> tale che
:<math>f=h \circ \varphi</math>
dove <math>\phi</math> è la proiezione canonica <math>G \to G/K</math>.
Questo teorema è detto '''teorema fondamentale di omomorfismo'''.
=== Secondo teorema d'isomorfismo ===
| |||