# Supersolvable implies nilpotent derived subgroup

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., supersolvable group) must also satisfy the second group property (i.e., group with nilpotent derived subgroup)

View all group property implications | View all group property non-implications

Get more facts about supersolvable group|Get more facts about group with nilpotent derived subgroup

## Statement

The Derived subgroup (?) of a Supersolvable group (?) is a Nilpotent group (?). Moreover, the Nilpotence class (?) of the commutator subgroup is bounded from above by the length of any normal series for the whole group with cyclic quotients.

## Facts used

- Commutator subgroup centralizes cyclic normal subgroup
- Commutator subgroup is normal
- Normality is strongly intersection-closed
- Normality satisfies image condition
- Second isomorphism theorem
- Cyclicity is subgroup-closed
- Commutator subgroup satisfies image condition: Under a surjective homomorphism, the image of the commutator subgorup equals the commutator subgroup of the image.

## Proof

**Given**: A supersolvable group with a normal series with cyclic.

**To prove**: is nilpotent of class at most .

**Proof**: We will prove that the series:

is a central series for .

- is normal in : This is fact (2).
- is normal in for all : This follows from fact (3).
- is normal in for all : This follows from fact (4).
- is cyclic: By the second isomorphism theorem (fact (5)), this quotient is isomorphic to , which in turn is a subgroup of . Fact (6) therefore yields that it is cyclic.
- is the commutator subgroup of : This is direct from fact (7).
- is in the center of : By the previous three steps, is cyclic normal in , and is the commutator subgroup. So fact (1) yields that is in the center of .

Thus, the series is indeed a central series.