B=Z[X,Y]/(p-XY)として、M:p,X,YのBでの像で生成されるBのｲﾃﾞｱﾙとすると、pはp≡3(4)なる素数の時、、 φ:B→Z[i] ring hom ⇒φ(M)=Z[i] となる事を示せ。 教えてください。