Nilpotent derived subgroup implies subnormal join property
From Groupprops
This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., group with nilpotent derived subgroup) must also satisfy the second group property (i.e., group satisfying subnormal join property)
View all group property implications | View all group property non-implications
Get more facts about group with nilpotent derived subgroup|Get more facts about group satisfying subnormal join property
Statement
Any group whose derived subgroup is a nilpotent group satisfies the subnormal join property: a join of subnormal subgroups of the group is subnormal.
Facts used
- Nilpotent implies every subgroup is subnormal
- Join of subnormal subgroups is subnormal iff their commutator is subnormal
Proof
Given: A group such that is nilpotent. Subnormal subgroups of .
To prove: is subnormal.
Proof: Clearly, . Since is nilpotent by assumption, fact (1) tells us that is a subnormal subgroup of . Further, is a normal subgroup of , so is subnormal in . Thus, by fact (2), issubnormal in .
References
Textbook references
- A Course in the Theory of Groups by Derek J. S. Robinson, ISBN 0387944613, ^{More info}, Page 388, Theorem 13.1.7, Section 13.1 (Joins and intersections of subnormal subgroups)