- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
现代密码学;第四章公钥密码;4.1密码学中的一些常用数学知识;4.1.8中国剩余定理
4.1.9离散对数
4.1.10二次剩余
4.1.11循环群
4.1.12循环群的选取
4.1.13双线性映射
4.1.14计算复杂性;4.1.1群、环、域;定义4-2设是一个代数系统,满足:
(1)封闭性。
(2)结合律。
(3)存在元素,对,有称为
的单位元。
(4)对,存在元素,使得;称
为元素的逆元。则称是群。若其中的运算已明
确,有时将简记为。;如果是有限集合,则称是有限群,否则是无限群。;【例4-1】
1.是Abel群,其中是整数集合。
2.是Abel群,其中是有理数集合。
3.设是任一集合,表示上的双射函数集合,
是群,这里表示函数的合成,通常这个群不是Abel群。
4.是Abel群,其中,是模加,等于
,。不是群,因为0没有逆元,这
里是模乘,等于。;定义4-3设是一个群,是整数集合。如果存在一个元素,对于每一个元素,都有一个相应的,能把表示成,则称是循环群,称为循环群的生成元,记。称满足方程的最小正整数为
的阶,记为。;【例4-2】
(1)是环,因为是Abel群,是半群,乘法
在加法上可分配。
(2)是环,因为是Abel群,是半群,对
可分配。
(3)是环,这里是上方阵集合,是矩阵
加法,是矩阵乘法。
(4)是环,这里是所有实系数的多项式集合,
和分别是多项式加法和乘法。;定义4-5若代数系统的二元运算和满足:
(1) 是Abel群;
(2) 是Abel群,其中0是+的单位元;
(3)乘法在加法上可分配,即对,有
和
则称是域。;已知所有实系数的多项式集合在多项式加法和乘法运算下构成环。类似地,任意域上的多项式(即系数取自)集合在多项式的加法和乘法运算下也构成环。;两???多项式的最高公因式为1时,称它们互素。;1.因子
设是两个整数,如果存在另一整数,使得
,则称整除,记为,且称是的因子。否则称不整除,记为。;这里只给出(4)的证明,其它三个性质的证明都很简单,
证(4):
由知,存在整数、,使得
,
所以
因此。
;2.素数
称整数是素数,如果的因子只有和。
若不是素数,则称为合数。;等号右边的乘积项取所有的素数,然而大多指数项为0。;3.互素数
称是两个整数的最大公因子,如果
(1)是的因子也是的因子,即是的公因子;
(2)和的任一公因子,也是的因子。
表示为。;【例4-3】
一般由可得:对每一素数,。
如果,则称和互素。
称是两个整数的最小公倍数
文档评论(0)