# Characteristic subgroup of solvable group

This article describes a property that arises as the conjunction of a subgroup property: characteristic subgroup with a group property imposed on the ambient group: solvable group
View a complete list of such conjunctions | View a complete list of conjunctions where the group property is imposed on the subgroup

## Definition

A subgroup $H$ in a group $G$ is termed a characteristic subgroup of solvable group if $G$ is a solvable group and $H$ is a characteristic subgroup.

## Relation with other properties

### Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
characteristic subgroup of nilpotent group the subgroup is characteristic and the whole group is a nilpotent group follows from nilpotent implies solvable solvable not implies nilpotent -- use the group as a subgroup of itself |FULL LIST, MORE INFO
characteristic subgroup of abelian group the subgroup is characteristic and the whole group is an abelian group (via nilpotent) (via nilpotent) -- use the group as a subgroup of itself |FULL LIST, MORE INFO

### Weaker properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
normal subgroup of solvable group characteristic implies normal normal not implies characteristic in any nontrivial subquasivariety of the quasivariety of groups plus solvability is quasivarietal |FULL LIST, MORE INFO
solvable characteristic subgroup the subgroup is characteristic and solvable as a group in its own right. solvability is subgroup-closed the trivial subgroup in any non-solvable group. |FULL LIST, MORE INFO
solvable normal subgroup (via solvable characteristic, also via normal subgroup of solvable group) (via solvable characteristic, also via normal subgroup of solvable group) |FULL LIST, MORE INFO