§9.子群的陪集9.1子群的左陪集9.2子群的右陪集9.3子群的指.pptVIP

§9.子群的陪集 9.1子群的左陪集 9.2子群的右陪集 9.3子群的指数 9.4 拉格朗日定理 --------------------------- 在这一节里我们要利用群的一个子群来作一个的分类，然后由这个分类推出一个重要的定理．我们从等价关系开始. * 9.1子群的左陪集 我们看一个群 和 的一个子群 ．我们规定一个的元 中间的关系 ： ，当而且只当 的时候 给了 和 ，我们可以唯一决定， 是不是属于 ，所以 是一个关系,并且: ，所以 Ⅰ ，所以 Ⅱ Ⅲ ………….所以 ， 这样， 是一个等价关系．利用这个等价关系，我们可以得到一个 的分类: [a],[b],[c]……,这里 称为a的等价类 (2) 引理1 [a]=aH={ah| h属于} 证明: (1) 定义1 由上面的等价关系 所决定的类 叫做子群 的左陪集. 由引理1左陪集既是等价类,又是子集的乘法aH.由等价类的性质可以推出左陪集的一些重要性质: (1) (2) (3) (5) 任意两个左陪集 或者 (4) 例１　 ， ， ， ， ， ，