Normal subgroup of periodic group

Definition
A subgroup of a group is a normal subgroup of periodic group if the whole group is a periodic group (i.e., every element has finite order) and the subgroup is a normal subgroup.

Stronger properties

 * Weaker than::Normal subgroup of finite group

Weaker properties

 * Stronger than::Periodic-quotient normal subgroup
 * Stronger than::Periodic normal subgroup
 * Stronger than::Normal closure of periodic subset