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
Moreover, the derived length of is at most equal to the sum of the derived lengths of and .
- Solvability is subgroup-closed
- Solvability is quotient-closed
- Solvability is quasivarietal (implies both being subgroup-closed and quotient-closed).
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]