# Solvability is extension-closed

This article gives the statement, and possibly proof, of a group property (i.e., solvable group) satisfying a group metaproperty (i.e., extension-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 solvable group |Get facts that use property satisfaction of solvable group | Get facts that use property satisfaction of solvable group|Get more facts about extension-closed group property

## Statement

Suppose $G$ is a group with a normal subgroup $H$, so that $G/H$ is the quotient group. Suppose, further, that both $H$ and $G/H$ are solvable groups. Then, $G$ is also a solvable group.

Moreover, the derived length of $G$ is at most equal to the sum of the derived lengths of $H$ and $G/H$.

## Proof

### Proof based on the subnormal series definition

The idea is as follows: we combine the subnormal series for $H$ with a series from $H$ to $G$ obtained by taking the inverse image of the subnormal series for $G/H$. The fourth isomorphism theorem (or more specifically, the fact that normality satisfies inverse image condition) guarantees that the inverse image of the subnormal series also satisfies the criterion that each member is adjacent in the next.