Difference between revisions of "Derived length"

From Groupprops
Jump to: navigation, search
m (1 revision)
Line 6: Line 6:
  
 
Given a [[solvable group]], we define its '''solvable 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.
 
Given a [[solvable group]], we define its '''solvable 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.
 +
 +
==Facts==
 +
 +
===Relation with nilpotence class===
 +
 +
{{further|[[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 <math>1</math>, the value of the solvable length gives no upper bound on the value of the nilpotence class.

Revision as of 15:15, 11 October 2008

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

Definition

Symbol-free definition

Given a solvable group, we define its solvable 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.

Facts

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: