したがってそれは全単射f:G→G{\displaystylef:G\rightarrowG}であってf(u)∗f(v)=f(u∗v){\displaystylef(u)*f(v)=f(u*v)}なるものである。
就是说这是双射f:G→G{\displaystylef:G\rightarrowG}使得f(u)∗f(v)=f(u∗v){\displaystylef(u)*f(v)=f(u*v)}。