# Nilpotency of fixed class is subgroup-closed

This article gives the statement, and possibly proof, of a group property (i.e., nilpotent group) satisfying a group metaproperty (i.e., subgroup-closed group property)

View all group metaproperty satisfactions | View all group metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for group properties

Get more facts about nilpotent group |Get facts that use property satisfaction of nilpotent group | Get facts that use property satisfaction of nilpotent group|Get more facts about subgroup-closed group property

## Contents

## Statement

Suppose is a nilpotent group and is a subgroup of . Then, is also a nilpotent group and its nilpotency class is at most equal to the nilpotency class of .

Note that we say that a group is nilpotent "of class " if its nilpotency class is at *most* . The statement can thus be reformulated as saying that the property of being nilpotent of class is closed under taking subgroups.

## Proof

### Proof using the upper central series definition

The idea here is to show that the upper central series ascends at least as fast as the series obtained by intersecting with the upper central series of .

### Proof using the lower central series definition

The idea here is to show that the lower central series descends at least as fast as the series obtained by intersecting with the lower central series of .

### Proof using the central series definition

The idea here is to show that intersecting with every member of any central series of gives a central series of .

### Proof in terms of iterated commutators being trivial

The proof in terms of this definition is tautological.