伯恩赛德定理证明问询：p^a q^b阶群的可解性推导

咱们从数学归纳法的标准框架出发，一步步把这个证明补完整：

1. 归纳基础 #

当(|G| = pq)（(a=b=1)，(p≠q)为素数）时：

• 根据西罗定理，G的西罗p-子群个数(n_p ≡1 \mod p)且(n_p | q)，西罗q-子群个数(n_q ≡1 \mod q)且(n_q | p)。
• 不妨设(p < q)，则(n_q)只能是1（因为(n_q)是1或p，而(p < q)，(p≡1 \mod q)不成立），所以西罗q-子群是G的正规子群。
• 这个正规子群是q阶循环群（可解），商群是p阶循环群（也可解），因此G作为可解群的扩张，必然可解。

2. 归纳假设 #

假设所有阶为(p^k q^m)（其中(k ≤ a)，(m ≤ b)，且(k < a)或(m < b)，同时排除k=0或m=0的单素数幂群情况）的群都是可解群。

3. 分情况讨论原群(G) #

情况1：(Z(G) ≠ 1)（中心非平凡） #

• 考虑商群(\overline{G} = G/Z(G))，其阶为(|G| / |Z(G)| = p^{a'} q^{b'})，其中(a' ≤ a)，(b' ≤ b)，且至少有一个指数严格小于原群的对应指数（因为(|Z(G)| ≥ p)或(|Z(G)| ≥ q)）。
• 根据归纳假设，(\overline{G})是可解群；而中心(Z(G))是阿贝尔群，阿贝尔群显然可解。
• 群论中有核心结论：若(N \triangleleft G)，且(N)和(G/N)都可解，则(G)可解。因此这里(G)可解。

情况2：(Z(G) = 1)（中心平凡） #

• 根据题目已证结论：此时(G)存在真非平凡正规子群(N)（即(1 < N < G)）。
• 对(N)和商群(G/N)应用归纳假设：
  • (N)的阶是(p^k q^m)（(k ≤ a)，(m ≤ b)，且(k < a)或(m < b)，因为(N)是真子群），符合归纳假设的条件，因此(N)可解。
  • 商群(G/N)的阶是(p^{a-k} q^{{b-m})，同样是更小的(p}x q^y)型阶数，也符合归纳假设的条件，因此(G/N)可解。
  • 再次利用可解群的扩张仍可解的结论，可得(G)可解。

4. 归纳结论 #

结合归纳基础和两种情况的推导，所有阶为(p^a q^b)（(p≠q)为素数，(a,b)为正整数，且(G)非单素数幂群）的群都是可解群。

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