# Isoclinic groups have same derived length

From Groupprops

## Statement

Suppose and are isoclinic groups. Then, the following are true:

- is a solvable group if and only if is a solvable group.
- If and are both solvable and nontrivial, then they have the same derived length. If either of them is trivial, the other may be nontrivial but must still be abelian (in which case we have derived lengths of zero and one).

## Related facts

- Isoclinic groups have same nilpotency class
- Isoclinic groups have same non-abelian composition factors

## Proof

**Given**: Isoclinic groups and .

**To prove**: is solvable if and only if is, and if so, they have the same derived length if both are nontrivial. If either is trivial, the other may be nontrivial but must be abelian.

Step no. | Assertion/construction | Facts used | Previous steps used |
---|---|---|---|

1 | is solvable if and only if its derived subgroup is solvable, and if so, the derived length of is one more than the derived length of its derived subgroup (unless is trivial). | definition of solvable group, via the derived series. | -- |

2 | is solvable if and only if its derived subgroup is solvable, and if so, the derived length of is one more than the derived length of its derived subgroup (unless is trivial). | definition of solvable group, via the upper central series. | -- |

3 | The derived subgroup of is isomorphic to the derived subgroup of . | definition of isoclinism | is isoclinic to . |

4 | is solvable if and only if is solvable, and they have the same derived length unless one of them is trivial. | Steps (1)-(3) | |

5 | If either group is trivial, the derived subgroup of both must be trivial, so both must be abelian. | Step (3). |