离散数学 半群与含幺半群(独异点)

合集下载

离散数学 群与半群

离散数学  群与半群

1 2 显然,a是<{a,a2,a3,…},⊙>的生成元。
2 给定群<G,⊙>,若G是有限集,则称<G,⊙>是有限群。
1
<T,○,e >是独异点,则<S×T,,<e , 假若群<G,⊙>为有限群,其子群是<H,⊙>,且|G|=n,|H|=m,则G的对于H的左陪集划分可表为G=a1H∪a2H∪···∪akH,其中k为不
为置换中的反置换,记为p-1。特别把置换
பைடு நூலகம்
x1 x1
x2 x2
xxnn称 为 X 中 的 幺 置 换 或
恒等置换,记为pe。
此外,用PX表示集合X中的所有置换的集 合。
为了说明n个元素的集合可以有多少不同的 置换,特给出如下定理:
定 理 7.5.1 若 X={x1 , x2 , … , xn} , 则 |PX|=n!
在正式讨论置换群以前,需要先作些 必要的准备。
定义7.5.1 令X是非空有穷集合,从X到X的 双射,称为集合X中的置换,并称|X|为置换的 阶。
若X={x1,x2,…,xn},则n阶置换表为
pp(xx11)
x2 p(x2)
xn p(xn)
并称
p(x1)
x1
p(x2) x2
p(xn)
xn
定义7.2.1 给定两个半群<S,⊙>与<T, ○>,则
半群<S,⊙>半群<T, ○>:=(f)(f∈TS∧(x)( y)(x, y∈S→f(x⊙y)=f(x) f(y))
并称f为从<S,⊙>到<T,○>的半群同态 映射。
由定义可以知道,半群同态映射f可以不是 唯一的。

离散数学sec16-17 群

离散数学sec16-17 群
整数加群<Z,+>, 由 2 生成的子群是 <2> = { 2k | k∈Z } = 2Z
模 6 加群 <Z6, >中 由 2 生成的子群 <2> = { 0, 2, 4 }
21
特殊子群2
例 设G为群,令C是与G中所有的可交换的元素构 成的集合,即 C={a|a∈G∧x∈G(ax=xa)} 则C是G的子群,称为G的中心。
限群。 群G的基数称为群G的阶,有限群G的阶记作|G|。
(2)只含单位元的群称为平凡群。
(3)若群G中的二元运算是可交换的,则称G为交 换群或阿贝尔(Abel)群。
11
群论中常用的概念-元素的n次幂
定义 设G是群,a∈G,n∈Z,则a的n次幂 P250 定义17.4
e a n a n1a
(a 1 )n
换 σ∈Sn,逆置换σ1是σ 的逆元. 这就证明了Sn关于置换的乘法构成一个群,称为 n
元对称群. n元对称群的子群称为 n元置换群.
31
例 设 S = {1, 2, 3},3元对称群
S3的对称群是? 运算表? S3的子群?
32
n元置换的分解式
• k阶轮换与轮换分解方法 定义11.11 P258
定义 设<G,>是代数系统,为二元运算。如果运 算是可结合的,存在单位元e∈G,并且对G中 的任何元素x都有x-1∈G,则称G为群(group)。 (P249定义17.1)
例 <Z,+>,<Q,+>,<R,+>,<Z+,+>,<N,+>是不是群?
<Zn,>是群?
8

离散数学ch11[1]群

离散数学ch11[1]群

正规子群与商群
定义设H是群G的子群。如果a∈G 定义 都有Ha=aH,则称H是G的正规子群 正规子群,记作 正规子群 H G。 任何群G都有正规子群,因为G的两个平 凡子群,即G和{e},都是G的正规子群。 如果G是阿贝尔群,G的所有子群都是正 规子群。
正规子群与商群
正规子群的实例
设A={1,2,3},f1,f2,…,f6是A上的双射函数。 f1={<1,1>,<2,2>,<3,3>}, f2={<1,2>,<2,1>,<3,3>} f3={<1,3>,<2,2>,<3,1>}, f4={<1,1>,<2,3>,<3,2>} f5={<1,2>,<2,3>,<3,1>}, f6={<1,3>,<2,1>,<3,2>} 令G={f1,f2,…,f6},则G关于函数的复合运算构成 群。 G的全体子群是:
群的分解 :陪集定义 陪集定义
例2:设A={1,2,3},f1,f2,…,f6是A上的双射函数。其中 f1={<1,1>,<2,2>,<3,3>} f2={<1,2>,<2,1>,<3,3>} f3={<1,3>,<2,2>,<3,1>} f4={<1,1>,<2,3>,<3,2>} f5={<1,2>,<2,3>,<3,1>} f5={<1,2>,<2,3>,<3,1>} f6={<1,3>,<2,1>,<3,2>} 令G={f1,f2,…,f6},则G关于函数的复合运算构成群。 考虑G的子群H={f1,f2}。做出H的全体右陪集如下: Hf1={f1f1,f2f1}={f1,f2}=H Hf2={f1f2,f2f2}={f2,f1}=H Hf3={f1f3,f2f3}={f3,f5} Hf4={f1f4,f2f4}={f4,f6} Hf5={f1f5,f2f5}={f5,f3} Hf6={f1f6,f2f6}={f6,f4}

半群和独异点

半群和独异点

为了强调幺元的存在,有时将独异点记为<S,˚,e>。
则称 为独异点V1到V2的同态˚
< Z+,+>是半群。
对独异点V=<S,˚,e>, <T,˚,e>构 <N,+,0>,…,<R,+,0>
❖ x1=x,
而关于幂的两个运算公式不变,只要其中的m和n是非负整数就可以了。
成V的子独异点,需要满足: 且对任意<a,b>,<c,d>∈S1×S2有
❖ xn ˚ xm= xn+m ,
在独异点V=<S,˚,e>中,如果规定x0=e(x是S中的任意元素),那么有关半群中幂的定义可以变成
x1=x,
=
=
<a,b>·<c,d>=<a˚c,b*d>
独异点的子代数叫做子独异点.
定义 如果半群V=<S,˚>中的二元运算含有幺元,则称V为含幺半群,也可叫做独异点.

例 独异点V=
T对V中的运算˚是封闭的,
矩阵乘法的幺元是n阶单位矩阵E.
令 : S→ S 而
不是独异点V的么元,因此,
❖ , 定义 设V1 =<S1,˚>, V2=<S2,*>为半群,
< Zn , >是半群和独异点,其中Zn ={0,1,…,n-1}, 表示模n加法。
而关于幂的两个运算公式不变,只要其中的m和n是非负整数就可以了。
如果V=<S,˚>是半群, <T,˚>就是V的子半群,需要满足:
x例1=x半, 群V❖=<S那,. 么对任意x,y∈S都有

离散数学-半群

离散数学-半群

.
半群
1.1 半群及独异点
✓定理11.3
设<S,>为一半群,那么 (1)<SS,○ >为一半群,这里SS为S上所有
一元函数的集合,○ 为函数的合成运算. (2)存在S到SS的半群同态.
.
半群
Δ 1.2 自由独异点
➢定义 11.2
称独异点<S,,e>为自由独异点(free monoid),
如果有AS使得 (1)eA. (2)对任意uS,xA,ux e . (3)对任意u,vS,x,yA,若ux = vy, 那么u = v,x = y. (4) S由A生成,即S中元素或者为e, 或者为A的成员, 或者为A的成员的“积”:
x,
f
(w))
其中wS,xA 。
.
半群
Δ 1.2 自由独异点
✓定理11.5
设<S,•,e1>和<T,,e2>为两个自由独异点, A,B分别为它们的生成集, 且 A = B ,那么<S,•,e1>和<T,,e2>同构。
.
半群
1.3 半群及高斯半群
➢定义11.3
设<S,>为一半群,那么
(l)当 满足交换律时,称<S,>为交换半群
ai1a i2…aik (ai1,a i2,…,aikA)
集合A称为S的生成集.
.
半群
Δ 1.2 自由独异点
✓定理11.4 设<S, , e>为一自由独异点,A为它的生成集,
g: SAM→M为一已知函数,m 为M中已知元素, 那么下列等式组定义了一个S到M的函数f;
f (e) m
f
(w
x)

