{\displaystyle U_{3}(4)} 的一个 Sylow 2-子群。第一种情况由 Gorenstein-Walter 定理（英语：Gorenstein–Walter theorem） 解决，其表明，仅单群同构于 A 7 {\displaystyle A_{7}} 或对于 q {\displaystyle

斯托克斯定理（英文：Stokes' theorem），也被称作广义斯托克斯定理、斯托克斯–嘉当定理（Stokes–Cartan theorem）、旋度定理（Curl Theorem）、开尔文-斯托克斯定理（Kelvin-Stokes theorem），是微分几何中关于微分形式的积分的定理，因為維數跟

萨维奇定理（英語：Savitch's theorem）是计算复杂性理论中的一个定理，由沃尔特·萨维奇（英语：Walter Savitch）于1970年证明。定理的结论为对于任何函数 f ( n ) {\displaystyle f(n)} 满足 f ( n ) ≥ log ⁡ n {\displaystyle

在泛函分析中，开映射定理（open mapping theorem，亦称巴拿赫-绍德定理 (Banach–Schauder theorem) 或巴拿赫定理 (Banach theorem)）是一个基本的结果，它说明如果巴拿赫空间之间的连续线性算子是满射的，那么它就是一个开映射。更加精确地(Rudin

hep-th/0005184. 2000 [2011-01-04]. （原始内容存档于2022-04-14）.  Kevin McCrimmon. Hurwitz's theorem 2.6.2. A taste of Jordan algebras. Springer. 2004: 166. ISBN 0387954473