Homomorfismo de grupos

Aspeto mover para a barra lateral ocultar

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 } ) 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:

∀ x , y ∈ G , f ( x ∗ y ) = f ( x ) ⋄ f ( y ) {\displaystyle \forall x,y\in G,f(x*y)=f(x)\diamond f(y)}