Finitely generated normal subgroup

Definition
A subgroup of a group is termed a finitely generated normal subgroup if it is normal as a subgroup and finitely generated as a group.

Stronger properties

 * Weaker than::Finite normal subgroup

Weaker properties

 * Stronger than::Normal closure of finite subset