右陪集

考慮一個可數子群 ，其元素為 ，以及一個不在 中的元素 ，則對於 , 2, ...， 構成了子群 關於 的右陪集。