Equivalence of definitions of finite solvable group

From Groupprops
Revision as of 22:00, 18 June 2011 by Vipul (talk | contribs) (Created page with "{{definition equivalence|finite solvable group}} ==Statement== The following are equivalent for a finite group: # It is a defining ingredient::solvable group # It is a ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article gives a proof/explanation of the equivalence of multiple definitions for the term finite solvable group
View a complete list of pages giving proofs of equivalence of definitions

Statement

The following are equivalent for a finite group:

  1. It is a solvable group
  2. It is a polycyclic group
  3. It has Sylow complements for all prime divisors of the order of the group
  4. It has Hall subgroups of all possible orders
  5. All its composition factors (i.e., the quotient groups for any composition series for the group) are cyclic groups of prime order.