离散数学_第06章代数结构概念及性质
离散数学代数结构

因此当x 1/2时,x/(1+2x)是x的逆元,1/2无逆元.
1
群的性质:消去律
设G = {a1, a2, … , an}是n阶群,令aiG = {ai aj | j=1,2,…,n} 证明 aiG = G. 证 由群中运算的封闭性有 aiGG. 假设aiGG,即 |aiG| < n. 必有aj , ak∈G使得 ai aj = ai ak (j ≠ k) 由消去律得 aj = ak , 与 |G| = n矛盾.
4
子群判定定理3
设G为群,H是G的非空有穷子集,则H是G的子群当且仅当
a,b∈H有ab∈H. 证 必要性显然. 为证充分性,只需证明 a∈H有a1∈H. 任取a∈H, 若a = e, 则a1 = e∈H. 若a≠e,令S={a,a2,…},则SH. 由于H是有穷集,必有ai = aj(i<j). 根据G中的消去律得 aji = e,由a ≠ e可知 ji>1,由此得 a ji1a = e 和 a a ji1 = e 从而证明了a1 = a ji1∈H.
图2
14
6
陪集的基本性质
设H是群G的子群,则a,b∈G有 a∈Hb Ha=Hb 证 充分性. 若Ha=Hb,由ea∈Hb 可知必有 a∈Hb. 必要性. 由 a∈Hb 可知存在 h∈H 使得 a =hb,即b =h1a 任取 h1a∈Ha,则有 h1a = h1(hb) = (h1h)b∈Hb 从而得到 Ha Hb. 反之,任取h1b∈Hb,则有 h1b = h1(h1a) = (h1h1)a∈Ha 从而得到Hb Ha. 综合上述,Ha=Hb得证.
3
子群判定定理2
G为群,H是G的非空子集. H是G的子群当且仅当a,b∈H 有ab1∈H. 证 必要性显然. 只证充分性. 因为H非空,必存在a∈H. 根据给定条件得aa1∈H,即e∈H. 任取a∈H, 由e,a∈H 得 ea1∈H,即a1∈H. 任取a,b∈H,由上步知b1∈H, 从而a(b1) 1∈H,即ab∈H. 综合上述,可知H是G的子群.
离散数学第6章 格与布尔代数

6-1 格的概念
5)下面证明 a∧b=aa∨b=b 若a∧b=a 则 a∨b=(a∧b)∨b=b 反之,若a∨b=b 则 a∧b=a∧(a∨b)=a
b用a∨b代替(∵两式中b是相互独立的) ∴a∨(a∧(a∨b))=a 即 a∨a=a. (2)格的等价定理:〈A,∨,∧〉代数系统,∨.∧满足交换性, 结合性,吸收性,则A上存在偏序关系≤,使〈A,≤〉是一个格
从格可引出代数系统〈A,∨,∧〉; 而从满足三个条件的〈A,∨,∧〉也可导出格〈A,≤〉 证明见书:(格中⑻⑼⑾三个性质很重要,决定了格)
(11) 要证 a≤a∨(a∧b) 第一式显然成立
a∨(a∧b)≤a
a≤a
a∧b≤a
∴a∨(a∧b) ≤a
∴a=a∨(a∧b)
6-1 格的概念
6、格的等价原理:格〈A,≤〉 (1)引理6-1.1:〈A,∨,∧〉代数系统,若∨, ∧满足吸收性,
则∨, ∧满足幂等性 证:a,b∈A. a∨(a∧b)=a a∧(a∨b)=a.
第六章 格与布尔代数
格论是近代数学的一个重要分支,由它所引出的布尔 代数在计算机科学中有很多直接应用。
格的概念 分配格 有补格 布尔代数 布尔表达式
6-1 格的概念
1、回忆偏序集〈A,≤〉,≤偏序关系:满足自反性,反对称性, 传递性。有限集合上的偏序集可用哈斯图来表示:
COV (A) {a,c, b,c, c, d, d,e, d, f }
∧也易求得 ∴ A,∨,∧〉是格〈A,|〉 诱导的代数系统
6-1 格的概念
离散数学代数结构部分-PPT

