# Derived length

From Groupprops

Revision as of 15:55, 24 June 2009 by Vipul (talk | contribs) (moved Solvable length to Derived length over redirect)

*This article defines an arithmetic function on a restricted class of groups, namely:* solvable groups

## Contents

## Definition

### Symbol-free definition

Given a solvable group, we define its **solvable length** or **derived length** as follows:

- It is the length of the derived series of the group. Note here that by length of the series, we mean the number of successive inclusions, so the length is one less than the actual number of subgroups in the derived series.
- It is the minimum possible length of a subnormal series from the trivial subgroup to the whole group such that all the quotients in the series are abelian groups.

When we say that a group has solvable length , we typically mean that it has solvable length at most .

## Facts

### Small values

- A group has solvable length zero if and only if it is trivial.
- A group has solvable length at most one if and only if it is abelian.
- A group has solvable length at most two if and only if it is a metabelian group: it has an abelian normal subgroup such that the quotient group is also an abelian group.

### Relation with nilpotence class

`Further information: Nilpotence class versus solvable length`

Any nilpotent group is solvable, and there are numerical relations between the nilpotence class and solvable length:

- Solvable length is logarithmically bounded by nilpotence class
- Solvable length gives no upper bound on nilpotence class: For a solvable length greater than , the value of the solvable length gives no upper bound on the value of the nilpotence class.