Théorème de Feit et Thompson

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques, et plus précisément en théorie des groupes, le théorème de Feit et Thompson (ou théorème de Feit-Thompson), appelé aussi théorème de l'ordre impair, dit que tout groupe fini d'ordre impair est résoluble, ce qui équivaut à dire que tout groupe simple fini non commutatif est d'ordre pair. Ce théorème, conjecturé en 1911 par William Burnside[1], fut démontré en 1963 par Walter Feit et John Griggs Thompson[2].

Historique[modifier | modifier le code]

Le théorème lui-même et bon nombre de techniques que Feit et Thompson inauguraient dans leur démonstration jouèrent un rôle essentiel dans la classification des groupes simples finis.

La démonstration originale de Feit et Thompson, longue de plus de deux cent cinquante pages, a été simplifiée dans certains détails, mais elle n'a pas été considérablement raccourcie et sa structure générale n'a pas été modifiée. Une démonstration simplifiée a été publiée en deux volumes[3],[4]. Une esquisse de la démonstration est présentée dans Finite Groups de Daniel Gorenstein (en)[5].

Une démonstration formelle complète, certifiée par le logiciel Coq, est annoncée en septembre 2012 par Georges Gonthier et son équipe, Mathematical Components, du Laboratoire Commun Inria - MSR Microsoft[6].

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Feit–Thompson theorem » (voir la liste des auteurs)

  1. (en) William Burnside, Theory of groups of finite order, Second Edition,‎ 2004 (1re éd. 1911) (ISBN 978-0-486-49575-0), p. 503
  2. (en) Walter Feit et John G. Thompson, « Solvability of groups of odd order », Pac. J. Math., vol. 13,‎ 1963, p. 775-1029.en ligne.
  3. (en) Helmut Bender et George Glauberman (en), Local analysis for the odd order theorem, CUP, coll. « London Mathematical Society Lecture Note Series » (no 188),‎ 1994 (ISBN 978-0-521-45716-3)
  4. (en) Thomas Peterfalvi, Character theory for the odd order theorem, CUP, coll. « London Mathematical Society Lecture Note Series » (no 272),‎ 2000 (ISBN 978-0-521-64660-4)
  5. (en) Daniel Gorenstein, Finite Groups, Chelsea,‎ 1980, 2e éd. (ISBN 978-0-82184342-0), p. 450-461
  6. (en) « Feit-Thompson theorem has been totally checked in Coq », Msr-inria.inria.fr,‎ 2012-09-20 (consulté le 2012-09-25)

Article connexe[modifier | modifier le code]

Conjecture de Feit-Thompson (en)