Homomorfizmus grúp alebo homomorfné zobrazenie grúp (G, *) a (H,o) je zobrazenie f: G → H, pri ktorom pre všetky prvky x, y z G platí f(x * y) = f(x) o f(y), pričom * je operácia grupy G a o operácia grupy H (hovoríme tiež, že homomorfizmus zachováva operáciu).
[upraviť] Jadro homomorfizmu
Nech 
je homomorfizmus grúp. Potom podgrupa 
sa nazýva jadro homomorfizmu f; zvyčajne sa označuje 
(z anglického slova kernel, respektíve z nemeckého kern).
Vzorcom:
[upraviť] Zdroje
- Július Korbaš: Lineárna algebra a geometria 1. Bratislava: Univerzita Komenského Bratislava, 2003 (definícia 1.5.6)
čítajte viac o Homomorfizmus grúp