离散数学(第33讲习题课6).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)
《离散数学(第33讲习题课6).ppt》由会员分享,可在线阅读,更多相关《离散数学(第33讲习题课6).ppt(23页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、离散数学离散数学(第第33讲习题课6)第十四、十五、十六章第十四、十五、十六章一、基本概念一、基本概念 代代数数系系统统、单单位位元元或或幺幺元元、零零元元、幂幂等等元元、逆逆元元、半半群群、含含幺幺半半群群、群群、子子半半群群、群群的的阶阶、子子群群、交交换换群群、循循环环群群、生生成成元元、元元素素的的周周期期、右右陪陪集集、左左陪陪集集、子子群群的的指指数数、不不变变子子群群(或或正正规规子子群群)、群群的的单单一一同同态态、满满同同态态、同同构构、同同态态核核、环环、含含零零因因子子环环、交交换换环环、含含幺幺环环、整环、子环、环的同构与同态、域整环、子环、环的同构与同态、域2021/
2、5/222021/5/222 2计算机学院计算机学院二、基本要求二、基本要求1 1、会求二元运算的特异元素;、会求二元运算的特异元素;2 2、判判断断或或者者证证明明给给定定集集合合和和运运算算是是否否构构成成半半群、含幺半群和群;群、含幺半群和群;3 3、会运用群的基本性质证明相关的命题;、会运用群的基本性质证明相关的命题;4 4、熟悉陪集的定义和性质;、熟悉陪集的定义和性质;5 5、熟熟练练掌掌握握不不变变子子群群、循循环环群群的的基基本本性性质质和和证明方法(按定义证明和反证法)证明方法(按定义证明和反证法)2021/5/222021/5/223 3计算机学院计算机学院6 6、会求循环群
3、的生成元及其子群;、会求循环群的生成元及其子群;7 7、掌掌握握Lagrange Lagrange 定定理理及及推推论论,学学习习使使用用该该定定理解决简单的问题;理解决简单的问题;8 8、熟悉、熟悉n n元置换群元置换群9 9、熟熟练练掌掌握握环环、域域的的基基本本性性质质和和证证明明方方法法(按定义证明和反证法)(按定义证明和反证法)2021/5/222021/5/224 4计算机学院计算机学院 例例1 证明下述代数结构是整环证明下述代数结构是整环 Ix,+,Ix,+,其中其中IxIx是所有的是所有的x x的整系数多项式的集合,的整系数多项式的集合,“+”、“”表示多项式的加法和乘法。表示
4、多项式的加法和乘法。证明:(证明:(1 1)证明证明Ix,+Ix,+是交换群是交换群(按定义证明)(按定义证明)+在在IxIx上上结合律和封闭性成立结合律和封闭性成立显然显然0 0 IxIx ,且对任意的,且对任意的f(x)f(x)IxIx ,显然,显然-f(x)-f(x)IxIx ,且,且 f(x)+f(x)+(-f(x)-f(x))=0=0=(-f(x)-f(x))+f(x)f(x)所以单位元和逆元存在,且所以单位元和逆元存在,且+满足交换律,满足交换律,所以所以Ix,+Ix,+是交换群。是交换群。2021/5/222021/5/225 5计算机学院计算机学院(2 2)证明证明Ix,Ix,
5、是含幺交换半群是含幺交换半群普通乘法满足结合律,且对任意的普通乘法满足结合律,且对任意的f(x)f(x),g(x)g(x)IxIx,显然有显然有f(x)f(x)g(x)g(x)IxIx封闭性成立,整数封闭性成立,整数1 1是单位元,且满足交换律,所以是单位元,且满足交换律,所以Ix,Ix,是含幺交换半群是含幺交换半群(3 3)普通乘法对加法的分配律显然成立,所以)普通乘法对加法的分配律显然成立,所以Ix,+,Ix,+,是环。是环。(4 4)对任意的对任意的f(x)f(x),g(x)g(x)IxIx,如果如果f(x)0f(x)0和和g(x)0g(x)0,则必有则必有f(x)f(x)g(x)0g(
6、x)0,所以所以Ix,+,Ix,+,无零因子无零因子 故故Ix,+,Ix,+,是整环。是整环。2021/5/222021/5/226 6计算机学院计算机学院例例2给定代数系统给定代数系统 ,且,且 和和 定义为:定义为:。其中,其中,I I是整数集合,是整数集合,分别是通常分别是通常数的加法、减法和法,证明数的加法、减法和法,证明 是具是具有幺元的可交换环。有幺元的可交换环。即即I I是是封闭的封闭的 证:证:1 1)证)证 是交换群是交换群 2021/5/222021/5/227 7计算机学院计算机学院(a*b)*c=a+b-1+c-1=a+b+c-2(a*b)*c=a+b-1+c-1=a+
7、b+c-2a*(b*c)=a+b+c-1-1=a+b+c-2a*(b*c)=a+b+c-1-1=a+b+c-2*是是可结合可结合的的a*1=a+1-1=a 1a*1=a+1-1=a 1是是的的幺元幺元 令令aa的的逆元存在逆元存在 a*b=a+b-1=b*a a*b=a+b-1=b*a 是是交换群交换群 2021/5/222021/5/228 8计算机学院计算机学院2)2)证证 是含幺交换半群是含幺交换半群II关于关于 是是封闭封闭的的II关于关于 是是可结合可结合的的2021/5/222021/5/229 9计算机学院计算机学院令令 ,0是是 的的幺元幺元 是含幺交换半群是含幺交换半群 3
8、3)证明对)证明对 可可 分配分配2021/5/222021/5/221010计算机学院计算机学院故故 是具有幺元的可交换环。是具有幺元的可交换环。同理同理2021/5/222021/5/221111计算机学院计算机学院习题十五习题十五 4 4、设设半半群群 A A,中中任任何何两两个个不不同同元元素素关关于于运运算算“”不可交换。证明:对任何不可交换。证明:对任何a a A A,a a a=aa=a。证:(反证法)证:(反证法)设设 构造构造 ,则则 即即 可交换,与已知条件相矛盾可交换,与已知条件相矛盾 2021/5/222021/5/221212计算机学院计算机学院矛盾矛盾6 6、证明:
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 33 习题
![提示](https://www.taowenge.com/images/bang_tan.gif)
限制150内