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 is characteristic in in case for every isomorphism .