离散数学第六章群论.ppt
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_05.gif)
《离散数学第六章群论.ppt》由会员分享,可在线阅读,更多相关《离散数学第六章群论.ppt(33页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第第6章章 群论群论 第六章第六章 群论群论 6.1 半群与单元半群半群与单元半群 6.2 群群 第第6章章 群论群论 群群在在代代码码的的查查错错、改改错错的的研研究究,自自动动机机理理论论等等方面都有应用。方面都有应用。第第6章章 群论群论 6.1 半群与单元半群半群与单元半群 半半群群与与群群都都是是具具有有一一个个二二元元运运算算的的代代数数系系统统,群群是是半半群群的的特特殊殊例例子子。事事实实上上,群群是是历历史史上上最最早早研研究究的的代代数数系系统统,它它比比半半群群复复杂杂一一些些,而而半半群群概概念念是是在在群群的的理理论论发发展展之之后后才才引引进进的的。逻辑关系见图。逻
2、辑关系见图。第第6章章 群论群论 图图 6.1.1 群群半群半群第第6章章 群论群论 一、半群一、半群1、半群的有关定义、半群的有关定义 定定义义6.1 设设(S,)是是代代数数系系统统,是是二二元元运运算算,如果如果 运算满足结合律,则称它为半群。运算满足结合律,则称它为半群。换换言言之之,a,b,cS,若若 是是S上上的的封封闭闭运运算算且且满足满足(a b)c=a (b c),则),则(S,)是半群。是半群。许多代数系统都是半群。例如:许多代数系统都是半群。例如:(I,+),(I,),(E),),(E),),(N4,+4),(N4,4)均是半群。均是半群。第第6章章 群论群论 再如,设再
3、如,设X是有限字母表,是有限字母表,X+是是 X 中的字母中的字母串,串,X*=X+,其中,其中是不含字母的空串,是不含字母的空串,运算运算 是字母串的是字母串的“并置并置”运算,则运算,则(X*,)是是半群。如半群。如Com X*,puter X*,经经 运算后,运算后,得得Computer仍是字母串。仍是字母串。第第6章章 群论群论 定理定理6.1 一个半群一个半群(S,),如果它有一个子代,如果它有一个子代数数(M,),则此子代数也是一个半群。,则此子代数也是一个半群。定义定义6.2 一个半群一个半群(S,)的子代数的子代数(M,)也也是半群,称为是半群,称为(S,)的子半群。的子半群。
4、第第6章章 群论群论 一个半群一个半群(S,)中的元素中的元素a,可定义它的幂:,可定义它的幂:a1=a,a2=a a,,an+1=an a 即即半半群群中中的的元元素素有有时时可可用用某某些些元元素素的的幂幂表表示示出出来。来。因为半群满足结合律,所以可得到因为半群满足结合律,所以可得到 a m a n=a m+n,(a n)m=a m n。如果有如果有a2=a,则称,则称a为半群中的为半群中的等幂元素等幂元素。第第6章章 群论群论 2、一些特殊半群。一些特殊半群。(1)可交换半群:可交换半群:如果半群如果半群(S,)中二元运算中二元运算 是是可交换的,则称可交换的,则称(S,)是可交换半群
5、。是可交换半群。例如:例如:(I,+),(I,),(E),),(E),)(N4,+4),(N4,4)均是可交换半群。但均是可交换半群。但(X*,)不是可交换半群。不是可交换半群。(2)循环半群:循环半群:一个半群一个半群(S,)如果它的每个元如果它的每个元素均为素均为S内某一固定元素内某一固定元素 a 的某一方幂,则此半的某一方幂,则此半群称为由群称为由 a 所生成的循环半群,元素所生成的循环半群,元素 a 称为此半称为此半群的生成元素。群的生成元素。第第6章章 群论群论 (3)单元半群(或单位半群):单元半群(或单位半群):有单位元素有单位元素e的的半群半群(S,),常记为,常记为(S,e)
6、。定理定理6.2:一个循环半群一定是可交换半群。一个循环半群一定是可交换半群。定理定理6.3:一个半群内的任一元素一个半群内的任一元素 a 和它所有的幂和它所有的幂组成一个由组成一个由 a 所生成的循环子半群。所生成的循环子半群。第第6章章 群论群论 例:下面半群都是单位半群例:下面半群都是单位半群 (I,+)单位元素是单位元素是0,可记为,可记为(I,+,0);(I,)单位元素是单位元素是1,可记为,可记为(I,1);(X*,)单位元素是单位元素是(空串空串),可记为可记为(X*,,);(E),)单位元素是单位元素是,可记为,可记为(E),);(E),)单位元素是单位元素是E,可记为,可记为
7、(E),E)。(N4,+4)单位元素是单位元素是0,可记为,可记为(N4,+4,0)(N4,4)单位元素是单位元素是1,可记为,可记为(N4,4,1)第第6章章 群论群论 定理定理6.5 一个单位半群一个单位半群(S,),如果存在一个,如果存在一个子代数子代数(M,),且其单位元,且其单位元 e M,则则(M,)也是一个单位半群。也是一个单位半群。定义定义6.5 一个单位半群一个单位半群(S,),如果存在一个,如果存在一个子代数子代数(M,),且其单位元,且其单位元 e M,则则(M,)也是一个单位半群,称为也是一个单位半群,称为(S,)的子单位半群的子单位半群。第第6章章 群论群论 定义定义
8、6.5:一个单位半群一个单位半群(S,)如果由它的一个如果由它的一个元素元素a 所生成,则称为由所生成,则称为由 a 所生成的循环单位半所生成的循环单位半群,元素群,元素 a 称为此单位半群的生成元素。称为此单位半群的生成元素。定理定理6.6:一个循环单位半群是一个可换单位半一个循环单位半群是一个可换单位半群。群。第第6章章 群论群论 6.2 群群一、群与群的同构一、群与群的同构1、群的有关定义、群的有关定义 定义定义6.7 如果代数系统如果代数系统(G,)满足满足 (1)(G,)为一半群;为一半群;(2)(G,)中有单位元中有单位元e;(3)(G,)中每一元素中每一元素aG都有逆元都有逆元
9、a-1 则称代数系统则称代数系统(G,)为群。为群。第第6章章 群论群论 例如:例如:(I,+)是群,因是群,因 a I 都有逆元都有逆元-a;(N4,+4)是群是群,0的逆元是的逆元是0,1的逆元是的逆元是3,2的逆元是的逆元是2。(I,),(X*,),(E),),(E),),(N4,4)均不是群。均不是群。定义定义6.8 一个群一个群(G,)如果满足交换律,则称为如果满足交换律,则称为可交换群或称阿贝尔群。可交换群或称阿贝尔群。例如:群例如:群(I,+),(N4,+4)都是阿贝尔群。都是阿贝尔群。第第6章章 群论群论 定义定义6.9 一个群一个群(G,)如果它的一个子代数如果它的一个子代数
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 第六 群论
![提示](https://www.taowenge.com/images/bang_tan.gif)
限制150内