群论
群
基本概念
子群 ·
正规子群 ·
商群 ·
群同态 ·
像 · (
半 )
直积 ·
直和 单群 ·
有限群 ·
无限群 ·
拓扑群 ·
群概形 ·
循环群 ·
幂零群 ·
可解群 ·
圈积
离散群
有限单群分类 循环群 Zn
交错群 An
李型群 散在群 马蒂厄群 M11..12,M22..24
康威群 Co1..3
扬科群 J1..4
费歇尔群 (英语:
Fischer group )F22..24
子魔群 (英语:
sub monster group ) B
魔群 M
其他有限群
对称群 , Sn
二面体群 , Dn
无限群
整数 , Z
模群 , PSL(2,Z) 和 SL(2,Z)
连续群
李群 一般线性群 GL(n)
特殊线性群 SL(n)
正交群 O(n)
特殊正交群 SO(n)
酉群 U(n)
特殊酉群 SU(n)
辛群 Sp(n)
G2 F4
E6 E7
E8
劳仑兹群 庞加莱群
无限维群
共形群 微分同胚群
环路群
量子群 O(∞) SU(∞) Sp(∞)
代数群
椭圆曲线 线性代数群 (英语:
Linear algebraic group )
阿贝尔簇 (英语:
Abelian variety )
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin:0;display:inline}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist dt:after{content:" :"}.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{content:" · ";font-weight:bold}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" | ";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" - ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)"\a0 "}.mw-parser-output ul.cslist,.mw-parser-output ul.sslist{margin:0;padding:0;display:inline-block;list-style:none}.mw-parser-output .cslist li,.mw-parser-output .sslist li{margin:0;display:inline-block}.mw-parser-output .cslist li:after{content:","}.mw-parser-output .sslist li:after{content:";"}.mw-parser-output .cslist li:last-child:after,.mw-parser-output .sslist li:last-child:after{content:none}.mw-parser-output .navbar{display:inline;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar a>span,.mw-parser-output .navbar a>abbr{text-decoration:inherit}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}
查 论 编
数学 上的单群 (英语:Simple group )是指没有非平凡正规子群 的群。任意一个群如果不是单群,都可以作进一步分解而得到一个非平凡正规子群及对应的商群 。这个过程可以一直做下去。对于有限群 ,若尔当-赫尔德定理 表明,这个分解过程可以得到该群的唯一的合成列 (最多相差一个置换 )。在2008年完成的有限单群分类 工作是数学史上一个重要的里程碑。
分类
到目前为止,未有对一般单群进行分类的方法。
有限单群
有限单群是很重要的,因为在一定意义上,它们是所有有限群 的“基本组成部分”,有点类似于素数 是整数 的基本组成部分。
有限单群的结构
法伊特-汤普森定理 声称,所有的奇数阶群都是可解群 。 因此,除素数阶循环群外,所有有限单群的阶都是偶数。
群的非单性判据
西罗测试:设n 为一正合数,p 是它的一个素因子。 若在n 的所有约数中只有 1 模p 同余于 1,则不存在阶为n 的单群。
证明:如n 为一素数幂,则阶数为n 的群有非平凡的中心 [7] ,因而不是单群。若n 不是素数幂,则阶数为n 的群的每一个西罗子群都是真子群,由西罗第三定理 可知, 阶数为n 的群的西罗p -子群的个数模p 同余于1且为n 的约数。但由上面的假设,这样的数只有1,这表明该群只有一个西罗p -子群,因此,根据西罗定理,该西罗子群是正规子群。根据上面的讨论,它又是一个真子群,从而它是阶数为n 的群的一个非平凡正规子群,所以阶数为n 的群不是单群。
另一个证明一个群不是单群的方法是利用同态 映射,因为对于一个群
G
{\displaystyle G}
而言,其子群
H
{\displaystyle H}
是正规子群 ,当且仅当
H
{\displaystyle H}
是某个关于
G
{\displaystyle G}
的同态映射的核 。
参考文献
^ Knapp (2006), p. 170
^ Rotman (1995), p. 226
^ Rotman (1995), p. 281
^ Smith & Tabachnikova (2000), p. 144
^ Higman, Graham, A finitely generated infinite simple group, Journal of the London Mathematical Society. Second Series, 1951, 26 (1): 61–64, ISSN 0024-6107 , MR 0038348 , doi:10.1112/jlms/s1-26.1.59
^ M. Burger and S. Mozes. " Lattices in product of trees." Publ. Math. IHES 92 (2000), pp.151–194.
^ 例如,参见P-群 里的证明
教科书
Knapp, Anthony W., Basic algebra, Springer, 2006, ISBN 978-0-8176-3248-9
Rotman, Joseph J., An introduction to the theory of groups, Graduate texts in mathematics 148 , Springer, 1995, ISBN 978-0-387-94285-8
Smith, Geoff; Tabachnikova, Olga, Topics in group theory, Springer undergraduate mathematics series 2, Springer, 2000, ISBN 978-1-85233-235-8