求证：有多个Sylow-5子群的60阶群为单群（已证6个Sylow-5子群）

咱们接着你已经完成的结论往下推——你已经确认这个60阶群( G )有6个Sylow-5子群，接下来的核心是通过群作用+同态基本定理，把( G )和已知的单群( A_5 )建立联系，具体步骤如下：

步骤1：构造G到S₆的同态 #

考虑( G )在它的6个Sylow-5子群的集合( \Omega = {P_1, P_2, ..., P_6} )上的共轭作用：对任意( g \in G )，定义( g \cdot P_i = gP_ig^{-1} )。

根据Sylow定理，Sylow子群彼此共轭，所以这个作用是传递的（即任意两个Sylow-5子群都可以通过某个( g \in G )的共轭作用映射到对方）。这个群作用会诱导出一个群同态：
[
\varphi: G \to S_6
]
其中( \varphi(g) )是( \Omega )上对应( g )的置换。

步骤2：证明同态φ的核Kerφ是平凡子群 #

我们需要证明( \text{Ker}\varphi = {e} )（( e )是( G )的单位元），这样( \varphi )就是单同态，( G )就同构于( S_6 )的一个60阶子群。

• 首先，( \text{Ker}\varphi )是( G )中所有满足“共轭作用固定每个Sylow-5子群”的元素，也就是和每个Sylow-5子群都交换的元素。
• 假设( \text{Ker}\varphi )非平凡，那它是( G )的非平凡正规子群。我们来推导矛盾：
  1. 每个Sylow-5子群( P_i )是5阶循环群，( \text{Ker}\varphi \cap P_i )只能是( {e} )或( P_i )。如果( \text{Ker}\varphi )包含某个( P_i )，由于它是正规子群，必须包含所有共轭的Sylow-5子群（共6个），但6个5阶子群共有( 6 \times 4 = 24 )个不同的非单位元，加上单位元共25个元素，而25不整除60，矛盾。因此( \text{Ker}\varphi \cap P_i = {e} )对所有( i )成立，即( \text{Ker}\varphi )的阶不被5整除。
  2. 再看( \text{Ker}\varphi )的可能阶：它必须整除60，且不被5整除，候选值为1,2,3,4,6,12。结合轨道-稳定化子定理，( |G| = |\Omega| \times |\text{Stab}(P_i)| )，这里( |\Omega|=6 )，所以( |\text{Stab}(P_i)|=10 )（即Sylow-5子群的正规化子( N_G(P_i) )是10阶群）。
  3. 如果( \text{Ker}\varphi )的阶是2,3,4,6,12，那么( |G/\text{Ker}\varphi| = 30,20,15,10,5 )。但( G/\text{Ker}\varphi \cong \varphi(G) \leq S_6 )，而传递作用要求( |\varphi(G)| )必须是6的倍数（轨道大小为6），但30,20,15,10,5中只有30是6的倍数，不过若( |G/\text{Ker}\varphi|=30 )，则( G/\text{Ker}\varphi )有唯一的Sylow-5子群（因为30阶群中( n_5=1 )），对应( G )中存在包含( \text{Ker}\varphi )的10阶正规子群，这会导致( G )的Sylow-5子群个数为1，和已知的6个矛盾。
• 综上，( \text{Ker}\varphi )只能是( {e} )，( G )同构于( S_6 )的一个60阶子群。

步骤3：证明G同构于A₅ #

现在我们需要确认( S_6 )中的60阶子群只能是( A_5 )：

• 首先，若( \varphi(G) )包含奇置换，那么( \varphi(G) \cap A_6 )是( \varphi(G) )的指数2子群，对应( G )有一个指数2的正规子群，这与我们要证的“G是单群”矛盾（且也和G有6个Sylow-5子群矛盾），因此( \varphi(G) \leq A_6 )。
• ( A_6 )的阶是360，( 360 \div 60 = 6 )，而( A_5 )是( A_6 )的60阶子群（比如将( A_5 )看作置换前5个元素的偶置换群）。同时，60阶单群是唯一的，就是( A_5 )，因此( \varphi(G) \cong A_5 )，进而( G \cong A_5 )。

结论 #

因为( A_5 )是单群，所以这个60阶群( G )是单群。

内容的提问来源于stack exchange，提问作者user85798