例5、2 设Q就是有理数集合,*就是Q上得 二元运算,对任意得a,b∈Q,a*b=a+ba· b,问运算*就是否可交换。
例5、3 设A=Z,“+”就是整数中得加法: 则
“+”在Z中适合结合律。 “。”就是整数中得减法:则特取
而 运算“。”不满足结合律
➢定义5、4 设*就是定义在集合A上得 一个二元运算,如果对于任意得x∈A, 都有x*x=x,则称运算*就是等幂得。
例5、4 设P(S)就是集合S得幂集,在P(S) 上定义得两个二元运算,集合得“并”运 算∪和集合得“交”运算∩,验证∪,∩ 就是等幂得。
➢ 定理6、19 设
例6、16 例6、17 设
➢ 定义6、18 设 例6、18 设
➢ 定义6、19 设 例6、19 4元置换
➢ 定义6、20设
➢ 定理6、20
➢ 定义6、21
例6、20 如图 进行旋转,也可以围绕她得对称轴进行翻转,但 经过旋转或翻转后仍要与原来得方格重合(方格 中得数字可以改变)。如果把每种旋转或翻转看 作就是作用在
➢定理5、2 设*就是S上得二元运算,
如果S中既存在关于运算*得左幺元 el ,
又存在关于运算得右幺元 er
则S中必存在关于运算*得幺元e并且
2、 零元 ➢定义5、8 设*就是S上得二元运算,
在自然数集N上普通乘法得零元就是0, 而加法没有零元。
➢ 定理5、3 设 *就是S上得二元运算,如果S 中存在(关于运算*得)零元,则必就是唯一得。 所以零元就是唯一得。
证明: 略。 推论6、1
离散数学中的代数结构和置换群

离散数学是数学中的一个重要分支,它研究离散的、非连续的数学对象和结构。
在离散数学中,代数结构是其中一个重要的概念,而置换群是代数结构的一个重要例子。
代数结构是研究对象间关系的一种数学工具。
它包括集合,运算和运算性质。
集合是代数结构的基础,是一个由元素组成的不重复的集合。
运算指的是将集合中两个元素映射到集合中的另一个元素的操作,常见的运算有加法、乘法等。
运算性质是指运算在代数结构中具有的性质,如结合律、交换律、单位元等。
在代数结构中,置换群是一种重要的结构。
置换是一种改变事物次序的方法,它可以是将事物重新排列,也可以是将某个事物替换为另一个事物。
置换群是一组置换构成的集合,并且具有封闭性,结合律和单位元等性质。
置换群可以描述物体的旋转、对称和变换等操作,也可以用于密码学和密码破解等领域。
置换群的运算是指将两个置换进行合成,可以通过将第一个置换的作用结果作为第二个置换的作用对象来实现。
例如,设置换π1表示将物体的位置1和位置2进行交换,置换π2表示将物体的位置2和位置3进行交换,那么置换π1和置换π2的合成操作即为将物体的位置1和位置3进行交换。
正如前所述,置换群具有封闭性、结合律和单位元等性质。
封闭性指的是任意两个置换的合成结果仍然是一个置换。
结合律是指对于置换群中的任意三个置换a、b和c,有(a * b) * c = a * (b * c),即合成的顺序不影响结果。
单位元是指存在一个特殊的置换,它与任意置换进行合成后结果仍然是原置换。
在置换群中,还有一个重要的概念是逆元。
对于每个置换a,都存在一个逆置换a',使得a * a' = a' * a = e,其中e是置换群的单位元。
逆元表示将一个置换的操作逆向执行,可以将置换还原为原来的状态。
置换群不仅在离散数学中有重要应用,还在计算机科学、物理学和化学等领域中得到广泛应用。
在计算机科学中,置换群可以用于密码学中的置换密码,用于保护数据的安全性。
离散数学结构第6章集合代数

