# Solvability is extension-closed

From Groupprops

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

## Contents

## Statement

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

Moreover, the derived length of is at most equal to the sum of the derived lengths of and .

## Related facts

### Converse

- Solvability is subgroup-closed
- Solvability is quotient-closed
- Solvability is quasivarietal (implies both being subgroup-closed and quotient-closed).

### Opposite facts

## Proof

### Proof based on the subnormal series definition

The idea is as follows: we combine the subnormal series for with a series from to obtained by taking the inverse image of the subnormal series for . 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.

**PLACEHOLDER FOR INFORMATION TO BE FILLED IN**: [SHOW MORE]