Homocyclic normal subgroup of finite group

Definition
A subgroup of a group is termed a homocyclic normal subgroup if it is a homocyclic normal subgroup (i.e., a defining ingredient::homocyclic group and a normal subgroup) and the whole group is a finite group.

Stronger properties

 * Weaker than::Cyclic normal subgroup of finite group

Weaker properties

 * Stronger than::Finite-pi-potentially fully invariant subgroup
 * Stronger than::Finite-potentially fully invariant subgroup
 * Stronger than::Potentially fully invariant subgroup
 * Stronger than::Finite-pi-potentially characteristic subgroup