离散数学 第四讲 半群和独异点
《半群与独异点》课件
![《半群与独异点》课件](https://img.taocdn.com/s3/m/cd9ee78e09a1284ac850ad02de80d4d8d15a01c3.png)
交换群是满足交换律的群。
半群的子群与商群
子群
设$H$是半群$S$的非空子集,如 果对任意$a, b in H$,有$a cdot b in H$,则称$H$为半群 $S$的子群。
商群
设$varphi: S to T$是同态满射, 则称商集$frac{S}{varphi}$为半 群$S$关于同态$varphi$的商群 。
03
独异点的定义与性质
独异点的定义
左可消性质
对于任意$a in S$,若存在$x, y in S$使得$ax=ya$,则$a=e$。
右可消性质
对于任意$a in S$,若存在$x, y in S$ 使得$ax=ya$,则$a=e$。
独异点的性质
独异点具有唯一性
在一个半群中,每个独异点都是唯一的。
在计算机科学中的应用
计算复杂性理论
半群和独异点理论在计算复杂性理论中 用于描述算法的复杂性和计算资源的消 耗。例如,算法的时间复杂度和空间复 杂度可以用半群和独异点来描述。
VS
计算机图形学
在计算机图形学中,半群和独异点理论用 于描述图像处理和计算机动画中的变换和 插值。例如,图像的旋转、缩放和平移等 变换可以用半群来表示,而图像的插值则 可以通过独异点来进行。
在数学其他领域的应用
代数
半群和独异点理论在代数中用于描述代数的 结构和性质。例如,半群代数可以用于研究 半群的结构和分类,而独异点则与代数方程 的根和因式分解等概念相关。
微分方程
在常微分方程和偏微分方程中,半群和独异 点理论用于描述解的行为和性质。例如,解 的稳定性、周期性和渐近性等性质可以用半 群和独异点来描述。同时,独异点也与微分 方程的奇点和分岔等概念相关。
离散数学sec16-17 群
![离散数学sec16-17 群](https://img.taocdn.com/s3/m/6a12284e4028915f804dc2b0.png)
模 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
半群和群
![半群和群](https://img.taocdn.com/s3/m/60147206fe4733687e21aa50.png)
可交换半群
三、可交换半群 ❖ 定义:
– < S, ⊙>是半群,若⊙是可交换的, 称< S, ⊙>为可交换半群(commutative semigroups)
– < S, ⊙, e>是独异点,若⊙是可交换的, 称< S, ⊙, e>为可交换独异点(commutative monoid)
证明:对于任意的 a, b P,有a ⊙ a=a,b ⊙ b=b, 又因为⊙是可结合和可交换的,所以有
(a⊙b)⊙(a⊙b)= (a⊙a)⊙(b⊙b)= a⊙b P 所以P对于⊙是封闭的。 又因为e P,所以< P, ⊙, e>为< S, ⊙, e>的子独异点
循环半群
四、循环半群 ❖ 定义:< S, ⊙>是半群,若存在g S,对于每个x S,都
循环半群
例7.1.3 下表给出的代数是个循环独异点,生成元是d ❖ 因为
❖ d=d
d2 = b
d3 = c
⊙a b c d
d4 = a
aabcd
bbadc
❖ 生成元也可以是c,但不是a或bc c d b a
循环半群
❖ 定理:每个循环独异点都是可交换独异点。 证明: 设< S, ⊙, e>是循环独异点,g为其生成元 对于任意 a, b S,存在自然数m, n,使得a=gm,b=gn 于是,a⊙b = gm⊙gn = gm+n = gn+m = gn⊙gm = b⊙a 所以⊙是可交换的,故< S, ⊙, e>是可交换独异点。
因此没有任意两行是相同的 e⊙a=a≠b=e⊙b
离散数学-群
![离散数学-群](https://img.taocdn.com/s3/m/28ae7c9bf01dc281e43af047.png)
a ◦ b = a g (g-1 a-1 g-1) = g-1。 同理可证,b ◦ a = g-1。 所以 G 的每个元素都有逆元。 综上所述,< G; ◦ > 是群。
注:
因为半群 < S; > 中 是可结合的,所以可以定义元素的幂。
对任意 a S,定义
a1 = a,an + 1 = an a (n = 1, 2, …),
并且对于任意正整数 m 和 n,有
am an = am + n,(am)n = amn。
3
定理5-1 设 < S; > 是一个有限的半群,则必有 a S,使得 a 是一个幂等元,即 a a = a 。
第二部分 抽象代数
0
第五章 群
本章在了解了代数系统一般概念的基础上,着重讨论具有一个 二元运算的代数系统,常称为二元代数,包括半群、独异点和 群。半群和独异点在自动机理论、形式语言及程序设计的数学 基础中占有重要的地位,而群是抽象代数中最古老且发展得最 完善的代数系统,在计算机科学中,对于代码的查错和纠错、 自动机理论等各个方面的应用的研究,群是其基础。
代数系统中唯一的单位元常记为 e。 5
在独异点 < S; > 中,也可定义元素的幂:
对任意 a S,有
a0 = e,an + 1 = an a (n = 0, 1, 2, …),
并且对于任意非负整数 m 和 n,有
am an = am + n,(am)n = amn。
设 < S; > 为独异点,则关于运算 的运算表中没有两行或 两列是相同的。
离散数学第四讲半群和独异点
![离散数学第四讲半群和独异点](https://img.taocdn.com/s3/m/9f7f523405087632301212c7.png)
证(2):(归证子纳独) :a异n+点1设是=子Sa代n是*数a,(关n有∈于N运限)算 *集封闭{,e含,有a么1元,, a2…an},对任何ai,aj∈S,若ai≠aj
证: i) 任取x,y∈T,
则e * ai ≠e * aj 群(独异点)为可交换半群(可交换独异点)。
是此循环独异点的生成元, 又可说此循环独异点是由
定理 2: 子独异点是独异点。 证: 子独异点是子代数,关于运算 * 封闭, 含有么元,
结合律是继承的, 所以是独异点。 证毕。
半群和独异点
注:独异点一定是半群,但半群不一定是独异点。但可通过
添加新元素将半群变为独异点,如半群〈[0,1), 如 〈N, *,1 〉就是〈R, *,1 〉的子独异点.
群(独异点)为可交换半群(可交换独异点)。
是此循环独异点的生成元, 又可说此循环独异点是由
〈S, * 〉的子半群。 g生成的。
iii) e*e=e, e是等幂元素,所以,e∈T。
N R 如 〈[0,1], * 〉,〈 证: 设〈S, *, e〉是循环独异点, 其生成元是g,
如 〈N, *,1 〉就是〈R, *,1 〉的子独异点.
证:设S是有限集{e,a1,a2…an},对任何ai,aj∈S,若ai≠aj
半群和独异点
定义4:如果〈S,*,1〉是独异点。T ⊆S , 且关于运算*封 闭, 1∈T, 那么〈T ,* ,1〉是〈S ,* ,1〉的子代 数,称〈T,*,1〉是〈S ,* ,1〉的子独异点。
如 〈N, *,1 〉就是〈R, *,1 〉的子独异点.
证毕。
作业:P187 1, 7, 8, 9, 12, 13
定理 4: 在任何可交换独异点〈S, *, e〉中, S的等幂元素 集合T
自考离散数学第4章
![自考离散数学第4章](https://img.taocdn.com/s3/m/577f9035580216fc710afd0b.png)
例:设集合A={a,b,c,d},在A上定义两个运算*和
,如表所示: 解:b,d是A中关于*运算的左幺元,而a是A中关于运算的右幺元。
a d a a a b a b b b c b c c c d c d c d a b c
* a b c d
a a b c
b b a d
c d c a
定义4.3.7 设<G,*>为群,若在G中存在一个元素a,使得G中的任意元素都由a
例:设A={a,b,c,d},*为A上的二元运算,
* a b c d
a a b c d
b b d a a
c c a b c
d d c b d
可以看出a为单位元。由a*a=a,b*c=a,c*b=a,d*b=a, 故a有逆元a;b有左逆元c,d;c有左逆元b;b有右逆元c;c有右逆元b;d有
定义4.3.2 设<G,*> 为一个群,如果G是有限集合,则称<G,*> 是有限群。G中
元素的个数通常称为有限群的阶数,记为|G|。
定义4.3.3 若群G中,只含有一个元素,即G={e},|G|=1,则称G为平凡群。 例:设G={e,a,b,c},运算*如表所示:
* e a b c
e e a b c
4.2 半群与独异点
4.3 群与子群
定义4.3.1 设<G,*>为一个代数系统,其中G是非空集合,*是G上一个二元运算,
① 如果*是封闭的; ② 运算*是可结合的; ③ 存在幺元e; ④ 对于每一个元素x G,存在它的逆元x-1; 则称<G,*>是一个群。
4.3 群与子群
4.3 群与子群
4.1 代数系统
离散数学 半群与含幺半群(独异点)
![离散数学 半群与含幺半群(独异点)](https://img.taocdn.com/s3/m/3896945976c66137ee0619be.png)
∵区间 (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
离散数学半群【实用资料】
![离散数学半群【实用资料】](https://img.taocdn.com/s3/m/a1cc896684868762cbaed5a1.png)
一、广群与半群
例题2 设S = {a,b,c}, S上的一个二元运算的定义如下表
所示,验证<S, △>是半群。
△
a
b
c
aab来自cba
b
c
c
a
b
c
解: 由上表知运算△在S上是封闭的而且对任意x1,x2∈S有 x1△x2=x2,且a,b,c都是左幺元,从而对任意的x,y,z∈S都有:
x△(y△z)=x△z=z,(x△y)△z=y△z=z
( [i] m [j] ) m [k] = [i] m ( [i]) m [j] ) = [(i j k ) mod m ] 故+m, m都可结合。
二、独异点
3) [0] +m [i]= [i] +m [0] = [i]
[1] m [i]= [i] m [1] = [i]
代[i]数m系[统j]<={即[-(i1[,1j0)},m]od,>m,[]<[1-1],分1],别>为,+和m<,Z , m的>都幺是具元有。幺元1的半群。
a*a=a。 即a, b所在列也不同。
代数系统<{-1,1}, >,<[-1,1], >,和<Z , >都是具有幺元1的半群。
证明:对任bS, 由封闭性知 a * a-1 = a-1* a = e
半群是一种特殊的代数系统,在计算机科学领域中,如形式语言,自动机理论等方面,已得到了卓有成效的应用。
b*b = b S, [1] m [i]= [i] m [1] = [i] 2
具有幺元1的半群。因此它们都是独异点。 设<S, *>为独异点,则关于*的运算表中任何两行或两列都不同。 证明:设e为幺元。对任a, bS, ab a*e = a b*e = b 可见a, b所在行不同。 同理 e*a = a e*b = b 即a, b所在列也不同。
第4讲 半群和群的定义和性质
![第4讲 半群和群的定义和性质](https://img.taocdn.com/s3/m/ddfb610e4431b90d6d85c704.png)
35
子半群的交集
定理10.3: 若干子半群的非空交集仍为子 半群;若干子独异点的交集仍为子独异 点. (只需证明封闭性) 思考:若干子半群的并集是否仍然是子半 群?
2018/10/10
36
同态和同构
半群与独异点的同态和同构
半群 f(xy)= f(x)f(y)
独异点 f(xy)=f(x)f(y), f(e)= e’
例10.4(3-6)
(3) <Mn(R),+>n阶实矩阵加群
(4) <Mn(R),>n阶实可逆矩阵乘法群;
(5) 所有行列式为1的n阶实可逆矩阵
关于矩阵乘法;
2018/10/10
15
例10.5
Klein 四元群G={e,a,b,c}
* e a b c e e a b c a a e c b b b c e a c c b a e
27
2018/10/10
模n剩余类
[i],[j]Zn [i]+m[j]=[(i+j) mod m] eg. <Zn,+n>,<Zn,n> 数和不为素数两种)
2018/10/10
设Z是整数集合,n是任意正整数,Zn是 由模n的同余(剩余)类组成的集合, 在Zn上定义两个二元运算+m 和m:
主要内容
半群 独异点 群
2018/10/10
1
半群
定义10.1(1): <S,∘>是一个代数系统,
其中S是非空集合,∘是S上的一个二元
运算(运算∘是封闭的),如果运算∘是
可结合的,即对任意的x,y,z∈S,
离散数学 第四章 4
![离散数学 第四章 4](https://img.taocdn.com/s3/m/9d2ee4fafab069dc50220145.png)
(3)
S={1,2,3,…,n}到自身的双射称为 元置换, 到自身的双射称为n元置换 到自身的双射称为 元置换 记为σ 记为σ,可表示为
2 n 1 σ = σ (1) σ (2) σ ( n )
上的双射即置换的个数共n!个 上置换 注:S上的双射即置换的个数共 个,S上置换 上的双射即置换的个数共 的全体记作S 的全体记作 n
2 设f是含有格中元素以及符号 是含有格中元素以及符号=,≤,≥,∨和∧ 是含有格中元素以及符号 , 的公式, 是将f中的符号分别替换成 的公式,令f*是将 中的符号分别替换成 , 是将 中的符号分别替换成=, ≥ ,≤, ∧与∨所得到的公式,则称 为f的对偶 所得到的公式,则称f*为 的对偶 命题。 命题。 3 对偶原理:f* f 对偶原理:
第六章
几个典型的代数系统
半群与群
格与布尔代数
6.1 半群与群
是一个代数系统, 设V=(G, )是一个代数系统 是一个代数系统 上的二元运算, 是G上的二元运算 上的二元运算 1 若 在G上成立结合律 则称 为半群。 上成立结合律 则称V为半群。 上成立结合律,则称 如:〈Z+, +〉, 〈N, +〉, 〈Z,+〉 〉 〉 〉 2 若 在G上成立结合律 且有单位元,则称 为 上成立结合律 上成立结合律, 有单位元,则称V为 独异点(含幺半群) 独异点(含幺半群)。 如: N, +〉, 〈Z,+〉 〈 〉 〉
轮换其乘法
例 设f=(15342), g=(125)(34) 求fg, g f, f-1, g-1
(4) 设M是非空集合 有n个元素 上所有置换 是非空集合,有 个元素 个元素,M上所有置换 是非空集合
的集合关于置换的乘法(函数的复合运算 构成 的集合关于置换的乘法 函数的复合运算)构成 函数的复合运算 一个群,称为 元对称群, 称为n元对称群 一个群 称为 元对称群, 它的任何子群称为n元置换群 元置换群。 它的任何子群称为 元置换群。 例题: 元对称群。 例题 S3是3元对称群。 元对称群
关于半群和群课件
![关于半群和群课件](https://img.taocdn.com/s3/m/9742ba68f12d2af90342e626.png)
循环半群
例7.1.3 下表给出的代数是个循环独异点,生成元是d
因为 d=d d2 = b d3 = c d4 = a
⊙a b c d aabcd bbadc c cdba ddcab
生成元也可以是c,但不是a或b
循环半群
定义:给定半群< S, ⊙>,以及G S, 若S中的所有元素,都可以由G中元素经过⊙运算而得 并且G是最小的这样的集合 则称G为< S, ⊙>的生成集,即
循环半群
四、循环半群 定义:< S, ⊙>是半群,若存在g S,对于每个x S,都 有相应的自然数n,将x表示成gn,即x=gn ,则 称g为< S, ⊙>的生成元 可以说,元素g生成半群< S, ⊙> 称< S, ⊙>为循环半群
循环半群
定义:< S, ⊙, e>是独异点,若存在gS,对于每个xS, 都有相应的自然数n,将x表示成gn,即x=gn ,且g0=e
称g为< S, ⊙, e>的生成元 可以说,元素g生成独异点< S, ⊙, e> 称< S, ⊙, e>为循环独异点
循环半群
定理:每个循环独异点都是可交换独异点。 证明: 设< S, ⊙, e>是循环独异点,g为其生成元 对于任意 a, b S,存在自然数m, n,使得a=gm,b=gn 于是,a⊙b = gm⊙gn = gm+n = gn+m = gn⊙gm = b⊙a 所以⊙是可交换的,故< S, ⊙, e>是可交换独异点。
半群和独异点
代数< [0, 1], ×>、< [0, 1), ×>和< N, ×> (N是自 然数集合,×是普通乘法)都是半群 并且都是< R,×>(R是实数集合)的子半群 < [0, 1], ×, 1>和< N, ×, 1>都是独异点 并且都是< R,×, 1>的子独异点 < [0, 1), ×>不是独异点,因为它不含关于×的么元
半群与独异点
![半群与独异点](https://img.taocdn.com/s3/m/0ca73bc9b9d528ea80c7793f.png)
实例3
例3 设S={a,b,c},在S上的一个二元运算定义如表所 示。验证<S, >是一个半群。
解 从表中可知运算是封闭的。 a b c
a,b和c都是左幺元。
a abc
x,y,z∈S,有
ቤተ መጻሕፍቲ ባይዱ
b abc
x(yz)= xz=z=yz=(xy)z
c abc
因此,运算在S上是可结合的。
故<S, >是一个半群。
半群的同态性质
定理3 设V=<S,∗>为半群,V’=<SS,∘>,∘为合成,则 V’也是半群,且存在V 到V’ 的同态.
证: fa:S→S, fa(x)=a ∗x fa∈SS, 且{ fa | a∈S }⊆ SS, 令ϕ:S→SS, ϕ(a)=fa, ϕ(a ∗b)=fa∗b, ϕ(a)∘ϕ(b)=fa∘fb
为证同态只需证明fa ∗b=fa∘fb ∀x∈S, fa ∗b(x)= (a ∗b)*x= a ∗b*x fa∘fb(x)=fa(fb(x))=fa(b*x)=a*(b*x)= a ∗b*x
独异点的表示定理
定理4 设V=<S,*,e>为独异点,则存在T⊆SS, 使得 <S,*,e>同构于<T,◦,IS>
证:令 ϕ:S→SS, ϕ(a) = fa, 则 ϕ(a*b) = ϕ(a)◦ϕ(b)
ϕ(e) = fe = IS, ϕ为独异点V 到<SS,◦,IS>的同态 ϕ(a) = ϕ(b) ⇒ fa= fb ⇒ ∀x∈S(a*x=b*x) ⇒ a*e = b*e ⇒ a=b , ϕ为单射 令T=ϕ(S),则T⊆SS, 且ϕ:S→T 为双射, <S,*,e>≅<T,∘,IS>
16.半群与独异点
![16.半群与独异点](https://img.taocdn.com/s3/m/65363a1f11661ed9ad51f01dc281e53a58025110.png)
16.半群与独异点1)在R中定义二元运算:* ,a*b=a+b+ab,对于任意a,b 属于 R,证明1)是半群2)是独异点1)证明:对于任意 a,b,c属于R(a*b)*c=(a+b+ab)*c=a+b+ab+c+(a+b+ab)c=a+b+c+ab+ac +bc+abca*(b*c)=a*(b+c+bc)=a+b+c+bc+a(b+c+bc)=a+b+c+ab+ac +bc+abc得:(a*b)*c=a*(b*c)所以是半群2)证明:当e=0,那么对于任意 a属于Re*a=0+a+0xb=aa*e=a +0 +b x0=a所以e是该半群的单位元,所以是独异点。
2)设V=是半群,若存在a∈S,使得对于任意的x∈S,有u,v∈S,满足a*u=v*a=x证明V是独异点证明:由题设可知,存在u_0和v_0,使得:a*u_0=v_0*a=a现证明u_0为右单位元:对任意的x∈S,有v∈S,满足x = v*a= v*a*u_0= x*u_0故得,u_0为右单位元。
同理可证v_0为左单位元。
由单位元的性质知 u_0=v_0=e 为单位元。
3 S={a,b,c},*是S上的二元运算,且x*y=x ,对于x,y∈S1. 证明是半群2. 将扩充为一个独异点证明 (x*y)*z=x*z=xx*(y*z)=x*y=x,所以是半群(2)任取e不属于S。
令W = S∪{e},且定义W上的二元运算*1 如下:任意x,y∈S,x *1 y = x;任意x∈S,x *1 e = e *1 x = x;e *1 e = e;则是独异点。
4, V=是半群,a,b,c属于S,若a和c是可交换的,b和c也是可交换的,证明a*b 和c也是可交换的证明 (a*b)*c=a*(b*c)=a*(c*b)=(a*c)*b=(c*a)*b=c*(a*b)得证5 设V=<{a,a},*>是半群,且a*a=b,证明 1)a*b=b*a 2)b*b=b证明1) a*a=b => (a*a)*a=b*a =>a*(a*a)=b*aè a*b=b*a2)当a*b=a,b*b=a*a*b=a*(a*b)=a*a=b 得证当a*b=b, b*b=(a*a)*(a*a)=a*(a*a)*a=(a*b)*a=b*a=b得证6.设V=是半群,任取a=!b,则有a*b=!b*a,证明1)任取a∈S, 有a*a=a证明如果 a*a=c,c=!a,那么 c*a=a*a*a=c*a矛盾2)对于任意a,b,c ∈S,那么a*b*a=a证明如果a*b*a=c,c=!a,那么c*a=a*b*a*a=a*b*a a*c=a*a*b*a=a*b*a,所以a*c=c*a矛盾3) 对于任意a,b,c ∈S,那么a*b*c=a*c证明:c*a*b*c=càa*c*a*b*c=a*cè(a*c*a)*b*c=a*c ->a*b*c=a*c7. V=是可交换半群,若a,b ∈S是V中得幂等元,证明a*b也是V 中的幂等元证明:(a*b)*(a*b)=(b*a)*(a*b)=b*(a*a)*b=b*a*b=(b*a)*b=(a*b)*b=a*(b *b)=a*b8.设V=是半群,e∈S是一个左零元,证明对于任意x∈S,x*e也是一个左零元证明:任意y∈S,(x*e)*y=x*(e*y)=x*e 得证9,证明每个有限半群都有幂等元证明: 任取b∈S 则b,b^2,…皆属于 S,而S是有限的,必存在k>j,b^j=b^k令p=k-j>=1 ,b^k=b^j*b^p=b^k*b^p 从而对于q>k恒有b^q=b^q*b^p因为 p>=1,故存在正整数 n使得np>k,于是b^np=b^np*b^p=(b^np*b^p)*b^p=…=b^np*b^n p.取 a=b^bp, a^2=a10.V= 其中*表示模4乘法,找出V的所有子半群,并说明哪些子半群是V的子独异点。
半群和独异点
![半群和独异点](https://img.taocdn.com/s3/m/4d707dcd0242a8956bece497.png)
(a)<N,+,0>; (b)<{a,b,c,d},*>,*的运算表如下表所示。
『定理』设<S,*>是一个半群,如果S是一
个有限集,则必存在a∈S,使得a*a=a。
证明:设|S|=n,因为<S,*>是半群,任取b∈S,由运
算*的封闭性以及S为有限集知
b, b*b=b2, b*b*b=b3,…,bn,bn+1∈S
2019/11/12
ቤተ መጻሕፍቲ ባይዱ
n+1
根据抽屉原理,必有两个元素相等,不妨设为
6.6半群与独异点
【例题1】
设集合Sk={x| x∈I, x≥k},其中I是整数集合,k∈I,
且k ≥1,+是普通加法运算。证明<Sk,+>是一个半 群。
证明:因为+运算在Sk上封闭的和可结合的,所 以<Sk ,+>是半群。 考虑:如果k ≥ 0呢?如果k ≥ -1呢?
yuliang@
2
2019/11/12
6.6半群与独异点
【例题2】
设I+是正整数集合,R是实数集合,R+和R-分别
表示正实数和负实数集合。问< I+,->、< R+, ·>、 < R-, ·>和<R, ÷>都是半群吗?为什么?
解答: < R+, ·>满足半群的定义,它是半群。
< I+,->、 < R-, ·>、 <R, ÷>的运算不封闭,因此
2019/11/12
6.6半群和独异点
半群:一个代数系统<S,*>,其中S是非空 集合,*是S上一个二元运算,如果满足: 运算*是封闭的;
离散数学 半群和独异点、群与子群
![离散数学 半群和独异点、群与子群](https://img.taocdn.com/s3/m/a9189721d15abe23492f4d94.png)
两行或两列都是不相同的。 证明 设S中关于运算*的幺元是e。因为a,bS且a≠b,总有
e*a=a≠b=e*b 和 a*e=a≠b=b*e 所以,在*的运算表中任何两行或两列都是不相同的。
定理
设<S, * >是独异点,对于任意a,b∈S,且a,b均有逆元,则 1) (a-1)-1=a 2) a * b有逆元,且(a * b)-1=b-1 * a-1
则称代数系统 <S,*>为半群。
例 设集合Sk={x|x ∈I ∧ x≥k},k≥0,那么<Sk,+>是一个
半群吗?(其中+是普通加法运算) 分析 因为加法运算在Sk上是封闭的,并且该运算可结合,
所以<Sk,+>是一个半群。 注意 若k<0,则运算+在Sk上是不封闭的。
? 代数系统<I+,->是半群吗?<R,/>呢?
定理 设<S,*>是一个半群,如果S是一个有限集,则必有
a∈S,使得a*a=a。
证明
因为<S,*>是一个半群。对于bS ,由*的封闭性可知 b*bS,记b2=b*b b2*b=b*b2S,记b3=b2*b=b*b2
……
由于S是有限集,所以必存在 j>i,使得bi=bj 令p=j-i,有bi=bp*bi,所以对q≥i,有bq=bp*bq 因为p≥1,所以总可以找到k≥1,使得kp≥i 就有bkp= bp*bkp
构成群,则称 <S,*>是<G,*>的一个子群。
定理 设<G,*>是一个群, <S,*>是<G,*>的一个子群,那末, <G,*>中的幺元 e 必定也是<S,*>中的幺元。
离散数学 ch6.1半群与单元半群
![离散数学 ch6.1半群与单元半群](https://img.taocdn.com/s3/m/fb2bde5b3b3567ec102d8a6d.png)
练习5-2
1 判断下述论断正确与否,在相应的括号中键入“Y”或“N”, (1)在实数集R上定义二元运算 为:对于任意的 a,b ∈R a*b=a+b+ab (a) (R ; )是一个代数系统; (b) (R ; )是一个半群; ( Y ) ( Y)
(c) (R ; )是一个独异点。 ( Y ) (2) 在实数集R上定义二元运算为,对任意 a, b ∈ R , a b=|a|· b(其中· 表示通常数的乘法运算)
例如: 判断(I,+),(R,+) ,(P(E), ), (R,×) 及(P(E), ∩)是否为群?请说明理由。 解:(I,+),(R,+)幺元是 0,每个x的逆元是 -x 。 (P(E), )幺元是Φ ,因任何X∈P(E) XX=Φ ∴X-1=X, ∴(I,+),(R,+),(P(E), )是群。 而 (R,×) ,(P(E), ∩)都有幺元,但不是群。
(a) (R ; )是一个代数系统; (b) (R ; )是一个半群; ( Y ) ( Y ) ( N )
(c) (R ; )是一个独异点。
6-2.1 群 Group
群是抽象代数中最重要的,所以对它的研究也比较多。 一. 概念 半群: 1.群的定义:设(G, * )是个
封闭
代数系统,如果*满足 独异点: 结合 有幺元 可结合、有幺元且每个元素 群 可逆,则称它是个群。 可逆 即群定义: 设(G, * )是代数系统, (1) (a * b)* c=a * (b * c) (结合律) (2)幺元 e∈S, (有幺元) (3)任何a∈S 有a-1∈S, (可逆) 则称(G, * )是个群。
运算由下表定义,容易验证 a b a q p 运算满足结合律,如 b b b a (b p)= a b= p p p p q a b (a b ) p= p p= p, 同理结合律对于任意三个元素都成立
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
9
作业:P187 1, 7, 8, 9, 12, 13
10
2
半群和独异点
定义 3 :如果〈S, *〉是半群,T ⊆S且关于运算*封闭, 那
么〈T, *〉是〈S, *〉的子代数, 称〈T, * 〉为 〈S, * 〉的子半群。 如 〈[0,1], * 〉,〈N, * 〉都是〈R, * 〉的子半群.
定理1:子半群是半群。 证: 子半群是子代数, 关于运算*封闭, 结合律是继承的,
6.6 半群和独异点
定义1:设有代数系统〈S, *〉,这里*是S上可结合的二元运 算, 则称〈S, *〉为半群。(2点) 例1:判断下列给出的代数是不是半群。 ① 〈E,+〉和〈E, *〉,E为正偶数集{2,4,6,…} ; √ ② 〈S,*〉,其中S是不同高度的人的集合,a*b表示a,b 中较高者; √ ×(÷不可结合) ③ 〈 R+, ·〉 √ 〈 R+, ÷〉 ④ 设k≥0, SK={x| x∈I ∧x ≥k} ,〈 SK,+〉; √ ×(+在SK上不封闭) 若 k<0, 〈 SK,+〉; ⑤ 〈S,*〉,S={a,b},S上的二元运算*的运算表如下图:
√
1
半群和独异点
定义2:若半群〈S, *〉对运算*有么元,则称该半群为含么 半群, 也称独异点。 (3点) 例2:判断下列给出的代数是不是独异点。 ① 〈E,+〉和〈E, *〉,E为正偶数集{2,4,6,…} ; × ② 〈S,*〉,其中S是不同高度的人的集合,a*b表示a,b 中较高者; √,么元为最矮的人 ③ 〈 R+, ·〉 √ 〈 R+, ÷〉 × ④ 〈 {Rn|n∈N}, 合成运算, R0 〉,其中R是S上的二元 关系 ; √
所以是半群。 证毕。
3
半群和独异点
定义4:如果〈S,*,1〉是独异点。T ⊆S , 且关于运算*封
闭, 1∈T, 那么〈T ,* ,1〉是〈S ,* ,1〉的子代 数,称〈T,*,1〉是〈S ,* ,1〉的子独异点。
如 〈N, *,1 〉就是〈R, *,1 〉的子独异点.
定理 2: 子独异点是独异点。
证:
子独异点是子代数,关于运算 * 封闭, 含有么元, 结合律是继承的, 所以是独异点。 证毕。 群,但半群不一定是独异点。但可通过 添加新元素将半群变为独异点,如半群〈[0,1), * 〉 添加么元1可变为独异点〈[0,1], * ,1〉。 定理3:独异点〈S, * 〉中,运算*的运算表没有两行和两 列是相同的。 证:设S是有限集{e,a1,a2…an},对任何ai,aj∈S,若ai≠aj 则e * ai ≠e * aj ,所以任意两列都不相同。 又因为 ai * e ≠ aj * e ,所以任意两行都不相同。
5
半群和独异点
定义 5:在半群(独异点)中, 若运算是可交换的, 则称此半 群(独异点)为可交换半群(可交换独异点)。 定理 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〉是子独异点。证毕。 本定理对可交换半群也成立。
8
半群和独异点
定理5: 每个循环独异点都是可交换的。 证: 设〈S, *, e〉是循环独异点, 其生成元是g, 对任意a、 b∈S, 存在m、n∈N, 使a=gm和b=gn, 因此
a b g m g n g m n g n m g n g m b a
(2)
7
半群和独异点
定义6: 在独异点〈S, *, e〉中, 如果存在一个元素g∈S, 使每一元素a∈S, 都有一个相应的h∈N能把a写成 gh, 即a= gh ,则称此独异点为循环独异点。并称元素g 是此循环独异点的生成元, 又可说此循环独异点是由 g生成的。 例3:① 〈N,+,0〉 是循环独异点,生成元是1,因为任取i ∈N,当 i=0 时,0= 10 ; i≠0时,有 i= 1i 。 ② 是循环独异点,生成元为b,c 1= b0,a= b2, b= b1,c= b3 ; 1= c0,a= c2, b= c3,c= c1 .
6
半群和独异点
下面我们定义独异点〈S, *, e〉中任意元素a的幂。 用归纳定义: (1) (基础) a0 = e (2) (归纳) an+1 = an* a(n∈N) 由于独异点中, 运算*是可结合的, 容易证明如此定义 的a的幂满足以下指数定律: (1)
ai a j ai j ( a i ) j a i j (i , j N ) (i , j N )