is a residually finite group.

By definition, for each nontrivial element in , there exists a finite index normal subgroup in K such that .

Is it possible that is charateristic in ? Why?

Definition: A subgroup of ischaracteristicin in case for every isomorphism .