# Finite solvable group

This article defines a property that can be evaluated for finite groups (and hence, a particular kind of group property)
View other properties of finite groups OR View all group properties

## Definition

A finite group is termed a finite solvable group if it satisfies the following equivalent conditions:

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. Equivalently, all its composition factors are abelian.
6. All its chief factors (i.e., the successive quotient groups for any chief series for the group) are elementary abelian groups.

### Equivalence of definitions

Further information: equivalence of definitions of finite solvable group

## Examples

### Examples based on order

We call a natural number $n$ a solvability-forcing number if every group of order $n$ is solvable. It turns out that:

### Non-examples

Any finite simple non-abelian group is a finite group that is not solvable. See classification of finite simple groups for a list of finite simple non-abelian groups.

Further, any group that contains a finite simple non-abelian group as a subgroup, has a finite simple non-abelian group as a quotient group, or admits a finite simple non-abelian group as a subquotient must be non-solvable.

The smallest order examples of finite non-solvable groups are below:

## Relation with other properties

### Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
finite abelian group finite and an abelian group follows from abelian implies solvable see solvable not implies abelian Finite nilpotent group, Finite supersolvable group, Group having subgroups of all orders dividing the group order|FULL LIST, MORE INFO
finite nilpotent group finite and a nilpotent group follows from nilpotent implies solvable see solvable not implies nilpotent Finite supersolvable group, Group having a Sylow tower, Group having subgroups of all orders dividing the group order|FULL LIST, MORE INFO
finite supersolvable group finite and a supersolvable group follows from supersolvable implies solvable see solvable not implies supersolvable Group having subgroups of all orders dividing the group order|FULL LIST, MORE INFO