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
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 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.