Omomorfismo di gruppi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m robot Aggiungo: sk:Homomorfizmus grúp |
messo esempio banale, servirrebbero altri |
||
Riga 7:
L'insieme degli omomorfismi da ''G'' ad ''H'' si indica con Hom(''G'', ''H'').
La funzione ''f'' è inoltre detta ''monomorfismo'' se è [[funzione iniettiva|iniettiva]], ''epimorfismo'' se è [[funzione suriettiva|suriettiva]] e ''[[isomorfismo]]'' se è [[corrispondenza biunivoca|biiettiva]].
== Esempi ==
=== Omomorfismo banale ===
Dati due gruppi qualsiasi ''G'' e ''H'', l''''omomorfismo banale''' ''f'' : ''G'' → ''H'' è l'omomorfismo che assegna ad ogni elemento ''g'' di ''G'' l'[[elemento neutro]] ''f''(''g'') = ''e'' di ''H''.
== Proprietà ==
| |||