Talk:Residually finite

From Wikipedia, the free encyclopedia

[edit] Unsourced (nontrivial?) theorem

An equivalent definition is that a group is residually finite if the intersection of all its finite index subgroups is trivial.

Er, really? Without thinking about this, at all, it is quite obvious that a group is RF if the intersection of all its finite index normal subgroups is trivial. Can someone provide a proof for the other equivalence?

RandomP 14:45, 22 September 2006 (UTC)