Feit–Thompson theorem

Feit–Thompson theorem
Name	Feit–Thompson theorem
Field	Group theory
Proved	1963
Authors	Walter Feit, John G. Thompson
Published	Pacific Journal of Mathematics
Theorem type	Classification theorem

Feit–Thompson theorem is a fundamental result in group theory asserting that every finite group of odd order is solvable. It profoundly influenced research at institutions such as Princeton University, Harvard University, Cambridge University, MIT, and University of Chicago, and shaped directions pursued by mathematicians like Walter Feit, John G. Thompson, Bertram Huppert, Daniel Gorenstein, and Jean-Pierre Serre.

Statement of the theorem

The theorem states: every finite group whose order is an odd integer is a solvable group. This result connects properties studied by Évariste Galois in Galois theory and structural investigations by William Burnside and Issai Schur, and it impacts classification efforts exemplified by the Classification of Finite Simple Groups program led by contributors including Michael Aschbacher, Daniel Gorenstein, Richard Lyons, Ron Solomon, and John Conway. The statement directly rules out the existence of non-abelian simple groups of odd order, aligning with earlier constraints like Burnside's p^a q^b theorem and influencing work at places like Institute for Advanced Study and Klein Institute.

Historical context and motivations

Motivations trace to 19th and early 20th century problems tackled by Galois, Arthur Cayley, Camille Jordan, and later by William Burnside whose conjectures and theorems prompted searches for simple groups with restricted orders. Interest intensified after mid-20th century results by Feit, Thompson, Brauer, Suzuki, and Frobenius; the proof was announced at conferences attended by members from American Mathematical Society, British Mathematical Society, and research groups at University of Michigan and University of California, Berkeley. The result addressed questions raised in correspondence among Issai Schur, Ferdinand Frobenius, and contemporaries at École Normale Supérieure and influenced curricula at University of Oxford and Yale University.

Outline of the proof

The original proof, produced by Feit and Thompson, is elaborate and spans numerous lemmas and case analyses developed across a sequence of papers culminating in the 1963 publication. It proceeds by contradiction: assume a minimal counterexample, analyze local and global subgroup structure, and use character theory techniques advanced by Richard Brauer and Issai Schur alongside transfer methods from Frobenius and signalizer functor methods later formalized by Glauberman. Key structural steps involve studying Sylow subgroups inspired by work of Hall and Thompson himself, exploiting properties of primes and local subgroups as developed by Burnside and Wielandt, and deploying character theoretic arguments related to results from Peter Landrock and Isaac Schur.

Key concepts and preliminary results

Central concepts include Sylow theory associated with Pyotr Chebyshev-era number theoretic influence, Hall subgroups studied by Philip Hall, group actions prominent in the work of Évariste Galois and Sophus Lie-inspired algebra, and complex character theory from Frobenius and Burnside. Preliminary results used: Burnside's p^a q^b theorem, Frobenius reciprocity developed in contexts like Frobenius algebras, transfer and coprime action lemmas related to Thompson and Glauberman, and constraints on nilpotent and solvable extensions appearing in work by Hans Zassenhaus and Bertram Huppert. Tools also draw from representation theory advances at Princeton and Harvard involving contributors such as Richard Brauer, Fulton, and André Weil.

Applications and consequences

Consequences permeated modern algebra: elimination of odd-order simple groups simplified classification strategies pursued by teams including Daniel Gorenstein, Robert Griess, John Conway, J. H. Conway, and Simon Norton. It informed the discovery of sporadic groups like the Monster group and guided recognition algorithms implemented in computational systems developed at Cambridge and University of Sydney. The theorem also interacts with algebraic number theory traditions stemming from Kronecker and Dedekind, and impacted modular representation theory related to work by Alperin and Broué, influencing research at CNRS and Max Planck Institute.

Subsequent developments and simplifications

Following the original proof, further refinements and expositions were produced by Gorenstein, Walter Feit's collaborators, and later by Glauberman and Thompson who developed signalizer functor methods and local analysis frameworks. These developments fed into the Classification of Finite Simple Groups completed by researchers including Michael Aschbacher, Robert Guralnick, Ron Solomon, and Geoffrey Smith, and motivated algorithmic approaches by teams at SageMath, GAP, and research groups at University of Washington and ETH Zurich. Textbook treatments appeared in monographs authored by Isaac G. Macdonald, Bertram Huppert, and Daniel Gorenstein used widely at University of Cambridge and Imperial College London.

Category:Group theory