Nilpotency class: Difference between revisions

From Groupprops
Line 25: Line 25:
Any nilpotent group is [[solvable group|solvable]], and there are numerical relations between the nilpotency class and derived length:
Any nilpotent group is [[solvable group|solvable]], and there are numerical relations between the nilpotency class and derived length:


* [[Derived length is logarithmically bounded by nilpotence class]]
* [[Derived length is logarithmically bounded by nilpotency class]]
* [[Derived length gives no upper bound on nilpotence class]]: For a derived length greater than <math>1</math>, the value of the solvable length gives no upper bound on the value of the nilpotency class.
* [[Derived length gives no upper bound on nilpotency class]]: For a derived length greater than <math>1</math>, the value of the solvable length gives no upper bound on the value of the nilpotency class.

Revision as of 21:14, 10 January 2010

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

Definition

Symbol-free definition

For a nilpotent group, the nilpotency class or nilpotence class is defined in any of the following equivalent ways:

A group is said to be of class c if its nilpotency class is less than or equal to c.

Equivalence of definitions

For full proof, refer: Equivalence of definitions of nilpotency class

Facts

Relation with solvable length

Further information: Nilpotency class versus derived length

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