离散数学第四讲半群和独异点(共10张PPT)

离散数学第四讲半群和独异点(共10张PPT)
定理 4: 在任何可交换独异点〈S, *, e〉中, S的等幂元素 集合T
证: i) 任取x,y∈T, 则 x * y=(x*x)*(y*y)=x*(x*y)*y=(x*y)*(x*y)
所以, x*y∈T,
ii) T是S的子集,*在T上可结合;
iii) e*e=e, e是等幂元素,所以,e∈T。
故〈T, *, e〉是子独异点。证毕。 本定理对可交换半群也成立。
如 〈[0,1], * 〉,〈N, * 〉都是〈R, * 〉的子半群.
定理1 证: 子半群是子代数, 关于运算*封闭, 结合律是继承的,
所以是半群。 证毕。
第3页,共10页。
3
半群和独异点
定义4:如果〈S,*,1〉是独异点。T ⊆S , 且关于运算*封
闭 T, T , 1∈ 那么〈 定义 5:在半群(独异点)中, 若运算是可交换的, 则称此半 ,* ,1〉是〈S ,* ,1〉的子代
N 〉 〈R, *,1 〉 如 〈 , *,1 就是 下中面较我 高们者定;义独异点〈S, *, e〉中任意元素a的幂。
i集ii)合e*Te=可e构, e成是子等独幂异元点素。,所以,e∈T。
的子独异点.
离〈散S,数* 〉学的第子四半讲群半。群和独异点
由使于每独 一异元点素中a∈, 运S,算都*有是一可个结相合应的的, 容h∈易N证能明把如a此写定成义gh,
② 〈S,*〉,其中S是不同高度的人的集合,a*b表示a,b
又因为 ai * e ≠ aj 对任意a、 b∈S, 存在m、n∈N, 使a=gm和b=gn,
由于独异点中, 运算*是可结合的, 容易证明如此定义
*
e
,所以任意两行都不相同。
第5页,共10页。
5

