近世代数 群的定义.pptVIP

第一页，共二十页，2022年，8月28日 1.1引例 例1 集合 上所有一一变换 ………………. 引入记号: 第二页，共二十页，2022年，8月28日 例2 保持平面上正△不变的保距变换. ……… , 具有乘法运算(映射复合),满足性质: Ⅰ． 对于乘法来说是闭的: 对于 ； Ⅱ．结合律成立： ,对于 ； 第三页，共二十页，2022年，8月28日 Ⅳ． 里至少存在一个 ，能让 　 对于 的任何元 都成立, 这样的 称为左单 位元； Ⅴ．对于 的每一个元 ，在 里存在一个元,记 为 ，能让 这样的 称为 的左逆元. 例3 保持 中多项式 不变的变换. 第四页，共二十页，2022年，8月28日 1.2群的第一定义及例子 群的定义I　我们说，一个不空集合对于 一个叫做乘法的代数运算来说作成一个群，假如: III ． 里至少存在一个 ，能让 　 对于 的任何元 都成立, 这样的 称为左单 位元； Ⅰ． 对于乘法来说是闭的: 对于 ； Ⅱ．结合律成立： ,对于 ； 第五页，共二十页，2022年，8月28日 Ⅳ ．对于 的每一个元 ，在 里存在一个元,记 为 ，能让 这样的 称为 的左逆元. 注1 群 与运算联系在一起. 例4. (平凡群) 只包含一个元 ．乘法是 ． 对于这个乘法来说作成一个群． 例5. 在数集中,关于熟习的运算,发现一些群的正反面的例子 ……………... 第六页，共二十页，2022年，8月28日 例6 在矩阵集合中发现一些群的正反面的例子. 例7 向量空间是一个加法群 例8 (重新定义的运算) 在 上定义运算 判断 关于给定的运算是否构成群. 注2 群定义中, I和II 是验算, III和IV 需要找元素. 注3 III和IV有逻辑先后. 第七页，共二十页，2022年，8月28日 作业: 判断下列是否构成群 (1) 在 上定义运算 (2) 在 上定义运算 第八页，共二十页，2022年，8月28日 1.3 群的第二定义 引理1 一个左逆元一定也是一个右逆元, 这句话的意思是： 证明 有元 有左逆元 ，使得 一方面, 但另一方面, 所以 第九页，共二十页，2022年，8月28日 引理2 一个左单位元一定也是一个右单位元．这就 是说： 证明: 群的定义II　我们说，一个不空集合 对于一个叫做乘法的代数运算来说作成一个群，假如: Ⅰ． 对于乘法来说是闭的: 对于 ； Ⅱ．结合律成立： ,对于 ； 第十页，共二十页，2022年，8月28日 III’． 里至少存在一个 ，能让 　 对于 的任何元 都成立, 这样的 称为右单 位元； Ⅳ’．对于 的每一个元 ，在 里存在一个元,记 为 ，能让 这样的 称为 的右逆元. 证明: (1)定义I 证明定义II, 已经完成 (2)定义II证明定义I, 需要类似的二步(作业) 第十一页，共二十页，2022年，8月28日 1.4群的第三定义 群的定义III　我们说，一个不空集合 对于一个叫做乘法的代数运算来说作成一个群，假如: Ⅰ． 对于乘法来说是闭的: 对于 ； Ⅱ．结合律成立： ,对于 ； III’’． 里至少存在一个 ，能让 　 对于 的任何元 都成立, 这样的 称为右单 位元； 第十二页，共二十页，2022年，8月28日