【正确答案】做映射f：G→S，使得f(p₁)=q₃，f(p₂)=q₁，f(p₃)=q₂，f(p₄)=q₄，为双射．容易验证：
   f(p₁★p₁)=f(p₁)=q₃，f(p₁)*f(p₁)=q₃*q₃=q₃，即f(p₁★p₁)=f(p₁)*f(p₁)；
   f(p₁★p₂)=f(p₂)=q₁，f(p₁)*f(p₂)=q₁*q₃=q₁，即f(p₁★p₂)=f(p₁)*f(p₂)；
   f(p₂★p₃)=f(p₄)=q₄，f(p₂)*f(p₃)=q₁*q₂=q₄，即f(p₂★p₃)=f(p₂)*f(p₃)；
   f(p₄★p₃)=f(p₂)=q₁，f(p₄)*f(p₃)=q₄*q₂=q₁，即f(p₄★p₃)=f(p₄)*f(p₃)．
   其他类似．所以群(G，★)和(S，*)是同构的．