Feit-Thompson theorem

- group, ∞-group
- group object, group object in an (∞,1)-category
- abelian group, spectrum
- group action, ∞-action
- representation, ∞-representation
- progroup
- homogeneous space

Every finite group of odd order is a solvable group.

This is due to (Feit-Thompson 1962).

A fully formalized proof in Coq has been announced in (INRIA 2012)

- Walter Feit, John Thompson,
*A solvability criterion for finite groups and some consequences*, Proc. Nat. Acad. Sci. 48 (6): 968–970, (JSTOR)

Created on October 31, 2012 23:38:50
by Urs Schreiber
(82.169.65.155)