大学代数知识在互联网络中的应用.docx
- 文档编号:28531204
- 上传时间:2023-07-18
- 格式:DOCX
- 页数:5
- 大小:18.09KB
大学代数知识在互联网络中的应用.docx
《大学代数知识在互联网络中的应用.docx》由会员分享,可在线阅读,更多相关《大学代数知识在互联网络中的应用.docx(5页珍藏版)》请在冰豆网上搜索。
大学代数知识在互联网络中的应用
大学代数知识在互联网络中的应用
各位读友大家好,此文档由网络收集而来,欢迎您下载,谢谢
大学代数知识在互联网络中的应用
周进鑫
摘要:
代数方面的知识是数学工作者的必备基础。
本文通过讨论大学代数知识在互联网络对称性研究中的应用,提出大学数学专业学生检验自己对已学代数知识的掌握程度的一种新思路,即思考一些比较前沿的数学问题。
关键词:
代数;对称;自同构
基金项目:
本文得到国家自然科学基金的资助
作者简介:
周进鑫,男,山西大同人,北京交通大学数学系副教授,硕士生导师,博士,研究方向:
图的对称性、网络的容错性及可靠性。
一、引言与基本概念
《高等代数》和《近世代数》是大学数学专业有关代数方面的两门重要课程。
前者是大学数学各个专业最重要的主干基础课程之一,后者既是对前者的继续和深入,也是代数方面研究生课程的重要先修课程之一。
这两门课程概念众多,内容高度抽象,是数学专业学生公认的难学课程。
甚至,很多学生修完《高等代数》之后,就放弃了继续学习《近世代数》。
即使对于那些坚持认真学完这两门课程的学生来讲,也未必能做到“不仅知其然,还知其所以然”,而要做到“知其所以然,还要知其不得不然”就更是难上加难了。
众所周知,学习数学,不仅逻辑上要搞懂,还要做到真正掌握,学以致用,也就是“学到手”。
当然,做课后习题和考试是检验是否学会的一个重要手段。
然而,利用所学知识独立地去解决一些比较前沿的数学问题,也是检验我们对于知识理解和掌握程度的一个重要方法。
这样做,不仅有助于巩固和加深对所学知识的理解,也有助于培养学生的创新意识和自学能力。
笔者结合自己所从事的教学和科研工作,在这方面做了一些尝试。
互连网络的拓扑结构可以用图来表示。
为了提高网络性能,考虑到高对称性图具有许多优良的性质,数学与计算机科学工作者通常建议使用具有高对称性的图来做互联网络的模型。
事实上,许多著名的网络,如:
超立方体网络、折叠立方体网络、交错群图网络等都具有很强的对称性。
而且这些网络的构造都是基于一个重要的代数结构即“群”。
它们的对称性也是通过其自同构群在其各个对象上作用的传递性来描述的。
下面介绍一些相关的概念。
一个图G是一个二元组,其中V是一个有限集合,E为由V的若干二元子集组成的集合。
称V为G的顶点集合,E为G的边集合。
E中的每个二元子集{u,v}称为是图G的连接顶点u与v的一条边。
图G的一个自同构f是G的顶点集合V上的一个一一映射,使得{u,v}为G的边当且仅当{uf,vf}也为G的边。
图G的全体自同构依映射的合成构成一个群,称为G的全自同构群,记作Aut。
图G称为是顶点对称的,如对于G的任意两个顶点u与v,存在G的自同构f使得uf=v。
图G称为是边对称的,如对于G的任意两条边{u,v}和{x,y},存在G的自同构f使得{uf,vf}={x,y}。
设n为正整数,令Z2n为有限域Z2={0,1}上的n维线性空间。
由《近世代数》知识可知,Z2n的加法群是一个初等交换2群。
在Z2n中取出如下n个单位向量:
e1=,e2=,…,en=。
●n维超立方体网络是一个以Z2n为顶点集合的图,对于Qn的任意两个顶点u和v,{u,v}是Qn的一条边当且仅当v-u=ei,其中1≤i≤n。
●n维折叠立方体网络是一个以Z2n为顶点集合的图,对于Qn的任意两个顶点u和v,{u,v}是Qn的一条边当且仅当v-u=ei或者v-u=e1+…+en。
●n维交错群图网络是一个以n级交错群An为顶点集合的图,对于AGn的任意两个顶点u和v,{u,v}是AGn的一条边当且仅当vu-1=ai或ai-1,这里3≤i≤n,ai=为一个3轮换。
一个自然的问题是:
这三类网络是否是顶点对称的?
是否边对称的?
但值得我们注意的是,这些问题都可以利用大学所学的代数知识得到完全解决。
二、三类网络的对称性
先来看n维超立方体网络的对称性。
定理一:
n维超立方体网络Qn是顶点和边对称的。
证明:
对于Z2n中的任一向量x=,如下定义V=Z2n上面的一个映射:
f:
u→u+x,u取遍V中所有元素。
容易验证f是一个1-1映射。
而{u,v}是Qn的一条边,当且仅当v-u=ei,当且仅当vf-uf=ei,当且仅当{v,u}是Qn的一条边。
所以,f也是Qn的一个自同构。
这样,任取V中两个顶点u和v,则uf=v。
从而说明Qn是顶点对称的。
下面证明Qn是边对称的。
只需证明:
对于Qn的任一条边{u,v},都存在Qn的自同构g使得{ug,vg}={0,e1},其中0为Z2n中的零向量。
事实上,{uf,vf}={0,v-u},其中v-u=ei。
显然,e1,…,ei-1,ei,ei+1,…,en和ei,…,ei-1,e1,ei+1,…,en是Z2n的两组基向量。
由《高等代数》知识可知存在Z2n上的可逆线性变换t使得t对换e1和ei而不动其余向量。
此时易见,若{a,b}是Qn的一条边,则a-b=ej。
若j=1,则at-bt=ei;若j=i,则at-bt=e1;若j≠1,i,则at-bt=ej;所以{at,bt}也是Qn的一条边。
由定义可知,t是Qn的一个自同构。
进一步,{0t,t}={0,e1},即{uft,vft}={0,e1}。
结论得证。
利用和定理一相似的办法,我们进一步可以得到如下定理。
定理二:
n维折叠立方体网络FQn是顶点和边对称的。
最后,来决定n维交错群图网络的对称性。
定理三:
n维交错群图网络AGn是顶点和边对称的。
证明:
首先,来证明AGn是顶点对称的。
给定An中的一个元素g,如下定义一个映射:
R:
x→xg,其中x取遍An中所有元素。
容易验证R为AGn顶点集合上上的一个1-1映射。
设{u,v}是AGn的一条边,则vu-1=ai或ai-1,这里1≤i≤n。
易见,-1=vu-1。
所以,{vR,uR}是AGn的一条边。
因此,R是AGn的一个自同构。
这样,对于AGn的任意两个顶点u和v,有uR=v,这里g=u-1v。
这说明AGn是顶点对称的。
下面来证明AGn是边对称的。
只需证明对于AGn的任一条边{u,v},都存在AGn的自同构g使得{ug,vg}={e,a3},其中e为An中的单位元。
给定对称群Sn中的一个元素g,如下定义一个映射:
C:
x→g-1xg,其中x取遍An中所有元素。
由《近世代数》知识可知,交错群An是对称群Sn的正规子群。
容易验证C是AGn的顶点集合上的一个1-1映射。
令x=,y=,j=3,…,n。
下面证明C和C)都是AGn的自通构。
取{u,v}为AGn的任一条边,则vu-1=ai或ai-1。
从而,vCC==x-x=ai-1或ai。
因此,{uC,vC}也是AGn的一条边。
从而说明C是AGn的自通构。
同理,若j=i,有vC)C)=a3-1或a3;若j≠i,则有vC)C)=ai-1或ai。
这说明{uC),vC)}也是AGn的一条边,从而C)是AGn的自通构。
现在,对于AGn的任一条边{u,v},令g=u-1,则{uR,vR}={e,vu-1}={e,ai}或{e,ai-1}。
若i=3,则{e,a3-1}C={e,a3}。
而若i≠3,则{e,ai}C)={e,a3}而{e,ai-1}C)={e,a3-1}。
由此可见,总存在AGn的自同构g使得{ug,vg}={e,a3},结论得证。
至此,完全决定了这三类网络的对称性。
不难看出,除了必要的图论概念外,我们的证明主要利用了《高等代数》和《近世代数》的知识。
做为上述问题的继续和深入,有兴趣的同学还可以考虑以下问题:
1.这些网络是否具有更强的对称性?
比如:
弧对称性?
距离对称性?
2.完全决定这些网络的全自同构群。
实际上,利用与上面证明相同的思路,结合对图的局部结构的分析,利用一些组合技巧,这些问题也可以得到解决。
三、小结
大学所学代数知识在数学领域中的许多学科、乃至其他领域都有重要的应用。
笔者认为任课教师可以根据自己所熟悉的科研领域,选取一些与大学代数知识有紧密联系的前沿数学问题,引导一些学有余力的学生开展相关研究,甚至可以吸引一些本科生加入自己的课题组。
当然,教师要给予必要的指导,比如讲解相关背景知识、必要的概念和方法等。
指导学生从相对简单的问题入手,循序渐进,由易到难,逐步加深对代数学知识的系统理解,积累一些经验,为考虑进一步的问题奠定基础。
本文所提到的利用《高等代数》和《近世代数》的知识来研究网络的对称性就是笔者在教学工作中曾做过的一些尝试。
在该方面,笔者指导完成了由三名大三学生参加的国家级大学生创新实验项目一项。
这样以来,学生在学习经典数学知识的同时,也可以思考一些比较前沿的数学问题;学生在巩固已学知识的同时,也可以激发其学习兴趣,训练学生的逻辑思维,培养学生的创新思维,以及独立发现问题和解决问题的能力。
各位读友大家好,此文档由网络收集而来,欢迎您下载,谢谢
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 大学 代数 知识 互联网络 中的 应用
![提示](https://static.bdocx.com/images/bang_tan.gif)