离散数学结构第6章集合代数第六章集合代数1. 集合,相等,(真)包含,⼦集,空集,全集,幂集2. 交,并,(相对和绝对)补,对称差,⼴义交,⼴义并3. ⽂⽒图,有穷集计数问题4. 集合恒等式(等幂律,交换律,结合律,分配律,德·摩根律,吸收律,零律,同⼀律,排中律,⽭盾律,余补律,双重否定律,补交转换律等)学习要求1. 熟练掌握集合的⼦集、相等、空集、全集、幂集等概念及其符号化表⽰2. 熟练掌握集合的交、并、(相对和绝对)补、对称差、⼴义交、⼴义并的定义及其性质3. 掌握集合的⽂⽒图的画法及利⽤⽂⽒图解决有限集的计数问题的⽅法4. 牢记基本的集合恒等式(等幂律、交换律、结合律、分配律、德·摩根律、收律、零律、同⼀律、排中律、⽭盾律、余补律、双重否定律、补交转换律)5. 准确地⽤逻辑演算或利⽤已知的集合恒等式或包含式证明新的等式或包含式6.1 集合的基本概念⼀.集合的表⽰集合是不能精确定义的基本概念。
直观地说,把⼀些事物汇集到⼀起组成⼀个整体就叫集合,⽽这些事物就是这个集合的元素或成员。
例如:⽅程x2-1=0的实数解集合;26个英⽂字母的集合;坐标平⾯上所有点的集合;……集合通常⽤⼤写的英⽂字母来标记,例如⾃然数集合N(在离散数学中认为0也是⾃然数),整数集合Z,有理数集合Q,实数集合R,复数集合C等。
表⽰⼀个集合的⽅法有两种:列元素法和谓词表⽰法,前⼀种⽅法是列出集合的所有元素,元素之间⽤逗号隔开,并把它们⽤花括号括起来。
例如A={a,b,c,…,z}Z={0,±1,±2,…}都是合法的表⽰。
谓词表⽰法是⽤谓词来概括集合中元素的属性,例如集合B={x|x∈R∧x2-1=0}表⽰⽅程x2-1=0的实数解集。
许多集合可以⽤两种⽅法来表⽰,如B也可以写成{-1,1}。
但是有些集合不可以⽤列元素法表⽰,如实数集合。
集合的元素是彼此不同的,如果同⼀个元素在集合中多次出现应该认为是⼀个元素,如{1,1,2,2,3}={1,2,3}集合的元素是⽆序的,如{1,2,3}={3,1,2}在本书所采⽤的体系中规定集合的元素都是集合。
离散数学形考任务3代数结构部分概念及性质

离散数学形考任务3代数结构部分概念及性质一、概念介绍代数结构是离散数学中的一个重要概念。
它描述了在特定集合上定义的运算规则和性质。
常见的代数结构主要包括:1. 群(Group):群是一种具有封闭性、结合律、单位元和逆元的代数结构。
它是一种基本的抽象代数结构,并具有丰富的性质和应用。
2. 环(Ring):环是一种具有加法和乘法两种运算的代数结构。
它具有封闭性、结合律、单位元、交换律和分配律等性质。
3. 域(Field):域是一种具有加法、乘法、减法和除法四种运算的代数结构。
它是一种高级的代数结构,并满足多种性质,如交换性、维数等。
二、性质探讨不同的代数结构具有不同的性质,下面我们分别探讨一下群、环和域的性质:1. 群的性质:- 封闭性:对于群G中的任意元素a和b,它们的运算结果ab 也属于G。
- 结合律:对于群G中的任意元素a、b和c,(ab)c = a(bc),即运算顺序不影响结果。
- 单位元:群G中存在一个元素e,使得对于任意元素a,ae = ea = a。
- 逆元:对于群G中的任意元素a,存在一个元素b,使得ab = ba = e。
2. 环的性质:- 封闭性:对于环R中的任意元素a和b,它们的加法运算结果a+b和乘法运算结果ab都属于R。
- 结合律:对于环R中的任意元素a、b和c,(a+b)+c = a+(b+c)和(ab)c = a(bc),即运算顺序不影响结果。
- 单位元:环R中存在一个元素0,使得对于任意元素a,a+0 = 0+a = a。
- 交换律:对于环R中的任意元素a和b,a+b = b+a和ab = ba。
- 分配律:对于环R中的任意元素a、b和c,a(b+c) = ab+ac和(a+b)c = ac+bc。
3. 域的性质:- 封闭性:对于域F中的任意非零元素a和b,它们的加法运算结果a+b和乘法运算结果ab都属于F。
- 结合律、单位元和逆元:与群和环的性质类似,域也具有结合律、单位元和逆元的性质。
离散数学 第六章 集合代数

