The Group Properties Wiki (pre-alpha)

TIP: Get tips on handling doubts and solving riders

ABOUT US: We use a Creative Commons license. All our content is free to reuse, with attribution. Learn more

ALSO CHECK OUT: Topospaces: The Topology Wiki

From Groupprops

This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property must also satisfy the second group property
View all group property implications | View all group property non-implications |Get help on looking up group property implications/non-implications
|

This fact is useful in work leading up to the Classification of finite simple groups

Contents 1 History 2 Statement 2.1 Verbal statement 2.2 Property-theoretic statement 3 Applications 4 Proof

History

This result was proved by Feit and Thompson, and is called the Feit-Thompson Theorem or the Odd order theorem.

Statement

Verbal statement

Any finite group of odd order is solvable. Equivalently, any finite simple non-Abelian group has even order.

Property-theoretic statement

The property of being an odd-order group is a stronger property than the property of being solvable.

Applications

• Coprime implies one is solvable: If two finite groups have relatively prime orders, then one of them is solvable.

Proof

The proof of the odd-order theorem is nontrivial and cannot be put into the wiki page.