编号类型领域子领域问题问题的数学分析（含抽象代数方程式）常数/参数及范围关联知识抽象代数意义1270理论问题群论Sylow定理有限群的Sylow子群的存在性与共轭设 G是有限群，(G= p^a m)，p∤m。则存在Sylow p-子群 P≤G，且所有Sylow p-子群共轭。个数 np​满足 np​≡1(modp)且 np​∣m。素数 p；指数 a；m与 p互素。1271理论问题群论自由群