3、相对补集 1)定义3 设A和B是任何两个集合,B 对A的相对补集 A-B, 是由属于集合A的但不属于集合B的所有元素构成的集合 A - B = { x |(x∈A)∧(x ∉ B)} = { x |(x∈A)∧ ┐(x∈B)} 2)相对补集的文氏图表示 3)性质 ( a) A - ø = A (b)A ∩(B-A)= ø (c)A∪(B-A)= A∪B (d)A-(B∪C)=(A-B)∩(A- C) (e)A-(B∩C)=(A-B)∪(A-C) (f)A - (A∩B)= A - B (g) A ⊆ B的等价形式: ⇔ A ∩B=A ⇔ A-B =Ø ⇔ A∪B =B
证明:A-B =A 的充要条件是 A∩B = Ø 充分性: 必要性:
证明 A⊆B任取 x ∈ A 利用所给的性质 ⇒ x∈B 或采用谓词演算方法 ∀x(x∈A→x∈B )成立 例:已知 A⊆B ,证明 ~B ⊆ ~A 证:∀x x∈~B ⇔ ┐x∈B 因为∀x ( x ∈ A → x ∈ B ) ┐x∈B → ┐x∈A ⇔ x∈ ~B → x∈~ A
§6.3
集合恒等式
Байду номын сангаас
集合运算的恒等式与命题公式的等值式有非常类同地方 即将: ∩看成 ∧ 、∪看成 ∨ 、 ∼ 看成 ┓ 空集Ø 看成 F 、全集E看成 T 那么命题公式的等值式可表示为集合运算的恒等式
一、下面给出对照的公式: 1)等幂律 A∪A= A [P∨P ⇔ P] A∩A= A [P∧P ⇔ P] 2)结合律 (A∪B)∪C=A∪(B∪C) [(P∨Q)∨R ⇔ P∨(Q∨R)] (A∩ B)∩C=A∩(B∩C) [(P∧Q)∧R ⇔ P∧(Q∧R)] 3)交换律 A∪B=B∪A [P∨Q ⇔ Q∨P] A∩B=B∩A [P∧Q ⇔ Q∧P] 4)分配律 A∪(B∩C)=(A∪B)∩(A∪C) A∩(B∪C)=(A∩B)∪(A∩C) [P∨(Q∧R) ⇔ (P∨Q)∧(P∧R)] [P∧(Q∨R) ⇔ (P∧Q)∨(P∨R)]
《离散数学》第六章代数结构

