版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
2023/10/22离散数学1
第六章几个典型的代数系统
§6.1
半群与群
§6.2
格与布尔代数2023/10/22离散数学2可交换半群:如果半群V=<S,
>中的二元运算
是可交换的,则称V为可交换半群。一、半群的概念半群:设V=<S,
>是代数系统,
是二元运算。如果
在S上是可结合的,则称V为半群。即对
x,y,z
S,有(x
y)
z=x
(y
z)。§6.1半群与群如:<Z+,+>,<N,+>,<Z,+>,<R,
>,<P(S),∪>,<P(S),∩>,<Zn,
n>都是半群,但<Z,->不是半群。2023/10/22离散数学3一、半群的概念(续)含幺半群(独异点):如果半群V=<S,
>的二元运算
含有幺元,则称V为含幺半群(独异点)。即
e
S,使得对
x
S都有e
x=x
e
=x。独异点亦可记为
<S,
,e>。
如:<N,+,0>,<Z,+,0>,<R,
,1>,<P(S),∪,
>,<P(S),∩,S>,<P(S),
,
>,<Zn,
n,0>都是独异点,但<Z+,+>不是独异点(?)。独异点的性质:<A,>是独异点,则的运算表中没有任何两行或两列相同。2023/10/22离散数学4一、半群的概念(续)子半群:半群的子代数。即设V=<S,
>是半群,B
S且B
,若B对
运算封闭,则<B,
>是V的子半群。子独异点:含幺元的子半群。即设V=<S,
,e>是独异点,B
S且B
,若B对
运算封闭,且e
B,则<B,
,e>是V
的子独异点。如:<Z+,+>和<N,+>是<Z,+>的子半群,且<N,+>是<Z,+>的子独异点,但<Z+,+>却不是。2023/10/22离散数学5一、半群的概念(续)半群中的幂:设半群V=<S,
>,则对
x
S,
x1
=x,xn+1
=xn
x,(n为正整数)独异点中的幂:设独异点V=<S,
,e>,则对
x
S,
x0
=e,xn+1
=xn
x,(n为自然数)幂运算的性质:xm
xn=xm+n,
(xm)n
=xmn
(m,n为正整数)2023/10/22离散数学6一、半群的概念(续)半群的同态:设V1=<S1,
>,V2=<S2,
>为半群,
:S1
S2,且对
x,y
S1有
(x
y)=
(x)
(y),则称
是半群V1到V2的同态。独异点的同态:设V1=<S1,
,e1>,V2=<S2,
,e2>
为独异点,
:S1
S2,且对
x,y
S1有
(x
y)=
(x)
(y),
(e1)=e2,则称
是独异点V1到V2的同态。2023/10/22离散数学7二、群的概念群:设V=<G,
>是代数系统,
是G上定义的二元运算。如果满足以下条件,则称V=<G,
>为群。①运算
在集合G上满足封闭性;②运算
在集合G上是可结合的;③集合G关于运算
存在幺元e;④集合G中每个元素都存在逆元;如:<Z,+>,<R–{0},
>,是群,但<N,+>,不是。代数系统独异点群(1)(2)(3)半群2023/10/22离散数学8二、群的概念例1:设G=R-{1/2},对
x,y
G,x
*y=x+y
–2xy
,试证明<G,*>是否为群?证明:(1)若
x,y
G,x
*y=x+y
–2xy
G,故*运算关于G满足封闭性。(2)若
x,y,z
G,
(x*y)*z=x+y+z
–2xy–2xz
–2yz+4xyzx*(y*z)=x+y+z
–2xy–2xz
–2yz+4xyz
则(x*y)*z=x*(y*z),故*运算关于G是可结合的。2023/10/22离散数学9二、群的概念例1:设G=R-{1/2},对
x,y
G,x
*y=x+y
–2xy
,试证明<G,*>是否为群?(3)设e
是幺元,对
x
G,有
x
*e=x+e
–2xe=x
,则e=0e
*x=e+x
–2ex=x
,则e=0
故e=0为*运算关于G的幺元。(4)对
x
G,设y是x的逆元,则x+y
–2xy=0,解得y=x/(2x–1),即
x
G,x-1=x/(2x–1)
由上述可知,<G,*>是群。2023/10/22离散数学10二、群的概念有限群:G为有限集的群<G,
>称为有限群,否则称为无限群。|G|为有限群的阶。交换群:若群<G,
>中的二元运算
是可交换的,则称群<G,
>为交换群,也称阿贝尔群。如:<Z,+>,<R–{0},
>为无限群,<Zn,
>为有限群。如:<Z,+>,<R–{0},
>,<P(S),
>,<Zn,
>都是阿贝尔群。2023/10/22离散数学11二、群的概念设G={e,a,b,c},
为G上的二元运算,运算表如下:
e
a
b
ca
a
e
cbb
b
ce
ae
e
a
b
cc
c
b
ae
称群<G,
>为Klein四元群。在含四个元素的群中,任意元素与自己运算的结果都为幺元;除幺元外,任意两个运算的结果都等于另一个元素。2023/10/22离散数学12二、群的概念群中的幂:设群<G,
>,则对
x
G,
x0
=e,xn+1
=xn
x,(n为非负整数)x-n=(x
-1)n=(xn)-1,(n为正整数)(1)
x
G,(x-1)-1
=
x,幂运算的性质:(2)
x,y
G,(x
y)-1
=
y-1
x–1,(3)
x
G,xm
xn=xm+n,m,n为整数(4)
x
G,(xm)n
=xmn,
m,n为整数2023/10/22离散数学13二、群的概念设<G,*>为群,对
a,b
G,方程a*x=b和y*a=b在G中有解,且解是唯一的。定理1显然,两个方程的解分别是x=a-1
*b,y=b
*a–1。例2:S={1,2,3},在群<P(S),
>中解方程
{1,2}
x={1,3}和y
{1}
={2,3}。解:∵群<P(S),
>的幺元是,∴{1,2}-1={1,2},{1}-1={1}y=
{2,3}
{1}-1
={2,3}
{1}={1,2,3}。∴x={1,2}-1
{1,3}={1,2}
{1,3}={2,3}2023/10/22离散数学14二、群的概念群<G,
>中不存在零元
。定理2
设<G,
>为有限群,则G的运算表中的每一行(每一列)都是G中元素的一个置换,且不同行(或列)的置换都不相同。定理4设<G,
>为群,则G中适合消去律。即对
a,b,c
G,有(1)若a
b=a
c,则b=c。(2)若b
a
=c
a,则b=c。
定理3定理5设<G,
>为群,对任意a,bG,
(a
b)–1=b–1
a–1,(a–1)–1=a2023/10/22离散数学15三、子群的概念子群:设<G,*>为群,H是G的非空子集,如果H关于G中的运算*构成群,则称<H,*>为<G,*>
的子群。记作H
G如:<nZ,+>是<Z,+>的子群,其中<{0},+>和<Z,+>
是<Z,+>的平凡子群;设<G,*>是一个群,B是G的一个有限非空子集。若运算*在集合B上封闭,则<B,*>是<G,*>的子群。有限子群判定定理设<G,*>为群,H是G的非空子集,如果对
x,y
H,x*
y-1
H,则<H,*>是<G,*>的子群。子群的判定定理2023/10/22离散数学16三、子群的概念设<G,*>为群,对
x
G,令H={xk|k
Z},则<H,*>是<G,*>的子群。该子群称为由元素x生成的子群,记作H=<x>。群<Z6,
>,Z6={0,1,2,3,4,5},
x,y
Z6,x
y=(x+y)mod6。
<0>={0}<1>={0,1,2,3,4,5}
<2>={0,2,4}<3>={0,3}
<4>=<2><5>=<1>因为任意取H中的元素xm
、xn
,有xm*(xn)-1=xm-n
H2023/10/22离散数学17元素的阶(周期):设群<G,
>,a
G,使ak=e成立的最小正整数k
称为a的阶(周期)。四、两种常用的群
任何群的幺元e的阶都为1,Klein四元群中a,b,c的阶都是2,群<Z6,
>中2和4的阶是3,3的阶是2,1和5的阶是6。1、循环群:阶(周期):设<G,*>是群,若a
G有有限周期r,则(1)ak=e
当且仅当k是r的倍数(2)a–1的周期亦为r(3)r
|G|2023/10/22离散数学18循环群:设群<G,
>,如果
a
G,使得
G={ak|k
Z}
则称为循环群,记G=<a>,称a为循环群<G,
>的生成元。四、两种常用的群如:群<Z,+>是循环群,其生成元是1或-1,性质:循环群一定是阿贝尔群,但阿贝尔群不一定是循环群。
群<Z6,
>是循环群,其生成元是1或5。2023/10/22离散数学19四、两种常用的群
无限阶循环群G=<a>的生成元就是a和a-1,n阶循环群G=<a>的生成元是at(其中t与n互质)。
循环群的子群仍是循环群。如:群<Z6,
>中,Z6=<1>,6的正因子是1,2,3,6,子群有:<16>=<0>={0},<13>=<3>={0,3},
<12>=<2>={0,2,4},
<11>=<1>={0,1,2,3,4,5}。n阶循环群G=<a
>的子群的阶都是n
的因子。对于n的每个正因子d,an/d是G的d阶子群的生成元。2023/10/22离散数学20四、两种常用的群如:12阶群G={e,a,a2,…,a11},12的正因子是1,2,3,4,6,12,则G的子群是:<a12/1
>=<e
>={e},1阶子群<a12/2
>=<a6
>={e,a6},2阶子群<
a12/3
>=<
a4>={e,a4,
a8}
3阶子群<a12/4
>=<a3>={e,a3,
a6
,a9}4阶子群<a12/6
>=<a2>={e,a2,a4,
a6,a8,a10}6阶子群<a12/12
>=<
a
>=G,12阶子群2023/10/22离散数学21四、两种常用的群n元置换:设S={1,2,…,n},S上的任何双射函数
:S
S构成了S上n个元素的置换,称为n元置换。记作:如:S={1,2,3},令
:S
S且
(1)=2,
(2)=3,
(3)=1,则有一个置换:2、置换群:2023/10/22离散数学22四、两种常用的群任何n元置换都可以用不交的轮换之积来表示。如:置换
1
=,又如:置换
2
=,则可表示为
2
=(1325)(46)则可表示为
1
=(132546)又如:置换
3
=,则可表示为
3
=(132)(4)(56)=(132)(56)
2023/10/22离散数学23四、两种常用的群解:
1
=(14523),例3:将置换
1和
2表成不交的轮换之积。其中
1
=,
2
=。
2
=(132)(45),恒等置换:称为恒等置换。记作:Is当|S|=n时,S上共有n!种不同的n元置换,将这些置换构成的集合记作Sn。2023/10/22离散数学24置换的运算(1)设S={x1,x2,…,xn}上有置换:P=则称为P的逆置换,记作:P–1.2023/10/22离散数学25(2)设S={x1,x2,…,xn}上有两个置换:P1=则称P=为P1与P2的合成,P2=显然:
Is=Is
=,这说明:Is是<Sn,
>中的幺元.记作:P=P2
P12023/10/22离散数学26四、两种常用的群(续)(3)任何置换
=
的逆置换
-1=就是的逆元。因此,<Sn,
>构成一个群,称为n元对称群。<Sn,
>的任何子群则称为n元置换群。对于代数系统<Sn,
>,
是函数的合成运算,则:(1)集合Sn对运算
封闭,且
是可结合的。(2)Is是集合Sn关于
运算的幺元。2023/10/22离散数学27解:(1)先写出所有的置换,共3!=6个,例6.5设S={1,2,3},写出S上所有的置换群P4=213123P5=132123Pe=123123按
顺序写:123P1=231123P2=312123P3=3211232023/10/22离散数学28(2)再列出S3={pe,p1,p2,p3
,
p4,p5}上关于合成运算
的运算表pep1p2p3p4p5
pep1p2p3p4p5pep1p2p3p4p5p1p2pep4p5p3p2pep1p3p4p5p3p5p4pep2p21p4p3p5p1pep2p5p4p3p2p1pePe=123123P1=231123P2=312123P3=321123P4=213123P5=1321232023/10/22离散数学29(3)最后写S3上的置换群(子群,检验封闭性)<{pe},
><{pe,p4},
><{pe,p1,p2},
>都是S3上的子群,也是置换群.<{pe,p3},
><{pe,p5},
>
p3、p4、p5是2阶元,p1,p2是3阶元<S3,
>2023/10/22离散数学30通常记:{x,y}的最小上界为:x
y{x,y}的最大下界为:x
y一、格的基本概念和性质格:设<S,≤>是偏序集,如果
x,y
S,{x,y}都有最小上界和最大下界,则称<S,≤>是一个格。§6.3格与布尔代数<S6,R>21632023/10/22离散数学31一、格的基本概念和性质(续)解:例4:设n为正整数,Sn是n的正因子的集合,R为整除关系,验证<Sn,R>是格,并举例说明。对于
x,y
Sn,x与y的最小公倍数[x,y]属于Sn,x与y的最大公约数(x,y)属于Sn,且x
y=[x,y],x
y=(x,y)。因为<Sn,R>是自反的,反对称的,传递的,从而是偏序集;因此,<Sn,R>是一个格。2023/10/22离散数学32一、格的基本概念和性质(续)例4:设n为正整数,Sn是n的正因子的集合,R为整除关系,验证<Sn,R>是格,并举例说明。如当n=6,8,30时,分别有下图:<
S8,R
>8421<S6,R>216313526101530<S30,R>解:2023/10/22离散数学33一、格的基本概念和性质(续)例5:判断下列偏序集是否构成格,说明原因。dbacfecbadeabecdf{e,f}没有上界{b,d}有上界c、e,但没有最小上界{d,e}有下界a、b、c,但没有最大下界2023/10/22离散数学34(1)格的对偶原理:设f为含有格中的元素及符号=,≤,≥,
,
的关系式。f*是将f中的≤改成
≥,≥改成≤,
改成
,
改成
后所得的关系式,称之为f的对偶命题。若f为对一切格为真,则f*也对一切格为真。一、格的基本概念和性质(续)如:若格中(a
b)
c≤c成立,则(a
b)
c≥c成立。格的性质:2023/10/22离散数学35幂等律:(2)设<L,≤>是格,a,b,c是L中任意元素,则有:一、格的基本概念和性质(续)交换律:a
b=b
a,a
b=b
a;结合律:(a
b)
c=a
(b
c),
(a
b)
c=a
(b
c);幂等律:a
a=a,a
a=a;吸收律:a
(a
b)=a,a
(a
b)=a;a
a≥aa≥a
a=
a
a
a≥a
a2023/10/22离散数学36(2)设<L,≤>是格,a,b,c是L中任意元素,则有:一、格的基本概念和性质(续)交换律:a
b=b
a,a
b=b
a;结合律:(a
b)
c=a
(b
c),
(a
b)
c=a
(b
c);幂等律:a
a=a,a
a=a;吸收律:a
(a
b)=a,a
(a
b)=a;结合律:(a
b)
c=a
(b
c),
(a
b)
c=a
(b
c);2023/10/22离散数学37格:设<L,
,
>是代数系统,
和
是二元运算,若
和
运算满足交换律,结合律和吸收律,(隐含幂等律),则称<L,
,
>是一个格。一、格的基本概念和性质(续)子格:设<L,
,
>是格,S是L的非空子集,若S
关于运算
和
是封闭的,则称<S,
,
>是格<L,
,
>的子格。格的另一个等价定义:2023/10/22离散数学38一、格的基本概念和性质(续)例6:格<L,
,
>如图,<Si,
,
>是否构成其子格。其中S1
={a,e,g,h},S2
={a,c,e,h},
S3
={a,b,d,f,h}abdcegfh<S1,
,
>不是子格,<S2,
,
>是子格,<S3,
,
>是子格,2023/10/22离散数学39beacd五角格1、分配格:设<L,
,
>是格,若对
a,b,c
L有
a
(b
c)
=(a
b)
(a
c)
a
(b
c)
=(a
b)
(a
c)
成立,则称<L,
,
>为分配格。二、特殊的格dcbabadcadecb钻石格2023/10/22离散数学40二、特殊的格(续)格<L,
,
>是分配格当且仅当它不含有与五角格或钻石格同构的子格。分配格的判定定理例6:判断下列格是否为分配格。cafedbcaedbfcaedbgfcahefbgd2023/10/22离散数学41二、特殊的格(续)2、有界格:全下界(或全上界):设<L,
,
>为格,若存在a
L,对
b
L有a≤b(或a≥b),则称a为格<L,
,
>的全下界(全上界)。有界格:具有全上界和全
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024二手小产权房买卖合同书
- 2024外聘专家顾问合同协议
- 双膝骨性关节炎护理查房
- 2024汽车借款抵押合同范本
- 《租赁风险与保险》课件
- 2024土地转让合同
- 湖北大学知行学院《投资银行》2021-2022学年第一学期期末试卷
- 湖北大学知行学院《金融企业会计》2022-2023学年第一学期期末试卷
- 2024家庭房屋装修合同简单版
- 2024委托拍卖合同格式范本范文
- 2024水样采集与保存方法
- 糖尿病患者体重管理专家共识(2024年版)解读
- 4D厨房区域区间管理责任卡
- 针灸推拿学专业大学生职业生涯规划书
- 设备故障报修维修记录单
- 发展经济学-马春文主编-课后习题集答案解析
- 《血糖监测》PPT课件(完整版)
- 牛仔裤生产基本质量要求
- 学生放学高峰期校门口疏导方案
- 康熙字典属金10画的的字 康熙字典6画属金的字
- 学生书法比赛简报
评论
0/150
提交评论