半群与独异点

半群与独异点

离散结构半群与独异点教学目标基本要求(1)掌握半群、独异点的定义(2)熟悉半群与独异点的性质(3)了解子系统和直积的概念重点难点(1)判断或证明给定集合和运算是否构成半群、独异点半群、独异点的定义定义:(1)设V=<S, ∘ >是代数系统,∘为二元运算,如果∘运算是可结合的,则称V为半群(semi-group)(2)设V=<S, ∘ >是半群,若e∈S是关于∘运算的单位元,则称V是含幺半群,也叫做独异点(monoid),有时也将独异点V记作V=<S,∘,e>实例(1) <Z+,+>,<N,+>,<Z,+>,<Q,+>,<R,+>都是半群,+是普通加法. 这些半群中除<Z+,+>外都是独异点(2) 设n是大于1的正整数,<M n(R),+>和<M n(R),×>都是半群,也都是独异点,其中+和×分别表示矩阵加法和矩阵乘法(3) <P(B),⊕>为半群,也是独异点,其中⊕为集合对称差运算(4) <Z n, ⊕>为半群,也是独异点,其中Z n={0,1,…,n−1},⊕为模n加法(5) <A A, ∘ >为半群,也是独异点,其中◦为函数的复合运算(6) <R*, ∘ >为半群,其中R*为非零实数集合,∘运算定义如下:∀x, y∈R*, x∘y=y实例例设R*为非零实数集合, 对任意∀x, y∈R*, 规定x∘y =y, 则<R*, ∘ >为半群。

