离散数学-04.pdfVIP

离散数学 Discrete Mathematics 宋牟平songmp@zju.edu.cn 玉泉校区行政楼325 第4章代数系统 代数论由法国数学家伽罗华创立。 代数论的建立解决了古典数学难题：高次方程求根、倍立方、化圆为方、三等分 角和作正n边形。 系 电 信 院 学 息 信 学 大 江 浙 集合、逻辑和布尔代数从代数论的角度看是同一个代数系统，三者在代数论的基 础上统一了起来。 4.1 运算 n 定义4-1 运算：设有非空集合A ，函数f ：A →A称为A上的一个n元运算，n称为运 算的阶。 平 牟 宋 所 究 研 统 系 与 术 技 息 信 子 电 函数 f ：A2 →A是A上的二元运算，函数 f ：A→A是A上的一元运算。 U 2 U U 例 ∪、∩：(2 ) →2 ，是2 上的二元运算。 例 A={0,1,2,…,p-1]} (p为正整数≥2) ，则模p加法：x,y ∈A ，x+y(modp) ，模p乘 法x ×y(modp)都是A上的运算。 实数域上的加、减、乘、除运算。 有时运算可以用表格来定义 + a b ● a b ﹡ 奇 偶 a a a a a a 奇 奇 奇 b b a b a b 偶 奇 偶 系 电 信 院 学 息 信 学 大 江 浙 前面都是二元运算的例子。求集合的补集，关系的逆关系，数的绝对值，矩阵的 转置和逆矩阵等都是一元运算的例子。 定义4-2 封闭性：设运算*是集合A上的一个n元运算，S⊆A ，如果对于每一个 (a ,a ,…,a ) ∈S ，都有*(a ,a ,…,a ) ∈S，称运算在S上封闭。 1 2 n n 1 2 n 平 牟 宋 所 究 研 统 系 与 术 技 息 信 子 电 封闭性：运算f ：An →B ，若B⊆A ，则称运算在A上是封闭的。 定义4-3 交换性：设*是集合A上的一个二元运算，如果对于任意的a,b ∈A ，有 a*b=b*a 则称*在A上是可交换的。 定义4-4 结合性：设*是集合A上的一个二元运算，如果对于任意的a,b,c ∈A ，有 a*(b*c)=(a*b)*c 则称运算*在 A上是可结合的。 定义4-5 分配性：设*和＊是集合A上的二元运算，如果对于任意的a,b,c ∈A ，有 系 电 信 院 学 息 信 学 大 江 浙 a*(b ＊c)=(a*b) ＊(a*c) (b ＊c)*a=