设是个群,H=是一个代数系统,其中*是G2上的二元运算,若存在G1到G2的满射f,且对于任意X,Y∈G