Homomorfismo de grupos

Predefinição:Sem fontes Em matemática, um homomorfismo de grupos é uma função entre dois grupos que preserva as operações binárias.

Sejam (G,*) e (H,$\diamond$) grupos, e f uma função de domínio G e contra-domínio H. Então f é um homomorfismo de grupos se, e somente se:

$\mathrm{\forall }x,y\in G,f(x*y)=f(x)\diamond f(y)$