Homomorfismo

Sea $(G_1,\circ)$ y $(G_2,\times)$ dos grupos con una l.c.i. definida en cada uno respectivamente una aplicación $f: G_1 \rightarrow G_2$ es un homomorfismo si: $$ f(g \circ g') = f(g) \times f(g') , \forall \{ g, g' \} \in G_1 $$