• FeitThompson theorem, or odd order theorem, states that every finite group of odd order is solvable. It was proved in the early 1960s by Walter Feit...
    23 KB (3,099 words) - 13:18, 10 May 2025
  • Thumbnail for Finite group
    primes. The FeitThompson theorem, or odd order theorem, states that every finite group of odd order is solvable. It was proved by Walter Feit and John Griggs...
    15 KB (1,831 words) - 16:54, 2 February 2025
  • FeitThompson may refer to: FeitThompson conjecture FeitThompson theorem This disambiguation page lists articles associated with the title Feit–Thompson...
    321 bytes (43 words) - 17:49, 20 April 2013
  • Thumbnail for Walter Feit
    His most famous result is his proof, joint with John G. Thompson, of the FeitThompson theorem that all finite groups of odd order are solvable. At the...
    7 KB (640 words) - 01:14, 7 March 2025
  • greatly simplify the final chapter of the proof (Feit & Thompson 1963) of the FeitThompson theorem that every finite group of odd order is solvable....
    3 KB (324 words) - 00:10, 8 September 2024
  • Thumbnail for John G. Thompson
    Letters. FeitThompson theorem McKay–Thompson series Quadratic pair Thompson factorization Thompson order formula Thompson subgroup Thompson transitivity...
    9 KB (706 words) - 19:03, 27 April 2025
  • proofs of this require the use of the much harder FeitThompson theorem. The Schur–Zassenhaus theorem at least partially answers the question: "In a composition...
    10 KB (1,414 words) - 13:07, 23 May 2024
  • Thumbnail for Classification of finite simple groups
    other words groups of odd order, which are all solvable by the FeitThompson theorem. Groups of 2-rank 1. The Sylow 2-subgroups are either cyclic, which...
    44 KB (3,907 words) - 06:12, 14 May 2025
  • exceptional characters. Feit & Thompson (1963, Chapter 3) developed coherence further in the proof of the FeitThompson theorem that all groups of odd...
    5 KB (675 words) - 04:11, 5 February 2021
  • can require hundreds of pages to express, such as the 255-page FeitThompson theorem. The emergence of computer-assisted proofs has allowed proof lengths...
    163 KB (15,928 words) - 09:39, 26 April 2025
  • Chevalley–Shephard–Todd theorem (finite group) Classification of finite simple groups (group theory) FeitThompson theorem (finite groups) Fitting's theorem (group theory)...
    78 KB (6,293 words) - 12:16, 2 May 2025
  • for the classification of finite simple groups, starting with the FeitThompson theorem that groups of odd order are solvable. In number theory one may...
    3 KB (340 words) - 17:06, 8 May 2024
  • nature of groups, with basic theorems such as the fundamental theorem of finite abelian groups and the FeitThompson theorem. The latter was a key early...
    138 KB (14,098 words) - 12:19, 7 May 2025
  • In mathematical finite group theory, Thompson's original uniqueness theorem (Feit & Thompson 1963, theorems 24.5 and 25.2) states that in a minimal simple...
    2 KB (144 words) - 05:37, 30 January 2023
  • the proof of the odd order theorem by Feit and Thompson (1963), where it was used to prove the Thompson uniqueness theorem. Suppose that G is a finite...
    2 KB (201 words) - 02:33, 4 June 2023
  • been much used in the classification of finite simple groups. The FeitThompson theorem, that finite simple groups that are not cyclic groups have even...
    5 KB (548 words) - 16:56, 9 March 2025
  • Thumbnail for Solvable group
    follows that every group with order less than 60 is solvable. The FeitThompson theorem states that every finite group of odd order is solvable. In particular...
    18 KB (3,033 words) - 00:00, 23 April 2025
  • Thumbnail for Rocq
    Rocq (category Free theorem provers)
    data structure: correctness proof in Rocq was published in 2007. FeitThompson theorem: formal proof using Rocq was completed in September 2012. Busy beaver:...
    19 KB (1,918 words) - 17:33, 10 May 2025
  • Thumbnail for Parity (mathematics)
    in understanding the configuration space of these puzzles. The FeitThompson theorem states that a finite group is always solvable if its order is an...
    21 KB (2,532 words) - 19:23, 1 May 2025
  • classification of finite simple groups. Close to half of the proof of the FeitThompson theorem involves intricate calculations with character values. Easier, but...
    24 KB (3,521 words) - 06:38, 16 December 2024
  • Thumbnail for Simple group
    while the remaining 6 are referred to as pariahs. The famous theorem of Feit and Thompson states that every group of odd order is solvable. Therefore,...
    16 KB (2,133 words) - 00:18, 16 December 2024
  • Thumbnail for List of group theory topics
    groups Alternating group Borel subgroup Chevalley group Conway group FeitThompson theorem Fischer group General linear group Group of Lie type Group scheme...
    10 KB (800 words) - 23:24, 17 September 2024
  • Thumbnail for P-group
    exert control over the group that was used in the proof of the FeitThompson theorem. Certain central extensions of elementary abelian groups called...
    21 KB (2,765 words) - 07:31, 6 May 2025
  • and linear algebra Walter Feit (Ph.D. 1955), winner of the 7th Cole Prize in 1965; known for proving the FeitThompson theorem David Gale (MA 1947), mathematician...
    185 KB (24,101 words) - 04:15, 27 April 2025
  • most 3, that is used in the classification of CN groups and in the FeitThompson theorem. The definition of a 3-step group in these two cases is slightly...
    3 KB (293 words) - 01:02, 29 March 2025
  • Thumbnail for Proof assistant
    Four-Color Theorem" (PDF), Notices of the American Mathematical Society, 55 (11): 1382–1393, MR 2463991, archived (PDF) from the original on 2011-08-05 "Feit thomson...
    17 KB (1,206 words) - 18:58, 4 April 2025
  • example of the type of classifications that would be used in the FeitThompson theorem and the classification of finite simple groups. Several important...
    6 KB (734 words) - 00:59, 29 March 2025
  • as of September 2022[update]. The conjecture terminology may persist: theorems often enough may still be referred to as conjectures, using the anachronistic...
    35 KB (1,461 words) - 12:50, 10 May 2025
  • finite simple group cannot be a singly even number. In fact, by the FeitThompson theorem, it cannot be odd either, so every such group has doubly even order...
    12 KB (1,800 words) - 15:57, 11 November 2024
  • generalization and simplification of an isometry used by Feit & Thompson (1963) in their proof of the odd order theorem, and was used by Peterfalvi (2000) in his revision...
    4 KB (417 words) - 04:00, 5 February 2021