Solvable normal subgroup

Symbol-free definition
A subgroup of a group is termed a solvable normal subgroup if it is normal as a subgroup and solvable as a group.

Stronger properties

 * Weaker than::Cyclic normal subgroup
 * Weaker than::Abelian normal subgroup
 * Weaker than::Nilpotent normal subgroup
 * Weaker than::Supersolvable normal subgroup