剩餘有限群

剩餘有限群，對群中每個非單位元，有一個有限指數的正規子群不包括該元素。

剩餘有限群，如果對G中每個非單位元g，都有一個群同態h從G到一個有限群，使得

h(g)\neq1
剩餘有限群有數個等價定義：

群中所有有限指數的子群的交是平凡的。
群中所有有限指數的正規子群的交是平凡的。
這個群可以嵌入到一族有限群的直積中。