>544
>z^p*1=(z^p/2)*2=(z^p/3)*3=(z^p/a)*aであるから、すべてのグループが元の式z^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす可能性がある
よって、すべてのグループを調べなければならない

z^p*1=(z^p/2)*2=(z^p/3)*3=(z^p/a)*aなので、
z^p*1のみを、調べれば、良いです。