第4讲(电子版).docVIP

第 四 讲 第二章 群 论 §1—3 群的定义，单位元、逆元、消去律（2课时） 本讲内容提要 半群，幺半群，群，单位元、逆元、消去律 复习有关内容： 代数运算； 代数系统； 结合律；交换律。 半群 定义1. 设为任一非空集合，“”是上的一个代数运算。如果 “”满足结合律，那么代数系统叫做一个半群。 注：（1）在代数运算“”的表达形式上，有时用“”来替代“”； （2）在不发生混淆的前提下，半群可简记为。 定义2. 设是一个半群。如果代数运算 “”满足交换律，则称为可换半群；如果是有限集，则称为有限半群。 例1、都是半群，并且是可换半群。其中“+”和“·”分别是普通加法和普通乘法（但不是有限半群）。 同理：，都是可换半群。 例2． 取为任一数域，为上一切阶方阵组成的集合。若“+”和“·”分别表示矩阵的加法和乘法，那么和均为半群，并且为可换半群，但当时，不是可换半群。 例3、设，而是A的全部子集构成的集合，通常叫做的幂集。那么及都是可换半群。 幺半群 定义3、设是一个代数系统。如果中存在一个元素e， 使得 ，都有，则称为关于代数运算“”的一个单位元（恒等元）。 结论1：若代数系统中有单位元，那么它是唯一的。 证明：设都是的单位元，。 定义4：设是一个半群。如果中含有单位元，那么称为幺半群，有时记作。 例4 在例1中，关于“+”都是幺半群，它们的单位元都是0；而关于“·”也是幺半群，它们的单位元都是1。 在例2中，幺半群的单位元是O（零矩阵），而幺半群的单位元为I（单位矩阵）。 在例3中，幺半群的单位元是，幺半群的单位元是。 三、群 定义5：设是一个幺半群， 。如果 ，则称是的一个逆元。 结论2：在幺半群中，若∈G有逆元，那么这个逆元是唯一的。我们将的逆元记为。 证明：设都是的逆元，那么，于是 。 定义6（群的定义）：设是一个幺半群，如果中每个元素都有逆元，则称是一个群。 综合上述，非空集合对“”来说构成一个群应满足下列四条： “”在中是封闭的（即 “”是G的代数运算）； “”满足结合律 (即是半群)； 中有单位元； 中每个元都有逆元。 若对群中任二个元，都有，则称是交换群（可换群，Abel群）。 课堂训练：由群的定义，判断下列代数系统中哪些是群？为什么？ （1）、，，，；（2）、，，，； （3）、，；（4）、，；（5）、，； （6）、，。 解：（1）、是群. 因为有单位元0，而的逆元为，因为。同理，，都是群。（2）不是群. 因为有单位元1，而，0不可能有逆元（）。同理，，也不是群。（3）、，是群。（4）、，不是群。（5）、是群，但不是群，因为若且时，不可逆没有逆元.。（6）当S的元素的个数大于1时不是群，因为除了S外，其它元都没有逆元，同样，当S的元素的个数大于1时不是群，因为除了外，其它元都没有逆元。 四、群的其它定义 有人曾经说过，群的定义种类繁多，不同的定义约有40多种。在本讲中我们不可能一一列出，但依教材的安排，将介绍群的另外两种定义。 按照教材中的顺序，不妨称定义6为群的第0定义。 定义7：设是一个半群，。若 ，都有。 则称为的一个左单位元。设，若存在，使得，则称为的一个左逆元，记。类似地，可定义右单位元与右逆元。 定义8（群的第一定义）：设是一个半群。如果，方程在中都有解，那么称为一个群。 定义9（群的第二定义）：设是一个半群，而且中存在左单位元，且，都有左逆元，那么称为一个群。 下面证明：群的第0定义 群的第一定义群的第二定义 群的第0定义群的第一定义： 设是半群，且G有单位元e，中每个元都有逆元。那么由群的第一定义知，是一个群。 群的第一定义群的第二定义： 设是半群，且，方程在中都有解。现设，那么由条件知在中有解，即。下证是的左单位元。 事实上，，方程在中有解c， 则有 ，由的任意性知，是的左单位元。又 ，在中有解，即是的一个左逆元。 因为中有左单位元，且中每个元都有左逆元，由群的第二定义知，是一个群。 群的第二定义群的第0定义： 设是半群，是的一个左单位元，且，a有左逆元。则有 （1），：本身也有左逆元，即。于是 。 （2），： 因为 。 这说明左单位元是中的单位元。再由（1）知，每个元都有逆元。由群的第0定义知，是一个群。 五、群的名词和符号 （1）设是一个群，那么集合中所含元素的个数称为群的阶，记为。 如果+∞，则称为有限群，而当+∞时，称为无限群。 （2）群中运算的指数律 在群中，， 。 六、元素的阶 定义10：设是一个群，。如果有整数，使得，那么使这个等式成立的最小正整数叫做的阶，记为。如果这样的不存在，则称的阶是无限的，记为=+∞。 例5 在群中，0是单位元. ，而对其它元素=+∞。 在群中，1是单位元，，而对其它元素=+∞。 例