的一个子群-惠州学院.ppt

§８．子群 ;8.1定义与例;例２　 ， ， ．那么 是 的一个子群． 因为： Ⅰ． 对于 的乘法来说是闭的， 　　　　　　， ， 　　　　　　 ， ； Ⅱ．结合律对于所有 的元都对，对于 的元也对； Ⅳ． ； Ⅴ． ， ． 更多的例子…… 注1: 的乘法必须是 的乘法 注2: 验证 是子群时有些条件可以省略.;8.2 等价条件;证明　若是（ⅰ），（ⅱ）成立， 作成一个群． Ⅰ．由于（ⅰ）， 是闭的； Ⅱ．结合律在 中成立， 在中自然成立； Ⅳ．因为 至少有一个元 ，由（ⅱ）， 也有 元 ，所以由（ⅰ）， Ⅴ．由（ⅱ），对于 的任意元 来说， 有 元 ，使得 反过来看 ，假如 是一个子群 ，（ⅰ）显然成立．我们证明，这时（ⅱ）也一定成立． 证完■ （ⅰ），（ⅱ）两个条件也可以用一个条件来代替．;定理２　一个群 的一个不空子集 作成 的一个子群的充分而且必要条件是： （ⅲ）;假定 ， ．由刚证明的， ；由（ⅲ）