找到 Sym(p^(i-1))的 p-Sylow 子群(作为self的子群)作用于每个部分。称这些子群为 P_1,P_2…P_p。可以通过将“移位”置换应用到它们上,即将[0..p^(i-1)-1]映射到第二部分(其他部分通过多次移位获得)。这些置换与 P_1 的生成器的并集是self的 p-Sylow 子群。 对于n 不等于 p 的幂的情况,按照...