近世代数 子群.pptVIP

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