Feit-Thompson theorem

在數學裡，法伊特-湯普森定理（英語：Feit–Thompson theorem），亦稱奇階定理（英語：Odd order theorem），說明每一個奇階的有限群都是可解的。該定理由瓦爾特·法伊特和約翰·格里格斯·湯普森證明。 威廉·伯恩賽德推測每個非阿貝爾有限單群都會有偶數的階。理查·布勞爾假定此

(2): 411–414, ISSN 0003-486X, MR 0569077, doi:10.2307/1971101  Feit–Thompson theorem has been totally checked in Coq. Msr-inria.inria.fr. 2012-09-20