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