剩餘有限群

\\n 群中所有有限指數的子群的交是平凡的。 群中所有有限指數的正規子群的交是平凡的。

剩餘有限群，如果對G中每個非單位元g，都有一個群同態h從G到一個有限群，使得
h(g)\neq1
剩餘有限群有數個等價定義：
對群中每個非單位元，有一個有限指數的正規子群不包括該元素。
群中所有有限指數的子群的交是平凡的。
群中所有有限指數的正規子群的交是平凡的。
這個群可以嵌入到一族有限群的直積中。