Csoporthomomorfizmus

1. Sablon:Humatek Legyen G csoport a ∗ műveletre, és H csoport a $\diamond$ műveletre.

Azt mondjuk, hogy egy ψ : G → H leképezés csoporthomomorfizmus, ha művelettartó, vagyis ha tetszőleges a, b ∈ G esetén $\psi (a*b)=\psi (a)\diamond \psi (b)$ Ha ψ kölcsönösen egyértelmű is a G és H halmazok között, akkor ψ izomorfizmus. A G és a H izomorf csoportok, ha létezik közöttük izomorfizmus. Ennek jele $G\cong =H$

• Sablon:En: Sablon:T