一种生成对称群S_9所有Sylow-p子群的算法

摘要

根据对称群的基本性质以及第二同构定理,给出了通过添加生成元到p群来构造对称群的一个Sylow-p子群的定理,添加的生成元保证能够快速得到对称群的一个Sylow-p子群.根据第二西洛定理求出了所有共轭子群,即所有Sylow-p子群.针对求所有共轭子群过程中面临共轭子群出现重复的问题,利用正规化子的性质,找到使得两个Sylow-p子群共轭的元,保证每次求的Sylow-p子群不重复.将此算法应用于S9,实验表明该算法可操作性强,耗费时间少.