説明すると、これが意味するのは、群同型写像は全単射関数f:G→H{\displaystylef:G\rightarrowH}であってすべてのu,v∈Gに対してf(u∗v)=f(u)⊙f(v){\displaystylef(u*v)=f(u)\odotf(v)}が成り立つということである。
这意味着群同构是双射函数f:G→H{\displaystylef:G\rightarrowH}使得对于所有G中的u和v有着f(u∗v)=f(u)⊙f(v){\displaystylef(u*v)=f(u)\odotf(v)}。