抽象代数 04.04 有限单群

$\text{§4.4 有限单群}$

定 理 4.4.1. 设 G 为 有 限 A b e l 群 , 且 G = ̸ { 1 } . 则 G 为 单 群 当 且 仅 当 G 为 素 数 阶 ( 循 环 ) 群 。 {\color{blue}定理4.4.1.}设G为有限Abel群,且G =\not \lbrace 1 \rbrace.则G为单群当且仅当G为素数阶(循环)群。 定理4.4.1.设G为有限Abel群,且G≠​{1}.则G为单群当且仅当G为素数阶(循环)群。
$注记4.4.2.无需G的阶有限。$
$例4.4.3.阶数小于60的群都不是非Abel有限单群。$
$例4.4.4.1)S_n的共轭类与n的划分、幂零矩阵的共轭类、Young图的一一对应。$
$2)S_n的正规子群$
$n=1,2,$
$n=3,A_3,$
$n=4,K_4,A_4.$
$n\ge 5,A_5.$
$注记4.4.5.要证明一个群G是单群，常规的步骤如下:$
$1)寻找G的生成元组A.$
$2)证明A中任何两个元素在G中共轭.$
$3)证明G任何非平凡正规子群N都包含A中一个元素.$
$定理4.4.6.当n\ge 5时,A_5为非Abel有限单群。$
证 1 ) 当 n ≥ 3 时 , A n 由 所 有 3 − 轮 换 生 成 。 ( 实 际 上 可 以 取 A = { ( 12 k ) , k = 3 , 4 , ⋯   , n } . ) ( i j ) ( i j ) = ( 1 ) , ( i j ) ( i k ) = ( j i k ) , ( i j ) ( k l ) = ( i j k ) ( j k l ) . {\color{blue}证\quad}1)当n\geq 3时,A_n由所有3-轮换生成。(实际上可以取A=\lbrace(12k),k=3,4,\cdots,n\rbrace.)(ij)(ij)=(1),(ij)(ik)=(jik),(ij)(kl)=(ijk)(jkl). 证1)当n≥3时,An​由所有3−轮换生成。(实际上可以取A={(12k),k=3,4,⋯,n}.)(ij)(ij)=(1),(ij)(ik)=(jik),(ij)(kl)=(ijk)(jkl).
$2)当n\ge 5时,A_n中所有3-轮换是一个共轭类。$
3 ) 要 证 明 A n 是 单 群 , 需 要 证 明 A n 没 有 非 平 凡 正 规 子 群 , 只 需 证 明 若 H ⊲ A n , H = ̸ { 1 } , 则 H 含 有 一 个 3 − 轮 换 。 将 A 中 σ 分 解 成 不 相 交 的 轮 换 的 乘 积 。 3)要证明A_n是单群,需要证明A_n没有非平凡正规子群,只需证明若H \lhd A_n,H =\not \lbrace 1 \rbrace,则H含有一个3-轮换。将A中\sigma分解成不相交的轮换的乘积。 3)要证明An​是单群,需要证明An​没有非平凡正规子群,只需证明若H⊲An​,H≠​{1},则H含有一个3−轮换。将A中σ分解成不相交的轮换的乘积。
$i)\sigma 的分解中含有r-轮换,r\ge 4,不妨设\sigma =(12\cdots r)\tau (为什么可以这么设?),\tau \in S_{r+1,\cdots ,n}.(123)\sigma (123{)}^{-1}\sigma =(123)(\sigma (1)\sigma (3)\sigma (2))=(123)(324)=(124).$
$ii)\sigma =(123)(456)\tau ,(124)\sigma (124{)}^{-1}(\sigma {)}^{-1}=(124)(253)=(12534),再利用1)。$
$iii)\sigma =(123)\tau ,{\tau }^2=(1),则{\sigma }^2=(132).$
$iv)\sigma 是不相交对换的乘积，不妨设为\sigma =(12)(34)\cdots =(12)(34)\tau ,(123)\sigma (132){\sigma }^{-1}=(123)(241)=(13)(24).(135)(13)(24)(153)(13)(24)=(135)(351)=(153).$