Normal subgroup of finitely generated group

Symbol-free definition
A subgroup of a group is termed a normal subgroup of finitely generated group if the whole group is a finitely generated group and the subgroup is a normal subgroup.

Stronger properties

 * Weaker than::Normal subgroup of finite group
 * Weaker than::Normal subgroup of slender group

Weaker properties

 * Stronger than::Normal subgroup