Finite normal subgroup

Definition
A subgroup of a group is termed a finite normal subgroup if it is finite (as a group) and normal as a subgroup.

Related properties

 * Normal subgroup of finite index