法伊特﹣汤普森定理

出自 MBA智库百科(https://wiki.mbalib.com/)

法伊特﹣汤普森定理(Feit-Thompson theorem)

　　在数学里，法伊特﹣汤普森定理是指由瓦尔特•法伊特（Walter Feit）和约翰•格里格斯•汤普森证明的每一个奇阶的有限群都是可解群。

　　威廉•伯尔尼赛德推测每个非阿贝尔单群都会有偶数的阶。理查德•布劳尔假定此为真来做为有限单群分类的一个基础，并证明出若一个对合的中心化子为已知的话，则一个有限简单群通常可以被确定。一个奇阶的群没有对合，所以要实行布劳尔的计划，首先必须要证明出非循环有限简单群绝对不会是奇阶的。这和证明出奇阶的群都是可解的是等价的，而这也正是法伊特和汤普森所证明出的。

　　对伯尔尼赛德推测的着手证明开始于铃木通夫，他研究着CA群──会使得每个非当然元素之中心化子（Centralizer）都是可换（Abelian）的群。在一个前瞻性的论文中，他证明出了所有奇阶的CA群都会是可解的。（他随后将所有的简单CA群做了分类，且更一般性地将其中存在任一个有着正规2-西罗子群之对合中心化子的所有简单群分类，并在此过程中找到了李型单群的一种粗略类型，其现称之为铃木群。）

　　法伊特、霍尔和汤普森将铃木的成果扩展到了CN群的范围内──其为会使每个非当然元素的中心化子（Centralizer）都是幂零（Nilpotent）的群。他们证明出了每个奇阶的CN群都是可解的。法伊特﹣汤普森定理可以被想做是这个过程中的下一个步骤：他们证明出了不存在每个子群都是可解的奇阶非循环单群。（这证明出了每个奇阶群都是可解的，以其最小反例必须要有一个能使每个子群都是可解单群。）虽然其证明和CA定理与CN定理的大纲是相同的，但其细节确更为极度的复杂。

　　要完全地了解这个证明必须要花费职业的群论学家约一年很努力的时间，所以下面的大纲不可能以太严格的方式来写。除了直接描述法伊特﹣汤普森定理之外，以描述铃木的CA定理且再加注一些需要的延伸的方式会比较简单。这个证明可以分成三步。令G是一个满足CA条件的奇阶单群。

　　第1步对群G结构的局部分析：这在CA条件下是简单的，因为a和b可换之关系是一个在非单位元素上的等价关系。所以这些元素可以分成数个等价类，其中的每个等价类都是最大阿贝尔子群内之非单位元素所组成的集合。最大阿贝尔子群的正规化子会是G的最大纯子群。在原本的论文里，最大纯子群的分析花了约100页之多，而不只几行而已，并且产生了5种极复杂的可能结构。

　　第2步G的特征理论：若X是CA群G的最大阿贝尔子群A的一个不可约特征，可以将X导致一个G的特征Y，但不一定会是不可约的。因为G的已知结构，很容易地便可以将于除了单位元之所有G的元素上的Y的特征值找出来。这表示若X₁和X₂是A的两个特征，且Y₁和Y₂是其相对应的特征，则Y₁ − Y₂

　　会是完全可知的，且计算其赋范可证明这在G内两个不可约特征的差。（这有时会被称做是G的例外特征。）在此，将G的一个不可约特征与A的一个不可约特征相链接是有可能的。一个计数的论述表示可以从G的最大阿贝尔子群的不可约特征中得出G的所有不可约特征（除了当然特征之外）。

　　在法伊特﹣汤普森定理里，由子群的特征中建构出G的特征之论述会远比上述的更为棘手，因为其子群的结构会更为复杂。

　　第3步：由第2步可以得到对CA群G的特征理论的一个完整且精确的描述。由此可以很容易地得出G同时为奇阶及单群的矛盾。

　　在法伊特﹣汤普森定理里，事情（一般）都会更加极度地复杂。特征理论只排除了第1步中5种可能结构的其中四种。要排除最后一个可能，必须要对群的展现一些复杂到很恐怖的操作。这一部份被认为是这个证明里最困难且最神秘的一个部份。