离散数学教学课件 作者 郝晓燕 第6章代数系统.ppt

* * * * * * * * * * * * * * * §6-7 同态与同构 §6-7 同态与同构 §6-7 同态与同构 §6-7 同态与同构 §6-8 环与域 §6-8 环与域 §6-8 环与域 本章总结 本章总结 本章总结 本章总结 * * * * * * * * * * * * * * * * * * * * * * 定义6-3.4 含有幺元的半群称为含幺半群或独异点（monoid）。 例6-3.4 代数系统R，·是含幺半群，其中R是实数集，·是普通乘法，这是因为R，·是半群，且1是R关于运算·的幺元。另外代数系统{?1，1}，·，[?1，1]，·和Z，·都是具有幺元1的半群。因此它们都是含幺半群。设集合A={1，2，3，…}，则A，+是半群但不含幺元，所以它不是含幺半群。 §6-3-2含幺半群和子含幺半群 * 定理6-3.3 设S是至少有两个元素的有限集，且S，*是一个含幺半群，则在关于运算*的运算表中任何两行或两列都是不相同的。 证明：设S中的关于运算*的幺元是e。因为对于任意a，b?S且a≠b，总有e*a=a≠b=e*b，且a*e=a≠b=b*e，所以在运算*表中不可能有两行和两列是相同的。 §6-3-2含幺半群和子含幺半群 * 例6-3.5 设Z是整数集合，m是任意正整数，Zm是由模m的同余类组成的集合，Zm={[0]，[1]，[2]，[3]，…，[m?1]}，（注：可以简记Zm={0，1，2，3，…，m?1}），在Zm上分别定义两个二元运算+m和?m如下： 对任意的[i]，[j]?Zm，[i]+m[j]=[(i+j)(modm)] ?[i]×m[j]=[(i×j)(modm)] 试证明m1时，在这两个二元运算的运算表中任何两行或两列都不相同。 §6-3-2含幺半群和子含幺半群 * 例6-3.5表6-9和表6-10分别给出m=4时，“+4”和“?4”的运算表，在这两个运算表中没有两行或两列是相同的。 §6-3-2含幺半群和子含幺半群 * 定义6-3.5 设M， 是含幺半群S， 的子半群，且S， 的幺元es?M，则M， 称为S， 的子含幺半群（submonoid）。 由定义可得，子含幺半群也是含幺半群。 如Z，×是含幺半群，Z中所有幂等元的集合为M={?1，0，1}，所以M，×是Z，×的子含幺半群。 §6-3-2含幺半群和子含幺半群 * 群是一种较为简单的代数系统，只有一个二元运算。 群的理论在数学和包括计算机科学在内的其他学科的许多分支中发挥了重要的作用。 本节主要介绍群与子群的一些基本知识。 §6-4 群和子群 * 定义6-4.1 设G，*是一个代数系统，其中G是非空集合， 是G上的一个二元运算，如果 （1）运算*是封闭的； （2）运算*是可结合的； （3）G，*中有幺元e； （4）对每个元素a?G，G中存在a的逆元a?1； 则称G，*是一个群（Group）或简称G是群。 §6-4-1 群 §6-4-1 群 §6-4-1 群 定义6-4.2 §6-4-1 群 定理6-4.1 定理6-4.2 §6-4-1 群 §6-4-1 群 §6-4-1 群 §6-4-2 子群 §6-4-2 子群 §6-4-2 子群 §6-4-2 子群 §6-4-2 子群 §6-4-2 子群 §6-4-2 子群 §6-5交换群、循环群与置换群 §6-5交换群、循环群与置换群 §6-5交换群、循环群与置换群 §6-5交换群、循环群与置换群 §6-5交换群、循环群与置换群 §6-5交换群、循环群与置换群 §6-6陪集与拉格朗日定理 § 6-6 陪集与拉格朗日定理 §6-6陪集与拉格朗日定理 §6-6陪集与拉格朗日定理 §6-6陪集与拉格朗日定理 §6-7 同态与同构 * 第三部分 代数结构 代数系统----二元运算及其性质、代数系统和子代数 半群与独异点----半群、独异点 群----定义与性质、子群与群的陪集分解、循环群与置换群 环与域-----环、整环、域 格与布尔代数----格、布尔代数 §6-1 代数系统的概念 §6-2 代数系统的运算及其性质 §6-3 半群与含幺半群 §6-4 群 与 子 群 §6-5 交换群、循环群与置换群 §6-6 陪集与拉格朗日定理 §6-7 同态与同构 §6-8 环 与 域 第6章 代数结构 * 定义6-1.1 设A和B都是非空集合，n是一个正整数，若f是An到A一个映射，则称f是A上的n元运算（n-ary operation），简称A上的运算。并称该n元运算在A上是封闭的。 §6-1 代数系统的概念 * 例6-1.1 （1）求一个数的倒数是非零实数集R*上的一元运算。 （2）非零实数集R*上的乘法