Difference between revisions of "Derived length"

From Groupprops
Jump to: navigation, search
 
(One intermediate revision by the same user not shown)
Line 5: Line 5:
 
===Symbol-free definition===
 
===Symbol-free definition===
  
Given a [[solvable group]], we define its '''solvable length''' or '''derived length''' as follows:  
+
Given a [[solvable group]], we define its '''derived length''' or '''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.
 
* 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 group]]s.
 
* 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 group]]s.
  
When we say that a group has solvable length <math>k</math>, we typically mean that it has solvable length at most <math>k</math>.
+
When we say that a group has derived length <math>k</math>, we typically mean that it has solvable length at most <math>k</math>.
  
 
==Facts==
 
==Facts==
Line 16: Line 16:
 
===Small values===
 
===Small values===
  
* A group has solvable length zero if and only if it is [[trivial group|trivial]].
+
* A group has derived length zero if and only if it is [[trivial group|trivial]].
* A group has solvable length at most one if and only if it is [[abelian group|abelian]].
+
* A group has derived length at most one if and only if it is [[abelian group|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]].
+
* A group has derived 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|[[Nilpotence class versus solvable length]]}}
+
===Relation with nilpotency class===
 +
 
 +
{{further|[[Nilpotency class versus solvable length]]}}
  
 
Any nilpotent group is solvable, and there are numerical relations between the nilpotence class and solvable length:
 
Any nilpotent group is solvable, and there are numerical relations between the nilpotence class and solvable length:

Latest revision as of 15:56, 24 June 2009

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 derived length or 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.
  • 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 derived length k, we typically mean that it has solvable length at most k.

Facts

Small values

Relation with nilpotency class

Further information: Nilpotency class versus solvable length

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