1群的定义.pptVIP

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