考虑一个可数子群 ,其元素为 ,以及一个不在 中的元素 ,则对于 , 2, ..., 构成了子群 关于 的右陪集。
更多尝试
Weisstein, Eric W. "右陪集。" 来自 MathWorld—— Wolfram Web 资源。 https://mathworld.net.cn/RightCoset.html