拓扑.用下列方式能使任何群"G"成为一个拓扑群：取"G"中全部有限指数的正规子群，为"G"的单位元"e"的开邻域。如此得出的拓扑称为"G"的投射有限拓扑（profinite topology）。一个群"G"是剩余有限群，当且仅当"G"的投射有限拓扑是豪斯多夫的。