Odd order theorem

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

（原始内容存档于2015-06-20）.  Walter Feit; John Griggs Thompson. From Solvability of groups of odd order (PDF). Pacific Journal of Mathematics. 1963, 13 (3) [2024-06-18]. doi:10

Isabelle 是一个基于高阶逻辑（higher-order logic）的通用交互式定理证明器。它是一个 LCF（Logic for Computable Functions）风格的证明辅助工具，使用 Standard ML 语言实现。它拥有一个极小化的逻辑核心；这意味着使用它的证明和形式化验证具有较强的的可信度。

可數全序類之間的嵌入關係是良擬序，同樣散佈（英语：scattered order）全序類之間亦然。（萊弗定理（英语：Laver's theorem）） 可數布尔代数的嵌入序是良擬序，由萊弗定理證得。 有限圖按图子式序組成良擬序集。（羅伯遜-西摩定理（英语：Robertson–Seymour theorem）） 對每個正整數 t {\displaystyle

sampling theorem.（英语：Nyquist-Shannon sampling theorem.） The name Nyquist–Shannon sampling theorem honours Harry Nyquist and Claude Shannon, but the theorem was