离散数学半群与群
离散数学 群与半群
![离散数学 群与半群](https://img.taocdn.com/s3/m/28e48f0fec630b1c59eef8c75fbfc77da2699763.png)
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可以不是 唯一的。
半群和群的关系
![半群和群的关系](https://img.taocdn.com/s3/m/ee80380b2f3f5727a5e9856a561252d380eb20ac.png)
半群和群的关系
半群的本质就是一个集合对上面的2元运算满足结合律(说白了就是封闭+结合);
而群不仅有结合律,还要求含幺+每个元有逆,定义的条件要强得多了。
任何群都是半群,但任何半群都可以(同构的角度上来说是唯一的)“嵌入”到一个对应的群里面.
群的应用到处都是,代数中,几何中,拓扑中,函数论中,应用数学包括物理中,......太多了。
而半群的正式研究比其他起步于十九世纪中期的代数结构如群或环要晚一些。
,开始于二十世纪早期。
自从1950年代,有限半群的研究在理论计算机科学中变得特别重要,因为在有限半群和有限自动机之间有自然的联系。
有限半群理论比它的无限对应者要更加发达。
这特别根源于语法半群概念,和继而在半群的伪品种和已经被证明在自动机理论中特别多产的所谓的形式语言品种之间的联系。
【离散数学】知识点及典型例题整理
![【离散数学】知识点及典型例题整理](https://img.taocdn.com/s3/m/4fbb60b76bec0975f565e219.png)
【半群】G非空,·为G上的二元代数运算,满足结合律。
【群】(非空,封闭,结合律,单位元,逆元)恰有一个元素1适合1·a=a·1=a,恰有一个元素a-1适合a·a-1=a-1·a=1。
【Abel群/交换群】·适合交换律。
可能不只有两个元素适合x2=1【置换】n元置换的全体作成的集合Sn对置换的乘法作成n 次对称群。
【子群】按照G中的乘法运算·,子集H仍是一个群。
单位子群{1}和G称为平凡子群。
【循环群】G可以由它的某元素a生成,即G=(a)。
a所有幂的集合an,n=0,±1,±2,…做成G的一个子群,由a生成的子群。
若G的元数是一个质数,则G必是循环群。
n元循环群(a)中,元素ak是(a)的生成元的充要条件是(n,k)=1。
共有ϕ(n)个。
【三次对称群】{I(12)(13)(23)(123)(132)}【陪集】a,b∈G,若有h∈H,使得a =bh,则称a合同于b(右模H),a≡b(右mod H)。
H有限,则H的任意右陪集aH的元数皆等于H的元数。
任意两个右陪集aH和bH或者相等或者不相交。
求右陪集:H本身是一个;任取a∉H而求aH又得到一个;任取b∉H∪aH而求bH又一个。
G=H∪aH∪bH∪…【正规子群】G中任意g,gH=Hg。
(H=gHg-1对任意g∈G都成立)Lagrange定理G为有限群,则任意子群H的元数整除群G的元数。
1有限群G的元数除以H的元数所得的商,记为(G:H),叫做H在G中的指数,H的指数也就是H的右(左)陪集的个数。
2设G为有限群,元数为n,对任意a∈G,有an=1。
3若H在G中的指数是2,则H必然是G的正规子群。
证明:此时对H的左陪集aH,右陪集Ha,都是G中元去掉H的所余部分。
故Ha=aH。
4G的任意多个子群的交集是G的子群。
并且,G的任意多个正规子群的交集仍是G的正规子群。
5 H是G的子群。
离散数学 半群与含幺半群(独异点)
![离散数学 半群与含幺半群(独异点)](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/f46320c459eef8c75fbfb3dd.png)
第6章 群论
定理6.1 一个半群(S,),如果它有一个子代 数 (M, ) ,则此子代数也是一个半群。
定义6.2 一个半群(S,)的子代数 (M, )也是 半群,称为(S,)的子半群。
第6章 群论
一个半群(S,)中的元素a ,可定义它的幂: a1=a , a2=a a , …,an+1=an a
第6章 群论
定理6.5 一个单位半群(S,),如果存在一个
子代数 (M, ) ,且其单位元 e ∈M,则 (M, )
也是一个单位半群。
定义6.5 一个单位半群(S,),如果存在一个
子代数 (M, ) ,且其单位元 e ∈M,则 (M, )
也是一个单位半群,称为(S,)的子单位半群 。
Hale Waihona Puke 第6章 群论定义6.5 :一个单位半群(S,)如果由它的一个 元素a 所生成,则称为由 a 所生成的循环单位半 群,元素 a 称为此单位半群的生成元素。
定理6.6 :一个循环单位半群是一个可换单位半 群。
第6章 群论
6.2 群
一、群与群的同构 1、群的有关定义
定义6.7 如果代数系统(G, )满足 (1) (G, )为一半群; (2) (G, )中有单位元e; (3) (G,)中每一元素a∈G都有逆元 a-1 则称代数系统(G, )为群。
第6章 群论
第六章 群论 6.1 半群与单元半群 6.2 群
第6章 群论
群在代码的查错、改错的研究,自动机理论等 方面都有应用。
第6章 群论
6.1 半群与单元半群
半群与群都是具有一个二元运算的代数系 统,群是半群的特殊例子。事实上,群是历史 上最早研究的代数系统,它比半群复杂一些, 而半群概念是在群的理论发展之后才引进的。 逻辑关系见图6.1.1。
离散数学课件-第十一章节半群与群
![离散数学课件-第十一章节半群与群](https://img.taocdn.com/s3/m/cff0cf640166f5335a8102d276a20029bd646322.png)
半群与群在其他领域的应用
经济学
半群与群的概念在经济模型中用于描述市场交易 和供需关系,特别是在博弈论和经济计量学中。
社会学
群的概念在社会学中用于描述社会结构和群体行 为,例如在人类学和社会网络分析中。
语言学
群的概念在语言学中用于描述语言的语法和词法 结构,特别是在形式语言学和句法分析中。
05
习题与解答01Βιβλιοθήκη 020304
封闭性
群的二元运算是封闭的,即对 任意的a、b属于群,运算结
果仍属于群。
结合律
群的二元运算是满足结合律的 ,即(a*b)*c=a*(b*c)。
单位元存在
群中存在一个单位元e,使得 对任意的a属于群,都有 e*a=a*e=a。
逆元存在
对任意的a属于群,都存在唯 一的逆元a',使得a*a'=e,
在S上的二元运算。
群是一个有序对(G,*),其中G 是一个非空集合,*是一个在 G上的二元运算,满足封闭性、
结合性和存在单位元。
半群没有单位元,而群有; 半群的运算不满足结合律,
而群的运算满足结合律。
一个具体的半群的实例是自然数 集N和加法运算;一个具体的群 的实例是矩阵集合M和乘法运算 ,其中M是一个有限维线性空间 的可逆矩阵组成的集合,满足封 闭性、结合性和存在单位元。
第十一章节半群与群的习题
01
02
03
04
1. 什么是半群?请给出 其定义。
2. 什么是群?请给出其 定义。
3. 半群和群有哪些主要 区别?
4. 请举例说明一个具体 的半群和群的实例。
习题答案及解析
1. 半群的定义
2. 群的定义
3. 主要区别
离散数学半群【实用资料】
![离散数学半群【实用资料】](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所在列也不同。
6.2-群的定义(离散数学)
![6.2-群的定义(离散数学)](https://img.taocdn.com/s3/m/6b9ffe0e52ea551810a68787.png)
理解群的定义
例.群中消去律一定成立。 群中消去律一定成立。 证明: 是群, 证明:设(G, *)是群,其单位元是 , 是群 其单位元是1, 对于G中任意三个元素 中任意三个元素a, , , 对于 中任意三个元素 ,b,c, (1)若 a * b = a * c,则 ) , a-1 * (a * b) = a-1 *( a * c),即 , (a-1 * a) * b =(a-1 * a) * c,亦即 , 1 * b =1 * c, , 故b = c。 。 (2)同理可证:若 b * a = c * a,则b = c )同理可证: ,
6.2.2 群 -- 群的定义
如果满足下面条件: 设(G, )为半群,如果满足下面条件: , ) (1) 有壹(单位元):G中有一个元素 ,适合 有壹(单位元) 中有一个元素1, 中有一个元素 对于G中任意元素 都有1a 中任意元素a, 对于 中任意元素 ,都有 = a1 = a; (2) 有逆:对于G中任意 ,都可找到G中一个 对于 中任意a,都可找到 中一个 中任意 元素a 满足aa 元素 -1,满足 -1 = a-1a = 1, , 则称(G, )为群。 则称( , )为群。 如果群G包含的元素个数有限,则称 为 如果群 包含的元素个数有限,则称G为有 包含的元素个数有限 限群,否则称G为无限群。 否则称 为
6.2.2 群 -- 群的例
为自然数集, 设N为自然数集,规定 上的运算“⊙”如 为自然数集 规定N 上的运算“ 下:a ⊙ b = a + b + ab。 。 已证: 为半群。 已证:(N, ⊙)为半群。 , 不是群。 但(N, ⊙)不是群。 , 反证:若不然, 是群, 反证:若不然, (N, ⊙)是群,则一定有 , 单位元素,设为e 则对N中任意元素a 单位元素,设为e,则对N中任意元素a,都有 e ⊙ a = a,即e + a + ea = a, a 因此,e=0 矛盾。因此, 因此 , e=0 , 但 0N , 矛盾 。 因此 , ( N, ⊙ ) , 无单位元素,故不是群。 无单位元素,故不是群。
离散数学第六章
![离散数学第六章](https://img.taocdn.com/s3/m/9271e71c10a6f524ccbf85a5.png)
6.1.6 循环群和置换群
§循环群 在循环群G=<a>中, 生成元a的阶与群G的阶是一样 的. 如果a是有限阶元, |a|=n, 则称G为n阶循环群. 如 果a是无限阶元, 则称G为无限阶循环群. 例如: <Z,+>是无限阶循环群; <Z6,>是n阶循环群. 注意:(1) 对9 无限阶循环群G=<a>, G的生成元是a和a-1; (2) 对n阶循环群G=<a>=<e,a,…,an-1>,G的生成元是at 当且仅当t与n互素, 如12阶循环群中, 与12互素的数 有1、5、7、11. 那么G的生成元有a1=a、a5、a7、 a11. (3) N阶循环群G=<a>, 对于n的每个正因子d, G恰好有 一个d阶子群H=<an/d>.
6.1.3 子群
例如, 群<Z6,>中由2生成的子群包含2的各次 幂, 20=e=0, 21=2, 22=22=4, 23=222=0, 所 以由2生成的子群:<2>={0,2,4}.
对于Klein四元群G={e,a,b,c}来说, 由它的每个 元素生成的子群是 <e>={e}, <a>={e,a}, <b>={e,b}, <c>={e,c}
6.1.6 循环群和置换群
§循环群
定义6.7 在群G中, 如果存在aG使得 G={ak|kZ} 则称G为循环群, 记作G=<a>,称a为G的生成元. ☆ 循环群必定是阿贝尔群, 但阿贝尔群不一定 是循环群. 证明: 设<G,*>是一个循环群, 它的生成元是a, 那么,对于任意x,yG, 必有r,sZ, 使得 x=as,y=at, 而且x*y=as*at=as+t=at*as=y*x 由此可见<G,*>是一个阿贝尔群. 例如,<Z,+>是一个循环群, 其生成元是1或-1.
离散数学讲解第五章
![离散数学讲解第五章](https://img.taocdn.com/s3/m/e70a70e55fbfc77da369b102.png)
2018/12/20
20
例5 *
e a b c
设G= {a,b,c,e}, * 是G上的二元运算, e
e a b c
a
a e c b
b
b c e a
c
c b a e
a*=b*a=c,
b*c=c*b=a, a*c=c*a=b <G;*>是一阿贝尔群,但它不
是循环群,一般称这个群为
2018/12/20 2
例3 设S={|是集合A上的关系},对于关系的复合运 算可构成代数系统 <S; >,<S;>是半群。
若F={f |f :AA},则对于函数的复合运算,代
数系统<F;>也是半群。 对任意 a∈S ,定义 an+1=an*a a1=a (n=1,2,……) (* )
例7 对于半群 <S;*>的任一元素a S ,令集合 T={a,a2,a3,…}
<T;*>是<S;*>的子半群。
2018/12/20 6
定义5-6 设<S;*>是一独异点,若<T;* >是<S;*>的子代
数,且单位元 e T,则称<T;*>是<S;*>的子独 异点。 例8 对于独异点<Z;+ > , 子集N2, N3, N4, … ,它们均不 能构成<Z;+>的子独异点, 令Z2={2n|nZ}, Z3={3n|nZ}, Z4={4n|nZ} 则<Z2 ;+ >, <Z3 ;+ >, <Z4 ;+ >都是 <Z ;+>的子独异点。
离散数学第六章
![离散数学第六章](https://img.taocdn.com/s3/m/33d50d4b3a3567ec102de2bd960590c69ec3d8e6.png)
第六章几个典型的代数系统6.1 半群与群引言:简略介绍群论产生的背景1. 图形的对称性如正三角形、正方形(一般地正n 边形)、长方形、 等腰三角形、等腰梯形等;三维空间中的正四面体、 正方体、长方体等都各有自己的对称性。
画图解释:2.用根式求解代数方程的根(1)一元二次方程:20x bx c ++=⇒122b x -±=,。
注:①约公元前2000年即出现二次方程求根问题; ②约公元9世纪时,阿拉伯人花拉子米首次得到上述求根公式。
(2)三次及四次方程的求根公式一般三次方程: 320x ax bx c +++=。
先作变换:用3a x -代替x 后可化成 3x mx n +=(不含二次项), (*)其中 332,3327a ab a m b n c =-=--。
利用恒等式:333()3()u v uv u v u v -+-=-,把它与(*)比较得:33,3,x u v uv m u v n =-=-=。
由后面两个关于33,u v 的方程可得u x u v v ⎫⎪=⎪⇒=-= (即*方程的解) 以上求解三次方程的公式叫做卡丹公式, 出现在公元1545年出版的著作《大书》中。
关于四次方程的求根公式这里从略,可以肯定的是, 四次一般方程也有求根公式,并且也叫卡丹公式。
(3从1545年之后的近300年间,人们都没能找到五次(当然,这并不排除对 某些特殊的五次及五次以上的方程可以求出它们的根)。
直到1830年由法国人Galois (伽珞瓦)解决,证明出:五次及五次以上的一般方程不存在用加、减、乘、除及开方表示的求根公式,所用方法就是现在已广为接受的群的思想。
可是在当时,很多同时代的大数学家都无法理解和接受他的思想方法。
3.群在其它方面的应用:如编码理论、计算机等。
一.群的定义及简单性质1定义:设,G ⋅是一个具有二元运算⋅的代数系统,如果⋅同时满足(1)结合律:即,,a b c G ∀∈,()()a b c a b c ⋅⋅=⋅⋅总成立;(2)存在单位元(也称为幺元,记为e ),即 ,;a e e a a a G ⋅=⋅=∀∈(3)中每个元素a 都有逆元(记为1a -):即存在1a G -∈,使得11a a a a e --⋅=⋅=,则称G 关于运算⋅构成一个群。
离散数学 第四章 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/37d1a72f192e45361166f501.png)
(a ) a
nm
6.2.4 循环群
循环群:若一个群 (G ,) 的每一个元素均是它 的某一个固定元素a的某次方幂。
生成元
周期:设(G ,)是一个群,a∈G若存在m,使得
* e 0 1 e e 0 1 0 0 0 0 1 1 0 1
说明({0,1},*)不是(S,*)的子单元半群。
单 位 元?
解:在(S,*)中e*e= e*e= e e*1= 1*e=1 e是单位元。
e*0= 0*e=0
半群与单元半群
3.可换(单元)半群:一个(单元)
半群,如果其运算又满足交换律。
+4 [0] [1] [2] [3]
[0] [0] [1] [2] [3]
[1] [1] [2] [3] [0]
[2] [2] [3] [0] [1]
[3] [3] [0] [1] [2]
[i]+4[j]=[(i+j)mod4]
群-练习
在整数集合I上,定义二元运算为 a◦b=a+b-2 群?
代数系 统
生成集
半群与单元半群
半群的性质:
一个循环半群一定是可换半群
一个半群的任一元素a和它所有的幂
组成一个由a生成的循环子半群。
单元半群性质
☺一个有可列个元素的单元半群的运算组合表
的每行(列)内容均不相等; 例 设M={1,a,b,c,d,……},(M,◦)是半群 ◦ 1 a b c d . . 1 1 a b c d a b c d …. a b c d …. …. …. …. ….
6.2.2 变换群
一个函数f:XX中,如果是一一对应函数,则此 函数称为X的变换。
例 设S={1,2}
离散数学-11半群与群-2(课件模板)
![离散数学-11半群与群-2(课件模板)](https://img.taocdn.com/s3/m/009cab2ec281e53a5902ff04.png)
子群实例—中心
例11.13 设G为群,令C是与G中所有的元素都可交换的元素构成的 集合,即 C={a|a∈G∧x∈G(ax=xa)} 则C是G的子群,称为G的中心。 证明:由e与G中所有元素的交换性可知,e∈C。C是G的非空子集。 任取a,b∈C,为证明ab-1∈C,只需证明ab-1与G中所有的元素都 可交换。x∈G,有 (ab-1)x =ab-1x =ab-1(x-1)-1 =a(x-1b)-1 =a(bx-1)-1 =a(xb-1) =(ax)b-1 =(xa)b-1 =x(ab-1) 由判定定理二可知,C≤G。
同时有
Hf5={f1f5,f2f5}={f5,f3}
可以看出 f3∈Hf5,所以 Hf3=Hf5。 f3f5-1=f3f6=f2∈H
定理11.10
定理11.10 设H是群G的子群,在G上定义二元关系R:a,b∈G, <a,b>∈R ab-1∈H
则R是G上的等价关系,且[a]R=Ha。
h∈H∧hK
这就推出 hkH。
并且
k∈K∧kH
若不然,由h-1∈H可得 k=h-1(hk)∈H,与假设矛盾。
同理可证,hkK。
从而得到 hkH∪K。 这与H∪K是子群矛盾。
如何找到有限群的全部子群
第0层:{e}是G的平凡子群,也是最小的子群,放在第0层。 第1层:任取aG,ae,则<a>是a由生成的子群。
陪集的基本性质
定理11.8 设H是群G的子群,则
(1) He=H。
(2) a∈G有 a∈Ha。 证明: (1) He ={he|h∈H} ={h|h∈H} =H (2) 任取a∈G,由a=ea和ea∈Ha 得a∈Ha。
定理11.9
定理11.9 设H是群G的子群,则a,b∈G 有 a∈Hb ab-1∈H Ha=Hb 证明:先证 a∈Hb ab-1∈H。 a∈Hb h(h∈H∧a=hb) h(h∈H∧ab-1=h) ab-1∈H
离散数学 半群和独异点、群与子群
![离散数学 半群和独异点、群与子群](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,*>中的幺元。
离散数学第10章——半群与群
![离散数学第10章——半群与群](https://img.taocdn.com/s3/m/76c68bee9b89680203d8256c.png)
e a b c
e e a b c
a a e c b
b c b c c b e a a e
特征: 1. 满足交换律 2. 每个元素都是自己的逆元 3. a, b, c中任何两个元素运算结 果都等于剩下的第三个元素
二、群的定义、术语、实例
定义10.2 (1) 若群G是有穷集,则称G是有限群,否则称为无 限群. (2) 只含单位元的群称为平凡群. (3) 若群G中的二元运算是可交换的,则称G为交换 群或阿贝尔 (Abel) 群.
方法:根据定义验证,注意运算的封闭性
2. 设V1= <Z, +>, V2 = <Z, >,其中Z为整数集合, + 和 分别代表普通加法和乘法. 判断下述集合S 是否构成V1和V2的子半群和子独异点. (1) S= {2k | kZ} (2) S= {2k+1 | kZ} (3) S= {1, 0, 1}
定义10.4 设G是群,a∈G,使得等式 ak=e 成立的最
小正整数k 称为a 的阶,记作|a|=k,称 a 为 k 阶元.
若不存在这样的正整数 k,则称 a 为无限阶元. 例如,在<Z6,>中, 2和4是3阶元, 3是2阶元, 1和5是6阶元, 0是1阶元. 在<Z,+>中,0是1阶元,其它整数的阶都不存在.
(3) 集合的幂集P(B)关于集合的对称差运算和交运算 构成环. (4) 设Zn={0,1, ... , n-1},和分别表示模n的加 法和乘 法,则<Zn,,>构成环,称为模 n的整数 环.
定义10.13 设<R,+,· >是环
(1) 若环中乘法 · 适合交换律,则称R是交换环 (2) 若环中乘法 · 存在单位元,则称R是含幺环 (3) 若a,b∈R,ab=0 a=0∨b=0,则称R是无零因 子环 (4) 若R既是交换环、含幺环、无零因子环,则称R 是整环
离散数学中半群的名词解释
![离散数学中半群的名词解释](https://img.taocdn.com/s3/m/e6f8b673f011f18583d049649b6648d7c1c708d7.png)
离散数学中半群的名词解释在离散数学中,半群是一个具有特定运算的数学结构。
半群由一个集合以及一个满足封闭性和结合律的二元运算组成。
相比于群,半群不一定要求存在单位元和逆元。
首先,让我们来了解半群的基本定义。
设S是一个集合,*是S上的一个二元运算,满足对于任意a、b、c ∈ S,有(a * b) * c = a * (b * c)。
这个性质被称为结合律。
需要强调的是,半群中的运算不一定满足交换律,即a * b ≠ b * a。
为了更好地理解半群的概念,我们可以通过具体的例子说明。
考虑自然数集合N上的加法运算,即+。
N上的加法运算满足封闭性(即对于任意的自然数a和b,a + b仍然是自然数),且满足结合律。
因此,N上的加法构成了一个半群。
此外,还可以有其他例子,如整数集合Z上的加法运算、非负实数集合R+上的乘法运算等等。
不同半群的特性取决于所取的集合和二元运算。
通过研究半群的性质,我们可以了解到许多与离散数学和计算机科学相关的概念。
例如,半群的幂运算(如自然数集合N上的乘法运算)可以用于理解计算机算法中的复杂度分析。
此外,半群理论还与自动机理论、编码理论以及图论等领域有着重要的联系。
在半群的研究中,有一些重要的概念和定理。
比如,子半群是指半群中的一个非空子集,其本身也是一个半群,并且包含原半群中的二元运算。
这意味着子半群保持了原半群的结合性质。
此外,还存在着单位元和逆元的概念。
单位元是指一个元素,与其他元素进行半群运算时保持不变。
逆元是指对于半群中的每个元素a,存在一个元素b,使得a * b = b * a = e,其中e是半群中的单位元。
半群的研究旨在理解抽象代数结构中的基本性质,以及与其他数学分支的联系。
通过深入研究半群,我们可以揭示数学背后的美妙之处,并将其应用于计算机科学和其他相关领域。
对于离散数学的学习者来说,了解半群概念并掌握其基本性质是非常重要的。
综上所述,离散数学中的半群是一个由集合和二元运算组成的数学结构,满足封闭性和结合律。
离散数学 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, 同理结合律对于任意三个元素都成立
第五章 2半群
![第五章 2半群](https://img.taocdn.com/s3/m/9bfbc5cf59eef8c75ebfb369.png)
5-3 半群(Semigroups)
例5 对任意a, b∈R,规定a b= (a+b)/2,则 是半群。
证明 对于1, 2, 3∈R,有
(1 2) 3
1 2 3
3 2
3
9
2
24
1 (2 3) 1
2
3
1
5 2
7
2
24
所以 “ ” 不满足结合律。
故 R, 不是半群。
R,不
5-3 半群(Semigroups)
(6) A≠ , 2A,
逆元,所以不是群。
是半群,幺元为A,非空集合无
5-4 群与子群(Groups & Subgroups)
(7) A≠ , 2A,
是半群。 S∈2A,因为
所以幺元为 。 S S S
又因为
所以2A的每个元素以其自S身为逆S 元 。故
是群。
2 A ,
5-4 群与子群(Groups & Subgroups)
5-3 半群(Semigroups)
(a b) b = a b = a = a b =
a (b b)
(b a) a = a a = b = b b =
b (a a)
(b a) b = a b = a = b a =
b (a b)
故 b S(,b
为半(群b。b) a)
a
=
b
a
=
a
=
b
a
=
(b b) b = b b = b = b b =
(b)
(a b) (b1 a1) a (b b1) a1 a e a1 a a1 e,
(b1 a1) (a b) b1 (a1 a) b b1 e b b1 b e.
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2.群方程存在惟一解 定理11.2 G为群,∀ a,b∈G,方程ax=b 和ya=b在G中 有解且仅有惟一解. 证 a− 1b代入方程左边的x 得 a(a− 1b) = (aa− 1)b = eb = b 所以a− 1b是该方程的解. 下面证明惟一性. 假设c是方程ax=b的解,必有ac=b,从而有 −1 −1 −1 c = ec = (a a)c = a (ac) = a b 同理可证b a− 1是方程ya=b的惟一解. 例 设群G=<P({a,b}),⊕>,其中⊕为对称差. 解下列 群方程: {a}⊕X=∅,Y⊕{a,b}={b} −1 −1 解 X={a} ⊕ ∅ ={a} ⊕ ∅ ={a} , Y={b} ⊕ {a,b} ={b} ⊕ {a,b}={a} 15
6
五、半群与独异点的同态映射
1.定义 定义11.3 (1) 1=<S1,◦>, V2=<S2,∗>是半群, S1→S2. 设V ϕ: 若对任意x,y∈S1 有 ϕ (x◦y)= ϕ (x)∗ ϕ (y) 则称ϕ为半群V1到V2的同态映射,简称同态. (2) 设V1=<S1,◦,e1>,V2=<S2,∗,e2>是独异点, S1→S2. ϕ: 若对任意x, y∈S1有 ϕ (x◦y)= ϕ (x)∗ ϕ (y) 且 ϕ (e1)= e2, 则称 ϕ 为独异点 V1 到 V2 的同态映射,简称同态.
第十一章 半群与群 第一节 半群与独异点
一、半群与独异点的定义
1.定义11.1 (1)设V=<S,◦>是代数系统,◦为二元运算,如果◦运算 是可结合的,则称V 为半群. (2)设 V=<S,◦>是半群,若 e∈S 是关于◦运算的单位元, 则称 V 是含幺半群, 也叫做独异点. 有时也将独异点 V 记 作 V=<S,◦,e>.
21
−1
定理11.7 (判定定理三) 设G为群,H是G的非空有穷子集,则H是G的子群当且 仅当∀ a,b∈H 有ab∈H. 证 必要性显然. 为证充分性, 只需证明a∈H有a− 1∈H. 任取a∈H, 若a = e, 则a− 1 = e∈H. 若a≠e,令S={a,a ,…},则S⊆ H. 由于H 是有穷集,必有ai = aj(i<j).根据G 中的消 去律得 a
7
2.实例 设半群V1=<S,·>,独异点V2=<S,·,e>. 其中·为矩阵 乘法,e为2 阶单位矩阵,
a 0 S | a, d R 0 d
令
a 0 a 0 ( ) 0 0 , 0 d
ϕ 是半群 V1 的自同态, 不是独异点 V2 的自同态, ϕ 因为它 没有将 V2 的单位元映到 V2 的单位元.
19
二.子群的判定定理
定理11.5 (判定定理一) (1)∀ a,b∈H 有ab∈H. (2)∀ a∈H 有a ∈H. 证 必要性是显然的. 为证明充分性,只需证明e∈H. 因为 H 非空,存在 a∈H. 由条件(2)知 a− 1∈H,根据 条件(1)a a− 1∈判定定理二) 设G为群,H是G的非空子集. H是G 的子群当且仅当∀ a,b∈H 有ab− 1∈H. 证 必要性显然. 只证充分性. 因为H非空,必存在a∈H.根据给定条件得aa− 1∈H,即e ∈H. 任取a∈H, 由e,a∈H 得 ea− 1∈H,即a− 1∈H. 任取a,b∈H,知b ∈H. 再利用给定条件得 a(b− 1) − 1∈H,即ab∈H. 综合上述,可知 H 是 G 的子群.
13
二、群的性质
1.群的幂运算规则 定理11.1 设G 为群,则G 中的幂运算满足: (1)∀ a∈G,(a− 1)− 1=a. −1 −1 −1 (2)∀ a,b∈G,(ab) =b a . (3)∀ a∈G,anam=an+m,n,m∈Z. (4)∀ a∈G,(an)m=anm,n,m∈Z. (5)若G 为交换群,则(ab)n=anbn. 证(1)(a− 1)− 1 是a− 1 的逆元,a 也是a− 1 的逆元. 根 据逆元的唯一性,等式得证. −1 −1 −1 −1 −1 ( 2 ) (b a )(ab)= b (a a)b = b b = e, 同 理 (ab)( b− 1a− 1)=e,故 b− 1a− 1 是 ab 的逆元. 根据逆元的唯 一性等式得证.
18
第三节 子群
一、子群的定义
定义11.8 设G是群,H是G的非空子集,如果H关于G中 的运算构成群,则称H是G 的子群, 记作H≤G.若H是G的子 群,且H⊂ G,则称H是G的真子群,记作H<G. 例 nZ(n 是自然数)是整数加群〈Z,+〉的子群. 当 n≠1 时,nZ 是 Z 的真子群.对任何群 G 都存在子群. G 和{e}都 是 G 的子群,称为 G 的平凡子群.
4
2.实例 例 设半群V1=<S,·>,独异点V2=<S,·,e>. 其中·为 矩阵乘法,e 为2 阶 单位矩阵,
a b S | a, b, c, d R c d a 0 T | a R 0 0
1 0 则 T⊆ S,且 T 是 V1=<S,·>的子半群. 是 T 的单位 0 0
例 设G是群,a,b∈G是有限阶元. 证明 (1)|b− 1ab| = |a| (2)|ab| = |ba| 证(1)设 |a| = r,|b− 1ab| = t,则有 −1 r −1 r −1 (b ab) = b a b = b b = e 从而有t|r. 另一方面,由a = (b− 1) − 1 (b− 1ab)b− 1 可知 r|t. 从而有 −1 |b ab| = |a|. (2)设 |ab| = r,|ba| = t,则有 (ab)t+1 = a(ba)t b = ab t 由消去律得 (ab) = e,从而可知,r|t. 同理可证 t|r. 因此 |ab| = |ba|.
1
2.实例 + 例:(1)<Z ,+>,<N,+>,<Z,+>,<Q,+>,<R,+>都是半群, +是普通加法. 这些半群中除<Z+,+>外都是独异点. (2)设n 是大于1 的正整数,<Mn(R),+>和<Mn(R),·> 都是半群,也都是独异点,其中+和·分别表示矩阵加法 和矩阵乘法. (3)<P(B),⊕>为半群,也是独异点,其中⊕为集合的 对称差运算. (4)<Zn, ⊕>为半群,也是独异点,其中 Zn={0,1,…,n−1},⊕为模n加法. (5)<AA, ◦>为半群,也是独异点,其中◦为函数的复合 运算. (6)<R*,◦>为半群,其中R*为非零实数集合,◦运算定 义如下: ∀ x,y∈R*, x◦y=y 2
12
定义11.7 设G是群,a∈G,使得等式ak=e成立的最小正 整数k称为a的阶,记作|a|=k,称a为k阶元.若不存在这样 的正整数k,则称a为无限阶元. 在<Z6,⊕>中, 和4 是3 阶元, 是2 阶元, 和5 是 2 3 1 6 阶元,0 是1 阶元. 在<Z,+>中,0 是 1 阶元,其它整数的阶都不存在.
元,T 构成独异点,但不是 S 的子独异点,因为 S 的单 位元是 e. 5
四、半群与独异点的直积
定义11.2 设V1=<S1,◦ >,V2=<S2,∗>是半群(或独异点), 令S=S1×S2,定义S 上的·运算如下:∀ <a,b>,<c,d>∈S, <a,b> · <c,d> = <a◦c,b∗d> 称<S,·>为V1 和V2 的直积,记作V1×V2. 不难证明 V1×V2 是半群.若 V1 和 V2 是独异点,其单位元分 别为 e1 和 e2,则<e1,e2>是 V1×V2 中的单位元,因此 V1×V2 也是独异点.
(3) 若群 G 中的二元运算是可交换的, 则称 阿贝尔 (Abel) 群.
例: <Z,+>和<R,+>是无限群, n,⊕>是有限群, <Z 也是n 阶 群.Klein 四元群是4 阶群.<{0},+>是平凡群. n 阶(n≥2) 实可逆矩阵集合关于矩阵乘法构成的群是非交换群.
11
定义11.6 设G是群,a∈G,n∈Z,则a的n次幂.
3
三、子半群与子独异点
1. 定义与判别方法 半群的子代数叫做子半群,独异点的子代数叫做子独 异点. 子半群的判别方法: V=<S,◦>是半群,T⊆ S,T 非空,如果T 对V 中的运算 ◦封闭,则<T,◦>是V 的子半群. 子独异点的判别方法: V=<S,◦,e>是独异点,T⊆ S,T 非空,如果 T 对 V 中的运 算◦封闭,而且 e∈T,那么<T,◦,e>构成 V 的子独异点.
二、半群与独异点的性质
1.半群<S,◦>中的幂 可以定义元素的幂,对任意x∈S,规定: x1=x xn+1=xn◦x, n∈Z+ 用数学归纳法不难证明x 的幂遵从以下运算规则: xn◦xm=xn+m n m nm + (x ) = x m,n∈Z 2.独异点<S,◦,e>中的幂 对于任意的x∈S,可以定义x 的零次幂,即 0 x =e xn+1=xn◦x n∈N 独异点的幂运算也遵从半群的幂运算规则,其中m 和n 是自然数.
e n 0, a n a n 1 a n0 (a 1 ) m n 0, n m
群中元素可以定义负整数次幂. 在<Z3,⊕>中有 2− 3 = (2− 1)3 = 13 = 1⊕1⊕1 = 0 在<Z,+>中有 (− 2)