>>240

pシロー群であることを示すには

Na*NbについてNa*Nb=N(a*b) 及び (Na)の逆元がN(a^(-1))
であることを示すんだよ。
あとはわかんね