模为2的逆元是什么_抽象代数2-5陪集指数和Lagrange定理

从局部到整体是研究代数结构的常用方法。通常用等价关系将一个集合分成一些不相交的子集和的并集。群可以通过陪集关系，把一个群G分解成一些子集合的并集，并且这些子集合互不相交。从而可以从局部到整体地研究群结构。

定义1：设H 是G 的一个子群， ∈G, 则称群G 的子集 ={ | ∈ ｝ 为群G 关于子群H的一个左陪集；而称集合 ={ | ∈ ｝ 为群G关于子群H 的一个右陪集。

例1：在3元对称群

中，令H={（1），（12）}，由于对换的阶数为2，所以H是

的子群。我们看一下

关于H的左右陪集。

1. 左陪集：
2. 右陪集：

由例子可见：

(1）H 的一个陪集一般不是G 的子群 （只有H是子群，其他陪集理没有单位元（1），从而不是子群)；

(2）G的两个不同的元素可能生成H的同一个左陪集（在同一个陪集里的两个元素的陪集相同）；

(3）H的左陪集aH未必等于右陪集Ha；

(4）不同的左（右）陪集相交为空集；

(5）左右陪集中元素个数和H的元素个数相同。

---

可以抽象出以下性质：只证明左陪集部分，右陪集部分类似

1)

.从而群G可以被所有的左陪集覆盖，

.

证