Normality satisfies lower central series condition
This article gives the statement, and possibly proof, of a subgroup property (i.e., normal subgroup) satisfying a subgroup metaproperty (i.e., lower central series condition)
View all subgroup metaproperty satisfactions | View all subgroup metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for subgroup properties
Get more facts about normal subgroup |Get facts that use property satisfaction of normal subgroup | Get facts that use property satisfaction of normal subgroup|Get more facts about lower central series condition
Suppose is a group and is a normal subgroup of . Suppose is a positive integer. Denote by the member of the lower central series of , and denote by the member of the lower central series of . Then, is a normal subgroup of .
- Lower central series member functions are monotone, i.e., if , then .
- Normality is preserved under any monotone subgroup-defining function
The proof follows directly by combining Facts (1) and (2).