近世代数与课件--2.8 子群 .ppt

§８．子群 8.1定义与例 8.2 等价条件 8.3 生成子群 8.4 子群的运算 8.1定义与例 8.2 等价条件 8.3 生成子群 8.4 子群的运算 作业: P64-65: 2,3,4 * 讨论子对象是一个常用的代数方法.我们看一个群 ．假如由 里取出一个非空子集 来，那么利用 的乘法可以把 的两个元相乘．对于这个乘法来说， 很可能也作成一个群． 定义　一个群 的一个非空子集 叫做 的一个子群，假如 对于 的乘法来说作成一个群, 用符号 表示． 例１　给了一个任意群 ， 至少有两个子群： １． ； ２．只包含单位元 的子集． 例２　 ， ， ．那么 是 的一个子群． 因为： Ⅰ． 对于 的乘法来说是闭的， 　　　　　　， ， 　　　　　　 ， ； Ⅱ．结合律对于所有 的元都对，对于 的元也对； Ⅳ． ； Ⅴ． ， ． 更多的例子…… 注1: 的乘法必须是 的乘法 注2: 验证 是子群时有些条件可以省略. 引理:设 , 那么 (1) (2) , 对于 中运算 定理１　一个群 的一个不空子集 作成 的一个子群的充分而且必要条件是： （ⅰ） （ⅱ） 证明　若是（ⅰ），（ⅱ）成立， 作成一个群． Ⅰ．由于（ⅰ）， 是闭的； Ⅱ．结合律在 中成立， 在中自然成立； Ⅳ．因为 至少有一个元 ，由（ⅱ）， 也有 元 ，所以由（ⅰ）， Ⅴ．由（ⅱ），对于 的任意元 来说， 有 元 ，使得 反过来看 ，假如 是一个子群 ，（ⅰ）显然成立．我们证明，这时（ⅱ）也一定成立． 证完■ （ⅰ），（ⅱ）两个条件也可以用一个条件来代替． 定理２　一个群 的一个不空子集 作成 的一个子群的充分而且必要条件是： （ⅲ） 证明 I. 我们先证明，（ⅰ）和（ⅱ）成立，（ⅲ）就也成立． 假定 ， 属于 ，由（ⅱ）， ，由（ⅰ）， II.现在我们反过来证明，由（ⅲ）可以得到（ⅰ）和（ⅱ）． 假定 ．由（ⅲ）， ，于是 （ⅱ）成立 假定 ， ．由刚证明的， ；由（ⅲ）， ,即 (i) 成立 证完■ 假如所给子集 是一个有限集合，那么 作成子群的条件更要简单． 定理３　一个群 的一个不空有限子集 作成 的一个子群的充分而且必要条件是： 证明　这个条件是必要的，无须证明．我们证明它是充分的．因为 是有限集合，我们使用有限的定义证明. 现在我们要认识一种找一个子群的一般方法． 我们在一个群 里任意取出一个非空子集 来，包含元 ， ， ， ，….那么 当然不见得是一个子群, 但是我们可以把 扩大一点，而得到一个包含的子群． 利用 的元以及这些元的逆元我们可以作各种乘积，比方说， 　　　　　， ， ， ， 等等．设集合 刚好包含所有这样的乘积, 可以证明: (1). 作成一个子群． 因为两个这样的乘积乘起来还是一个这样的乘积， 一个这样的乘积的逆元也是一个这样的乘积, 由定理１， (2) 对任何一个包含 的子群 , 一定包含 ． 这一点容易看出： 既是一个子群，它又包含所有 的元 ， ， ，…，Ⅰ，Ⅱ，两个条件，因而根据定理1，它必须包含所有的上面所作的那些乘积；这就是说， ． 由 (1)和(2)， 是包含 的最小的子群． 定义　如上得到的 叫做由 生成的子群，我们用符号 来表示它． 假如我们取一个只包含一个元 的子集 ，那么 是一个循环子群． 例3 生成子群很复杂,给出一些简单的例子 两个子群的交仍然是子群 两个子群的并不一定是子群 群的子集的运算 容易证明: , , 设A，B是群G的两个非空子集,规定 等