Characteristic subgroup of finite index

Definition
A characteristic subgroup of finite index is a subgroup of a group that is a characteristic subgroup as well as a subgroup of finite index, i.e., the index of the subgroup is finite, or equivalently, the quotient group is a finite group.