返回本章首页
5 2020/2/14
第四节 子群
与集合的子集、向量空间的子空间一样. 群也有子群的概念.子群作为群的一部分. 它的结构对群的结构有重要影响.
主要概念有:平凡 元素的周期.
讨论了一个群的非空子集构成子群的条 件;在某个元素生成的子群的基础上定义 循环群,把循环群的结构研究清楚了.
返回本章首页
2 2020/2/14
第二节 置换(1)
群论的研究始于置换群.置换群在群论里 有重要的地位.例如,五次以上方程不能 用根号求解的问题的证明就用到置换群. 置换概念本身在计算机科学中也起作重 要作用.同时置换群的记法简单,运算方 便.
本节的概念有:置换、循环置换、不相交 置换、对换、奇置换、偶置换等;
返回首页
1 2020/2/14
第一节 代数结构概述
我们在前面已经研究过集合,那时没有 过多地考虑一个集合内部元素之间的联 系.现在我们要在一个集合的内部引入运 算,并研究其运算规律,主要内容为:
1.代数系统的定义,然后用例子说明代数 系统的丰富性;
2.代数系统的运算的常用记法和运算表 的概念.
第六章 代数结构
代数结构的主要研究对象是各种各样的代数系 统,即具有一些元运算的集合,本章介绍的群就 是具有一个二元运算的代数系统.
本章以群为例讨论代数结构,它的思想和方 法已经渗透到现代科学的许多分支、它的结果 已应用到计算机的不少方面,因此计算机科学 工作者应初步掌握其基本的理论和方法. 读者通过对群的学习应初步掌握对代数系统研 究的一般方法,从简单到复杂、从具体到一般, 从而发现代数系统的一般规律.本章的内容较为 抽象、难学.可根据具体情况删减一些内容.
返回本章首页
3 2020/2/14
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
【例】(1)以实数集 R 为基集,加法运算" +"为二元,运算组成一代数系统,记为〈R, +〉。 (2)以全体n×n实数矩阵组成的集合 M为基集,矩阵加"+"为二元运算,组成一代 数系统,记为〈M,+〉。 (3)设 S A { | 是集合A上的关系}, “ ” 是求复合关系的运算。它们构成代数 系统S A , 。
有了集合上运算的概念后,便可定义代数结
构了。
定义6.1.2 设S是个非空集合且fi是S上的 ni元运算,其中i=1,2,…,m。由S及f1, f2,…,fm组成的结构,称为代数结构,记 作<S,f1,f2,…,fm>。
此外,集合S的基数即|S|定义代数结构 的基数。如果S是有限集合,则说代数结构 是有限代数结构;否则便说是无穷代数结构。
分配律,或者⊙对于○是可左分配的,即
(x)(y)(z)
(x,y,z∈S→x⊙(y○z))=(x⊙y)○(x⊙z))。
运算⊙对于○满足右分配律或⊙对于○是可 右分配的,即(x)(y)(z) (x,y,z∈S→(y○z)⊙x=(y⊙x)○(z⊙x)) 类似地可定义○对于⊙是满足左或右分配律。 若⊙对于○既满足左分配律又满足右分配律, 则称⊙对于○满足分配律或是可分配的。同样可 定义○对于⊙满足分配律。
x为关于⊙的右逆元:=(y)(y∈S∧y⊙x=e);
x为关于⊙可逆的:=(y)(y∈S∧y⊙x=x⊙y=e)
给定<S,⊙>及幺元e;x,y∈S,则 y为x的左逆元:=y⊙x=e
y为x的右逆元:=x⊙y=e
y为x的逆元:=y⊙x=x⊙y=e
显然,若y是x的逆元,则x也是y的逆元,
因此称x与y互为逆元。通常x的逆元表为x-1。
(4)以集合A的幂集2A为基集,以集合并、
交、补为其二元运算和一元运算,组成一代 数系统,记为〈 2 ,∪,∩,—〉。有时为了突出
A
全集A及空集Байду номын сангаас2A中的特殊地位,也可将这 一代数系统记为〈 2A,∪,∩, —, A, 〉。这个 系统就是常说的幂集代数系统。
(5)设S为一非空集合,*为S上满足结合律、 交换律的二元运算,那么〈S,*〉为代数结 构,称为一个抽象代数系统,即一类具体代 数结构的抽象。例如〈R,+〉,〈M,+〉, 〈2A,∪〉,〈2A,∩〉都是〈S,*〉的具体例 子。 (6)〈R,+,-,×〉,〈Z,+,-,×〉 均 是 代 数 系 统 , 但〈Z,÷〉,〈R,÷〉,〈N,-〉不是代数系统, 它们的运算不封闭。
注意,n元运算是个闭运算,因为经运算后 产生的象仍在同一个集合中。封闭性表明了 n元运算与一般函数的区别之处。此外,有 些运算存在幺元或零元,它在运算中起着特
殊的作用,称它为S中的特异元或常数。
运算的例子很多,例如,在数理逻辑中,否 定是谓词集合上的一元运算,合取和析取是 谓词集合上的二元运算;在集合论中,并与 交是集合上的二元运算;在整数算术中,加、
+ +
f : R → R 是函数。
+ +
(4)设a,b∈R,则f(a,b)=a+b(a-b , a×b)是将两 个数a,b映为R中的唯一的一个数,它是对R中 的两个数施行加(减,乘)法运算的结果。 f : R → R是函数。
2
定 义 6.1.1 设 S 是 个 非 空 集 合 且 函 数 或f:Sn →S,则称f为一个n元运算。 其中n是自然数,称为运算的元数或阶。当 n=1时,称f为一元运算,当n=2时,称f为二 元运算,等等。
在结束本节时,声明记号 <S,f1,f2,·,fm>即为一代数结构,除特别指 · · 明外,运算符f1,f2,·,fm均为二元运算。根 · · 据需要对S及f1,f2,·,fm可置不同的集合符 · · 和运算符。
6.2 代数结构的基本性质
所谓代数结构的性质即是结构中任何运算 所具有的性质。
1.结合律
给定<S,⊙>,则运算“⊙”满足结合律
或“⊙”是可结合的,即(x)(y)(z)(x,y,
z∈S→(x⊙y)⊙z=x⊙(y⊙z))。
2.交换律
给定<S,⊙>,则运算“⊙”满足交换律 或“⊙”是可交换的,即 ( x)( y) (x,y∈S→x⊙y=y⊙x)。 可见,如果一代数结构中的运算⊙是可结 合 和 可 交 换 的 , 那 么 , 在 计 算 a1⊙a2⊙·⊙am=am。称am为a的m次幂,m称a的 · · 指数。下面给出am的归纳定义:
设有<S,⊙>且aS,对于mI+,其中I+表 示正整数集合,可有: (1) a1=a (2)am+1=am⊙a 由此利用归纳法不难证明指数定律: (1)am⊙an=am+n (2)(am)n=amn 这里,m,nI+。
3.分配律
一个代数结构若具有两个运算时,则分配 律可建立这两个运算之间的某种联系。 给定<S,⊙,○>,则运算⊙对于○满足左
【例】 设A是集合,在A的幂集2A上的二 元代数运算并∪、交∩满足交换律、结合 律、吸收律、幂等律且彼此满足分配律。
例6.2.3 给定<B,⊙,○>,其中B={0,1}。表
6.2.1分别定义了运算⊙和○,问运算⊙对于○
是可分配的吗?○对于⊙呢?
形如表6.2.1的表常常被称为运算表或复合 表,它由运算符、行表头元素、列表头元素及 复合元素四部分组成。当集合S的基数很小,特 别限于几个时,代数结构中运算常常用这种表 给出。其优点简明直观,一目了然。 解: 可以验证⊙对于○是可分配的,但○ 对于⊙并非如此。因为 1○(0⊙1)(1○0)⊙(1○1)
是-x。但除1以外的数都没有乘法逆元。
(3)在有理数集合Q上(+,· 的定义同上), Q上每个元素x都有加法逆元-x,除0以外的每 个元素x都有乘法逆元x -1 =1/x。 (4)在2A中,对于∪运算,其幺元为空集,每 个非空元素B均无逆元;对于∩运算,其幺元 为A,每个元素B(B≠A)均无逆元。 (5)在集合AA(其中AA={f | f:A→A}) 中,“。”为函数的合成运算,恒等函数IA为 幺元,从而A中所有双射函数都有逆元,所有 单射函数都有左逆元,所有满射函数都有右逆 元。
由定义不难证明下面定理:
定理6.2.1 给定<S,⊙,○>且⊙是可交换
的。如果⊙对于○满足左或右分配律,则⊙对 于○满足分配律。
【例】 加法、乘法运算是自然数集上的二 元代数运算,减法和除法便不是。但是减法 是有理数集、实数集上的二元运算,除法却 仍不是。加法、乘法满足结合律、交换律, 乘法对加法、减法满足分配律,但减法不满 足这些定律。加法"+"对乘法"。"运算不满 足分配律。
一般地说来,一个元素的左逆元不一定等
于该元素的右逆元。而且,一个元素可以有左
逆元而没有右逆元,反之亦然。甚至一个元素
的左或右逆元还可以不是唯一的。
定理6.2.6 给定<S,⊙>及幺元e∈S。如果
⊙是可结合的并且一个元素x的左逆元xl-1 和右
逆元xr-1存在,则xl-1=xr-1。
定理6.2.7 给定<S,⊙>及幺元e∈S。如果
有时,要考察两个或多个代数结构,这里 就有个是否同类型之说,请看下面定义: 定义6.1.3 设两个代数结构<S,f1,f2,…, fm>和<T,g1,g2,…,gm>,如果fi和gi(1≤i≤m) 具有相同的元数,则称这两个代数结构是同类型 的。 可见,判定两个代数结构是否同类型,主 要是对其运算进行考察。
减、乘运算是二元运算,而除运算便不是二
元运算,因为它不满足封闭性。
在下面讲座的代数结构中,主要限于一元和 二元运算,将用’、或ˉ等符号表示一元运算符; 用、、⊙、○、、、∩、∪等表示二元运 算符,一元运算符常常习惯于前置、顶置或肩置,
如x、 ˉ 、x’;而二元运算符习惯于前置、中置
或后置,如:+xy,x+y,xy+。
此外,有时还需要在代数结构中集合的某 个子集上讨论其性质,这就引出子代数结构的 概念。 定义6.1.4 设<S,f1,f2,…,fm>是一代数 结构且非空集TS在运算f1,f2,…,fm作用下 是封闭的,且T含有与S中相同的特异元,则称 <T,f1,f2,…,fm>为代数结构<S,f1,f2,…, fm>的子代数。记为<T,f1,…><S,f1,…>。
θr为关于○的右零元:
=( x)(x∈S→x○θr=θr)
θ为关于○的零元:
=( x)(x∈S→θ○x=x○θ=θ)
【例】 在实数集 R 中,对加法“+”运算,没有零元; 在实数集 R 中,对乘法"×"运算,0是零元; 对于全集E的子集的并"∪"运算,E是零元; 对于全集E的子集的交"∩"运算,是零元; 在命题集合中,对于吸取“∨"运算,重言式 是零元; 在命题集合中,对于合取"∧"运算,矛盾式是 零元。
4.吸收律
给定<S,⊙,○>,则
⊙对于○满足左吸收律:=
(x)(y)(x,y∈S→x⊙(x○y)=x)
⊙对于○满足右吸收律:= (x)(y)(x,y∈S→(x○y)⊙x=x)
若⊙对于○既满足左吸收律又满足右吸收
律,则称⊙对于○满足吸收律或可吸收的。
○对于⊙满足左、右吸收律和吸收律类似 地定义。 若⊙对于○是可吸收的且○对于⊙也是可 吸收的,则⊙和○是互为吸收的或⊙和○同时 满足吸收律。
⊙是可结合的并且x的逆元x-1存在,则x-1是唯一
的。
【例】
(1) 在自然数集合 N 上,对于乘法"· "运算,