![]() | Este artigo não cita fontes confiáveis. Ajude a inserir referências. Conteúdo não verificável pode ser removido.—Encontre fontes: ABW • CAPES • Google (N • L • A) (Agosto de 2021) |
Em matemática, um homomorfismo de grupos é uma função entre dois grupos que preserva as operações binárias.
Sejam (G,*) e (H, ⋄ {\displaystyle \diamond } função de domínio G e contra-domínio H. Então f é um homomorfismo de grupos se, e somente se:
∀ x , y ∈ G , f ( x ∗ y ) = f ( x ) ⋄ f ( y ) {\displaystyle \forall x,y\in G,f(x*y)=f(x)\diamond f(y)} ) grupos, e f uma