Infinite residually finite group is not simple
= Infinite residually finite group is not simple
An infinite residually <finite group> is not a <simple group>. For a nonidentity element, residual finiteness supplies a map to a <finite group> in which it survives. Its kernel is proper and cannot be trivial, since an infinite group cannot inject into a <finite group>.