证明: ∀x, y, z∈R*,有(x∘y) ∘z = y∘z = z,x∘ (y∘z)= x∘z= z所以 (x∘y) ∘z = x∘ (y∘z), 运算∘满足结合律故 <R*, ∘ >为半群。

实例例:设Σ是一个非空有限集合,称为字母表,由Σ中有限个字母组成的有序集合(即字符串)称为Σ上的一个字,串中的字母个数m 称为字长,m=0 时,称为空字,记为ε。

几个典型的代数系统离散数学

几个典型的代数系统离散数学
几个典型的代数系统离 散数学
11/4/20211
1
第一页,共61页
§1 半群与群
DEFINITION 1.
设V=<S, ◦>是代数系统,◦为二元运算,如果 ◦是可结合的,则称V为半群。
如: (1) <Z+, +>, <N, +>, <Z, +>, <Q, +>, <R, +>都是
半群,其中+表示普通加法。
11/4/20211
a
Байду номын сангаас
11
第十一页,共61页
一些特殊的群:
交换群:群G中的二元运算可交换。也叫阿 贝尔(Abel)群。 无限群:群G中有无限多个元素。 有限群:群G中有有限个元素。有限群G中的 元素个数叫做G的阶,记作|G|。
11/4/20211
12
第十二页,共61页
如,
(1) <Z, +>, <Q, +>, <R, +>都是阿贝尔群, Klein四元群也是阿贝尔群。
使用这个定理可以通过运 算表很快地判断出哪些代 数系统G=<S, ◦>不是群。
设G为有限群,则G的运算表中的每一行(每
一列)都是G中元素的一个置换,且不同的行( 或列)的置换都不相同。
这就是说,在G的运算表的每一行里。G的每 个元素都出现且仅出现一次,行不同,元素 的排列顺序也不同。
11/4/20211
(x ◦ y)= (x) * (y), 则称为半群V1到V2的同态。
设V1=<S1, ◦, e1>, V2=<S2, *, e2>为独异点, : S1→S2,且x, yS1,有:
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
例: < R, • >是半群,<{2,4}, •}是否是半群? < (0,1), •>是否是半群?
∵区间 (0,1) R,且•在(0,1)上封闭可结合, ∴< (0,1), •>是<R, •>的子半群
3
定理2:<S,*>是半群,若S是有限集,则必有aS,使a*a=a。
证明:对 bS ∵<S,*>是半群,*在S上封闭,∴b*b S 记 b2=b*b, 则 b2*b=(b*b)*b=b*(b*b)=b*b2 记 b3=b2*b=b*b2 则b3*b=b2*b*b=b*((b*b)*b)=b*(b2*b)=b*b3
主要内容 1 代数系统的基本概念 2 半群与含幺半群(独异点) 3 群(阿贝尔群与循环群) 4 陪集与拉格朗日定理 5 同态与同构 6 环与域
1
定义1:<S,*>是一个代数系统,S为非空集合,*是定义在S上的二元运算:
• *是封闭的, <S,*>称为广群; • *可结合的广群称为半群; • 含有幺元的半群,称为独异点(含幺半群); • * 可交换的半群,称为交换半群。
定义3:<G,*>是群,若G是有限集,称<G,*>是有限群; G中元素的个数称为该有限群的阶数,记为 | G |; 若G无限,则<G,*>称为无限群。
定义4:<G,*>是群,a是G中任意元素,nN,定义元素a的幂为: a,……, an+1 = an * a, 定义:a-n = ( a-1) n (其中a-1是a的逆元)
∴x = b ,即元素 b 必满足 b * b = b
7
作业
• P190 (5)
8
主要内容
1 代数系统的基本概念 2 半群与含幺半群(独异点) 3 群(阿贝尔群与循环群) 4 子群与陪集 5 同态与同构 6 环与域
9
1. 群的概念
定义1:每个元素都有逆元的独异点,称为群。 定义2:若群还满足交换律,则称为交换群(阿贝尔群)。
例: < R, - >是代数系统,是否是半群? 因为-在R上封闭,但不可结合;不是半群! < R, • >是半群,而且含有幺元1 所以也是独异点,是可交换的独异点。
2
定理1:<S,*>是半群,BS,且*在B上封闭,则<B,*>是半 群。通常称<B,*>是<S,*>的子半群。
证明:要证明<B,*>是半群,只要证*在B上封闭、可结合 已知*在B上封闭 ∵<S,*>是半群, BS, ∴a,b,c B,a,b,c S, *在S上可结合,有 a*(b*c)=(a*b)*c,即*在B上可结合 ∴<B,*>是半群
a0 = e,a1 =
显然,a m * a k = a m + k ,( a m ) k = a m k(m,k I)
10
ቤተ መጻሕፍቲ ባይዱ
定义5:<G,*>是群,a是G中任意元素,若存在nZ+,使an = e, 则称元素 a 的阶是有限的,最小的正整数n称为元素a的阶; 若不存在这样的正整数n,则称元素a具有无限阶。
= b * e * b-1 = b * b-1 = e ∴ (a * b) -1 = b -1 * a -1
6
例1:< {a,b},* >是半群, 其中 a * a = b,求证: (1) a * b = b * a ; (2) b * b = b 。
证明: (1) a * b = a * (a * a) = (a * a) * a = b * a (2) b * b = b * (a * a) = (b * a) * a
∵ < {a,b},* >是半群,∴* 在{a,b}上封闭, ∴ b * a = a 或者 b * a = b 若 b * a = a ,则 b * b = (b * a) * a = a * a = b 若 b * a = b,则 b * b = (b * a) * a = b * a = b 证法2:(2) ∵ < {a,b},* >是半群,{a,b}是有限集, ∴必有一个元素 x {a,b},使 x * x = x ∵a * a = b ≠ a ,∴x ≠a
…… 记 bn=bn-1*b=b*bn-1 …… ∵S是有限集,∴根据鸽巢原理,存在 j>i,使得bi=bj 记 p=j-i (则 p≥1),则 j=p+i ∴bi = bj = bp+i = bp * bi ,∴ bi * b = bp * bi * b
∴bi+1 = bp * bi+1 ,bi+2 = bp * bi+1 *b= bp * bi+2 … br = bp * br (r ≥i ) ∵p ≥1, ∴总可以找到 k ≥1 使得kp ≥i ∴bkp = bp * bkp = bp * (bp * bkp) = b2p * bkp = b2p * (bp * bkp) =
证明:令e是<S,*>的幺元, (1) ∵ a-1 * a = e = a * a-1 ,∴a -1与 a 互为逆元,
∴ (a -1) -1=a (2) ∵(a * b) * (b -1 * a -1) = a *( b * b-1) * a-1
= a * e * a-1 = a * a-1 = e (b -1 * a -1) * (a * b) = b -1 * (a -1 * a) * b
例:
*eab e e ab aabe bbe a
b3p * bkp = … = bkp * bkp ∵ *在S上封闭, ∴bkp S, 令 a = bkp,则 a * a = a
4
定理3:<S,*>是独异点,则在关于*的运算表中,任何两 行或两列都是不同的。
证明:令e是<S,*>的幺元,则a,bS,且a ≠b, ∵e * a = a ≠ b = e * b ,∴任意两列在e这一行中不同 ∵a * e = a ≠ b = b * e ,∴任意两行在e这一列中不同
* …… e …… a …… b …...
e …… e …… a …… b …... a …… a …… …… …...
b …… b …… …… …...
5
定理4:<S,*>是独异点, a,bS,且都有逆元,则 (1) (a -1) -1=a ; (2) a * b有逆元,且 (a * b) -1 = b -1 * a -1。
相关文档
最新文档