剩餘有限群
在數學的群論中，一個群 G 稱為剩餘有限群，如果對 G 中每個非單位元 g，都有一個群同態 h 從 G 到一個有限群，使得

  
    
      
        h
        (g)
        ≠
        1
      
    
    {\displaystyle h (g)\neq 1}
  剩餘有限群有數個等價定義：

對群中每個非單位元，有一個有限指數的正規子群不包括該元素。
群中所有有限指數的子群的交是平凡的。
群中所有有限指數的正規子群的交是平凡的。
這個群可以嵌入到一族有限群的直積中。