Left residual of intermediately subnormal-to-normal by normal

Symbol-free definition
The subgroup property left residual of intermediately subnormal-to-normal by normal is defined as the left residual of the property defining ingredient::intermediately subnormal-to-normal subgroup by the property defining ingredient::normal subgroup.

Definition with symbols
The left residual of intermediately subnormal-to-normal by normal is the subgroup property $$p$$ described as follows: $$H$$ has property $$p$$ in $$G$$ if, whenever $$G$$ is realized as a normal subgroup in some group $$K$$, $$H$$ is an intermediately subnormal-to-normal subgroup of $$K$$.

Stronger properties

 * Weaker than::Procharacteristic subgroup:
 * Weaker than::Weakly procharacteristic subgroup
 * Weaker than::Paracharacteristic subgroup
 * Weaker than::Polycharacteristic subgroup
 * Weaker than::Weakly characteristic subgroup
 * Weaker than::Intermediately normal-to-characteristic subgroup: