62-群的定义[离散数学].pptxVIP

§6.2 群的定义; 6.2.1 半群--半群的定义;6.2.1 半群 -- 半群的例;半群的例;设（G， ·）为半群，如果满足下面条件： (1) 有壹（单位元）：G中有一个元素1，适合对于G中任意元素a，都有1·a = a·1 = a; (2) 有逆：对于G中任意a，都可找到G中一个元素a-1，满足a·a-1 = a-1·a = 1， 则称（G， ·）为群。 如果群G包含的元素个数有限，则称G为有限群，否则称G为无限群。 ;6.2.2 群 -- 群的例;设Q为所有有理数组成的集合，R为所有实数组成的集合，C为所有复数组成的集合，Q*为所有非零有理数组成的集合，R*为所有非零实数组成的集合，C*为所有非零复数组成的集合，+、·是数的加法和乘法，则 （Q，+）、（R，+）、（C，+）都是群； （Q， ·）、（R， ·）、（C，·）都不是群； （Q*， ·）、（R*， ·）、（C*，·）都是群。 ;设S是一个非空集合，ρ（S） 是S的幂集，∩和∪是ρ（S）上的交运算和并运算，则 半群（ρ（S），∩）不是群，单位元素:S，但除了S，其它元素都不存在逆元素； 半群（ρ（S），∪）也不是群，单位元素： ? ，但除了? ，其它元素都不存在逆元素。 ;设N为自然数集，规定N 上的运算“⊙”如下：a ⊙ b = a + b + a·b。 已证：（N， ⊙）为半群。 但（N， ⊙）不是群。 反证：若不然， （N， ⊙）是群，则一定有 单位元素，设为e，则对N中任意元素a，都有 e ⊙ a = a，即e + a + e·a = a， 因此，e=0，但0?N，矛盾。因此，（N， ⊙） 无单位元素，故不是群。;例. 设A是实数域上所有n阶非奇异矩阵的集合，*为矩阵的乘法，则（A，*） 是群。 例.设S={0，1，2，……m-1}，规定S上的运算⊕如下： a ⊕ b= 其中a，b是S中任意元素，+、-为数的加与减。 则（S，⊕）是群，称为模m的整数加法群。 ;设S={a,b}，使用乘法表定义S上的运算 · 如下： · a b a a b b b a 问（S, · ）是否为群。;微信公众平台开发 枒痋爿;;理解群的定义例. 单位元是群中唯一的等幂元。;理解群的定义例. 群中不可能有零元。;理解群的定义例.群中消去律一定成立。;理解群的定义;定理6.2.1 群的单位元素是唯一的,任意元 素的逆也是唯一的。即,设（G， ·）是一个群， 则G中恰有一个元素1适合1·a = a·1 = a,而且对 于任意a恰有一个元素 a-1适合 a·a-1 =a-1·a=1。;结论;定理6.2.2 群定义中的条件（1）和（2）可 以减弱如下： (1)’ 有左壹： G中有一个元素1，适合 对于G中任意元素a，都有 1·a=a; (2)’ 有左逆：对于G中任意a，都可找到G中一 个元素a-1，满足 a-1·a = 1。 ;证法一 先证a·a-1 = 1。因为（a-1·a）·a-1=1·a-1= a-1，故 （a-1·a）·a-1= a-1。 由(2)’， a-1也应该有一个左逆适合b·a-1=1。 于是，一方面有： b·（（a-1·a）·a-1）) = b·a-1 = l， 另一方面有： b·（（a-1·a）·a-1）= （b·a-1）·（a·a-1） = 1·（a·a-1）= a·a-1， 因此，a·a-1=1。; 再证a·1=a。 a·1 = a·（a-1·a）= （a·a-1）·a = 1·a = a。 证毕。 把（1）’，（2）’ 中对于左边的要求一律改成对于右边的要求也是一样。 但是只满足左壹、右逆未必成群，只满足右壹、左逆也未必成群。;证法二 往证a ·1=a. 由（1）? 知有 1 ·1=1， 由（2）? 知 a-1·a=1， 用其部分代替上式中的1，得到 （a-1·a） ·1= a-1·a， 由（2）? 知a-1有左逆,令其为b，并用b 左乘上式 两端得到 b