Feit–Thompson 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
Finite group (section Feit–Thompson theorem)
primes. The Feit–Thompson 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
Feit–Thompson may refer to: Feit–Thompson conjecture Feit–Thompson theorem This disambiguation page lists articles associated with the title Feit–Thompson...
321 bytes (43 words) - 17:49, 20 April 2013
His most famous result is his proof, joint with John G. Thompson, of the Feit–Thompson 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 Feit–Thompson theorem that every finite group of odd order is solvable....
3 KB (324 words) - 00:10, 8 September 2024
Letters. Feit–Thompson 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 Feit–Thompson theorem. The Schur–Zassenhaus theorem at least partially answers the question: "In a composition...
10 KB (1,414 words) - 13:07, 23 May 2024
other words groups of odd order, which are all solvable by the Feit–Thompson theorem. Groups of 2-rank 1. The Sylow 2-subgroups are either cyclic, which...
44 KB (3,907 words) - 06:12, 14 May 2025
Coherent set of characters (redirect from Feit's theorem)
exceptional characters. Feit & Thompson (1963, Chapter 3) developed coherence further in the proof of the Feit–Thompson 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 Feit–Thompson 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) Feit–Thompson 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 Feit–Thompson 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 Feit–Thompson 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 Feit–Thompson theorem, that finite simple groups that are not cyclic groups have even...
5 KB (548 words) - 16:56, 9 March 2025
Solvable group (section Burnside's theorem)
follows that every group with order less than 60 is solvable. The Feit–Thompson theorem states that every finite group of odd order is solvable. In particular...
18 KB (3,033 words) - 00:00, 23 April 2025
Rocq (category Free theorem provers)
data structure: correctness proof in Rocq was published in 2007. Feit–Thompson theorem: formal proof using Rocq was completed in September 2012. Busy beaver:...
19 KB (1,918 words) - 17:33, 10 May 2025
in understanding the configuration space of these puzzles. The Feit–Thompson 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 Feit–Thompson theorem involves intricate calculations with character values. Easier, but...
24 KB (3,521 words) - 06:38, 16 December 2024
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
groups Alternating group Borel subgroup Chevalley group Conway group Feit–Thompson theorem Fischer group General linear group Group of Lie type Group scheme...
10 KB (800 words) - 23:24, 17 September 2024
exert control over the group that was used in the proof of the Feit–Thompson 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 Feit–Thompson 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 Feit–Thompson theorem. The definition of a 3-step group in these two cases is slightly...
3 KB (293 words) - 01:02, 29 March 2025
Proof assistant (redirect from Theorem checker)
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 Feit–Thompson 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 Feit–Thompson 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