抽象代数 04.06可解群和幂零群

http://www.icourses.cn 南开大学《抽象代数》

$\text{§4.6 可解群和幂零群}$

$考虑扩张N\to G\to G/N,什么时候G/N是循环群，更一般的是交换群。$
$定义4.6.1.设g,h\in G,称[g,h]=g^{-1}{h}^{-1}gh为g,h的换位子。$
$若H,K都是G的子群，我们称$
[ H , K ] = ⟨ { [ h , k ] ∣ h ∈ H , k ∈ K } ⟩ \qquad [H, K] = \lang \lbrace [h,k] | h \in H, k \in K \rbrace \rang [H,K]=⟨{[h,k]∣h∈H,k∈K}⟩
$为H,K的换位子群.$
$注记4.6.2.1)换位子群的定义中的“生成”是否可以去掉？或者[g_1,h_1][g_2,h_2]是$
$否为换位子？$
$2)[g,h{]}^{-1}=[g,h].$
$3)[g,h]=1\Rightarrow gh=hg.因此换位子可以用来衡量群G的交换性。$
$4)若\alpha \in \mathrm{A}\mathrm{u}\mathrm{t}G,则\alpha [g,h]=[\alpha (g),\alpha (h)].$
$5)N⊲G,G/N是Abel群当且仅当N\subset G^{(1)}.$
$猜想4.6.3.(Ore).每个非交换有限单群中的元素都是换位子。$
$Ore(1952)证明了A_n情形。$
$例4.6.4.-I_2\in SL(2,\mathbb{R})不是换位子。$
$引理4.6.5.设H,K是G的子群。则$
1 ) [ H , K ] = { 1 } 当 且 仅 当 H ⊂ C G ( K ) 当 且 仅 当 K ⊂ C G ( H ) . 1)[H,K] = \lbrace 1 \rbrace当且仅当H \sub C_G(K)当且仅当K \sub C_G(H). 1)[H,K]={1}当且仅当H⊂CG​(K)当且仅当K⊂CG​(H).
$2)[H,K]\subset K当且仅当H\subset N_G(K).$
$3)H⊲G,K⊲G,则[H,K]⊲G且[H,K]\subset H\cap K.特别地[H,H]⊲G,[G,G]⊲G.$
$4)H_1<H,K_1<K,则[H_1,K_1]\subset [H,K].$
$例4.6.6.G=S_n,G^{(1)}.$
$定义4.6.7.导出列:G^{(0)}=G,G^{(k+1)}=[G^{(k)},G^{(k)}],k\ge 0.$
$降中心列:G^1=G,G^{k+1}=[G,G^k],k\ge 1,(为什么叫降中心列?)$
升 中 心 列 : C 0 ( G ) = { 1 } , C k + 1 ( G ) = π k − 1 ( C ( G / C k ( G ) ) ) , k ≥ 0. 这 里 π k : G → G / C k ( G ) . 升中心列:C_0(G) = \lbrace 1 \rbrace, C_{k+1}(G) = \pi_{k}^{-1}(C(G/C_k(G))), k \geq 0.这里\pi_k : G \to G/C_k(G). 升中心列:C0​(G)={1},Ck+1​(G)=πk−1​(C(G/Ck​(G))),k≥0.这里πk​:G→G/Ck​(G).
$例4.6.8.G=S_3,A_3$
G = S 4 ⊃ A 4 ⊃ K 4 ⊃ ⟨ ( 12 ) ( 34 ) ⟩ ⊃ { 1 } . G = S_4 \supset A_4 \supset K_4 \supset \lang(12)(34) \rang \supset \lbrace 1 \rbrace. G=S4​⊃A4​⊃K4​⊃⟨(12)(34)⟩⊃{1}.
$G=S_n,n\ge 5,$
$p-群$
$定义4.6.9.群G中的子群序列$
G = G 1 ⊃ G 2 ⊃ ⋯ ⊃ G t ⊃ G t + 1 = { 1 } \qquad G = G_1 \supset G_2 \supset \cdots \supset G_t \supset G_{t+1} = \lbrace 1 \rbrace G=G1​⊃G2​⊃⋯⊃Gt​⊃Gt+1​={1}
$若满足G_{i+1}⊲G_i(i=1,\dots ,t),则称之为次正规序列,t称为此序列的长度,G_i/G_{i+1}为此序列的因子。$
$若在上述序列中G_i⊲G,则称此序列为正规序列。$
定 义 4.6.10. 可 解 群 : 存 在 k , 使 得 G ( k ) = { 1 } . {\color{blue}定义4.6.10.}{\color{blue}可解群}:存在k,使得G^{(k)} = \lbrace 1 \rbrace. 定义4.6.10.可解群:存在k,使得G(k)={1}.
幂 零 群 : 存 在 k , 使 得 G k = { 1 } . {\color{blue}幂零群}:存在k,使得G^{k} = \lbrace 1 \rbrace. 幂零群:存在k,使得Gk={1}.
$???:群在k,使得C_k(G)=G.(p-群).$
$注记4.6.11.$
1)Abel群幂零。
2)幂零群可解，幂零群的中心不是平凡的。
3)可解群和Abel群的来历。
4)Burnside猜想:1902,奇数阶群都是可解的。
Feit-Thompson定理。Feit-Thompson猜想。
5)M.Aschbacher and S. Smith,The classification of quasithin groups I,II pp1221.
$引理4.6.12.可解群的子群、商群都是可解群。$
$反之，N⊲G,N和G/N可解，则G可解。$
$定理4.6.13.设群G是B过A的扩张，则G可解当且仅当A,B都可解。$
$例4.6.14.|G|<60,则G可解。$
$定理4.6.15.设G是群，则下列条件等价:$
$1)G是可解群；$
2 ) 存 在 G 的 正 规 序 列 G = G 1 ⊃ G 2 ⊃ ⋯ ⊃ G t + 1 = { 1 } 使 得 G i / G i + 1 为 A b e l 群 ; 2)存在G的正规序列G = G_1 \supset G_2 \supset \cdots \supset G_{t+1} = \lbrace 1 \rbrace 使得G_i / G_{i+1}为Abel群; 2)存在G的正规序列G=G1​⊃G2​⊃⋯⊃Gt+1​={1}使得Gi​/Gi+1​为Abel群;
3 ) 存 在 G 的 次 正 规 序 列 G = G 1 ′ ⊃ G 2 ′ ⊃ ⋯ ⊃ G s + 1 ′ = { 1 } 使 得 G i / G i + 1 为 A b e l 群 ; 3)存在G的次正规序列G=G_1^{\prime} \supset G_2^{\prime} \supset \cdots \supset G_{s+1}^{\prime} = \lbrace 1 \rbrace 使得G_i/G_{i+1}为Abel群; 3)存在G的次正规序列G=G1′​⊃G2′​⊃⋯⊃Gs+1′​={1}使得Gi​/Gi+1​为Abel群;
4 ) 存 在 G 的 次 正 规 序 列 G = G 1 ′ ′ ⊃ G 2 ′ ′ ⊃ ⋯ ⊃ G r + 1 ′ ′ = { 1 } 使 得 G i / G i + 1 为 素 数 阶 群 。 4)存在G的次正规序列G=G_1^{\prime \prime} \supset G_2^{\prime \prime} \supset \cdots \supset G_{r+1}^{\prime \prime} = \lbrace 1 \rbrace 使得G_i/G_{i+1}为素数阶群。 4)存在G的次正规序列G=G1′′​⊃G2′′​⊃⋯⊃Gr+1′′​={1}使得Gi​/Gi+1​为素数阶群。
证：3)$\Rightarrow$ 4)考虑长度最长的满足3)的次正规序列。或者从G的极大真正规子群开始。
$引理4.6.16.幂零群的子群、商群都是幂零群。$
$反之，N⊲G,N和G/N幂零，则G幂零(?)。$
$幂零群过幂零群的中心扩张(扩张核在群的中心里)和平凡扩张是幂零群。$
$注记4.6.17.次正规序列对幂零群不适用。$
$定理4.6.18.是G是群，则下列条件等价:$
$1)G是幂零群;$
2 ) 存 在 G 的 正 规 序 列 G = G 1 ⊃ G 2 ⊃ ⋯ ⊃ G t + 1 = { 1 } 使 得 [ G , G i ] ⊂ G i + 1 ; 2)存在G的正规序列G=G_1\supset G_2 \supset \cdots \supset G_{t+1} = \lbrace 1 \rbrace使得[G,G_{i}] \subset G_{i+1}; 2)存在G的正规序列G=G1​⊃G2​⊃⋯⊃Gt+1​={1}使得[G,Gi​]⊂Gi+1​;
3 ) 存 在 G 的 正 规 序 列 G = G 1 ⊃ G 2 ⊃ ⋯ ⊃ G t + 1 = { 1 } 使 得 G i / G i + 1 ⊂ C ( G / G i + 1 ) ; 3)存在G的正规序列G = G_1 \supset G_2 \supset \cdots \supset G_{t+1} = \lbrace 1 \rbrace 使得G_i/G_{i+1} \subset C(G/G_{i+1}); 3)存在G的正规序列G=G1​⊃G2​⊃⋯⊃Gt+1​={1}使得Gi​/Gi+1​⊂C(G/Gi+1​);
$4)存在k,使得C_k(G)=G.$
$证:3)\Rightarrow 4)$
$4)\Rightarrow 1)G/C_{k-1}是Abel群$
$例4.6.19.p-群是幂零群。$