在密码学中,很多密码学知识都涉及大不少数学知识,其中群、环、域这三种集合经常会被许多概念提及,在此做以总结。

一、基础概念

  1. 幺元 ,若对于一个二元运算+(+并不是指一般意义的加法,它可以指代任何二元运算),在有若干个数的集合中,存在一个元素,对于其他任何元素,通过这个二元运算之后,结果都是其他任何元素本身,则称这个元素是这个集合对于该二元运算+的幺元,记为e。以加法为例,0就是在整数集合中加法的幺元;
  2. 零元 ,若对于一个二元运算+(+并不是指一般意义的加法,它可以指代任何二元运算),在有若干个数的集合中,存在一个元素,对于其他任何元素,通过这个二元运算之后,结果都是这个元素本身,则称这个数是这个集合对于该二元运算+的零元,记为θ。以乘法为例,0就是在整数集合中加法的零元;
  3. 逆元,若对于一个二元运算+(+并不是指一般意义的加法,它可以指代任何二元运算),存在一个元素a,满足a+a-1=e(e为该运算的幺元),则a与a-1互为逆元。以加法为例,整数这个集合中,一个数和它的相反数互为逆元。

二、群

  1. 群的定义
    满足以下公理的集合G称为群:(注:×为广义运算)
    ①在运算×下是封闭的;
    ②存在幺元(单位元),且唯一;
    ③对于G中的任意的元,都有与其对应的逆元,且唯一;
    ④对于G中的任意的元,都满足结合律。
  2. 阿贝尔群的定义
    ①在运算×下是封闭的;
    ②存在幺元(单位元),且唯一;
    ③对于G中的任意的元,都有与其对应的逆元,且唯一;
    ④对于G中的任意的元,都满足结合律;
    ⑤对于G中的任意的元,都满足交换律。
  3. 半群的定义
    ①在运算×下是封闭的;
    ②对于G中的任意的元,都满足结合律。
  4. 含幺半群的定义
    ①在运算×下是封闭的;
    ②存在幺元(单位元),且唯一;
    ③对于G中的任意的元,都满足结合律。
  5. 群的性质
    ①当一个群G中只含有有限元素,那么这些元素的个数记为群G的阶,记作#G。
    ②一个群G中的任何子群在相同的运算下如果也是群,则称之为群G的一个子群。
    ③如果存在一个最小正整数k,满足gk=e,则称k为群G中元素g的阶。
    ④有限群中任意元素β的阶可整除该群的阶。
    ⑤相较于无限群,有限群因为其易在计算机中实现,故其在密码学中的作用更大。
  6. 群的例子
    整数群:
    ①对于任何两个整数a和b,它们的和也是整数。满足条件①,关于运算+是闭集;
    ②对于任何整数a,存在0 + a = a + 0 = a,满足条件②存在幺元;
    ③对于任何整数a,存在另一个整数b使得a + b = b + a = 0,则整数b叫做整数a的逆元,记为a-1,满足条件③;
    ④对于任何整数a,b和c,存在(a + b) + c=a + (b + c)。满足条件④,关于运算+满足结合律。

三、环

  1. 环的定义
    满足以下公理的集合R称为环:
    ⑴对于加法的代数系统+:(环在加法下是一个阿贝尔群)
    ①在运算+下是封闭的;
    ②存在幺元(单位元),且唯一;
    ③对于R中的任意的元,都有与其对应的逆元,且唯一;
    ④对于R中的任意的元,都满足结合律;
    ⑤对于R中的任意的元,都满足交换律。
    ⑵对于乘法的代数系统×:(环在乘法下是一个半群)
    ①在运算×下是封闭的;
    ②对于R中的任意的元,都满足结合律;
    ⑶关于运算+和×:
    对于R中的任意的元,都满足分配律。
  2. 环的性质
    ①若环中的乘法运算满足交换律,即ab=ba,这样的环称为交换环。
    ②若环中的乘法运算拥有幺元,这样的环称之为含幺环。
  3. 环的例子
    整数环:
    整数集Z对于运算+是一个阿贝尔群;
    对于运算×是一个半群;
    所以集合Z是一个环(整数环)

四、域

  1. 域的定义
    满足以下公理的集合F称为域:
    ⑴对于加法的代数系统+:(域在加法下是一个阿贝尔群)
    ①在运算+下是封闭的;
    ②存在幺元(单位元),且唯一;
    ③对于F中的任意的元,都有与其对应的逆元,且唯一;
    ④对于F中的任意的元,都满足结合律;
    ⑤对于F中的任意的元,都满足交换律。
    ⑵对于乘法的代数系统×:(域(0元素除外)在乘法下是一个阿贝尔群)
    ①在运算+下是封闭的;
    ②存在幺元(单位元),且唯一;
    ③对于F中的任意的元(除0元素),都有与其对应的逆元,且唯一;
    ④对于F中的任意的元,都满足结合律;
    ⑤对于F中的任意的元,都满足交换律。
    ⑶关于运算+和×:
    对于F中的任意的元,都满足分配律。
  2. 域的性质
    ①域的一个子集如果在继承的加法和乘法运算下本身也是一个域,就称为域。例如,实数域便是复数域的一个子域。
    ②含有有限个元素的域称为有限域Fq或伽罗华域GF(q),其中q为该有限域的元素个数。
    ③含有2m个元素的有限域称为二进制域。
    ④含有p(p为奇素数)个元素的有限域称为二进制域。
    ⑤含有pm(p为素数)个元素的有限域称为特征值为p的域。在特征值为p的有限域中,表达式 ( a + b ) p m = a p m + b p m (a+b)^{p^m} =a^{p^m}+b^{p^m} (a+b)pm=apm+bpm 恒成立。
  3. 域的例子
    有限域:
    举例来说,如10以内的非负整数,就是一个有限域。
    一般描述有限域,通过对整数取模(mod)的余数来表示,比如所有整数模5的结果,就是一个有限域(只包含0~4),这是5这个素数的1次方。

密码学数学基础——群、环、域相关推荐

  1. 群环域,理想商环,原根复习

    包含了抽象代数里面的一些概念,最近看文章的时候一直反映不过来,理想是个啥来着,环和域的区别是啥来着.所以统筹整理一下. 文章目录 集合/(Set): 半群/(Monoid): 群(G,⋅)(G,\cd ...

  2. 【考研—密码学数论基础】环、群、域、多项式运算

    注:下述笔记根据 学习通公开课程<数学的思维方式与创新>,部分内容并非严谨数学定义,个人理解居多. 注2:第一遍学的时候理解得太片面了,面试被问到了才意识到理解得有问题,特此重新更正 Pr ...

  3. 密码学数学基础,群,阿贝尔群,阶,双线性对,哈希函数,消息认证码概述

    目录 抽象代数基础 群 阿贝尔群(Abelian Group) 阶(Order) 循环群(Cyclic Group) 双线性对 哈希函数H 消息认证码MAC 抽象代数基础 群 定义 群(Group), ...

  4. 密码学数学基础:近世代数

    近世代数 1群 2环与理想 定义2.1: 一个集合R称为一个环,指R有一个加法运算+,和一个乘法运算 ⋅ \cdot ⋅满足 1)(R,+)是一个交换群 2)乘法运算满足结合律,即(R, ⋅ \cdo ...

  5. 信息安全密码学实验三:密码学数学基础实验

    一. 实验目的 掌握密码学相关的数学基础知识,理解模幂.求逆等运算的过程,编程实现相关算法 二.实验原理 考虑模指数,即计算形如 x^c mod n 的函数,在RSA密码体制中,加密和解密运算都是模指 ...

  6. 人工智能数学基础10:域、函数及相关概念

    ☞ ░ 老猿Python博文目录░ 一.运算封闭 若从某个非空数集中任选两个元素(同一元素可重复选出),选出的这两个元素通过某种(或几种)运算后的得数仍是该数集中的元素,那么,就说该集合对于这种(或几 ...

  7. 子群-抽象代数【密码学数学基础】

    群是一种只有一个运算的.比较简单的代数结构:是可用来建立许多其他代数系统的一种基本结构.如果群G的非空子集合H对于G的运算也成一个群,那么H称为G的子群. 子群的定义 设H是群G的一个非空子集,如果H ...

  8. 应用密码学数学基础习题之设有限域GF(28)的不可约多项式为p(x)=x8+x4+x3+x+1

    题目:设有限域GF(28)的不可约多项式为p(x)=x8+x4+x3+x+1,写出多项式A(x)=x7+x4+x3+x2+x+1,B(x)=x6+x4+x2+x+1的二进制表示, 并求GF(28)的多 ...

  9. 近世代数--循环群--怎么判断是不是循环群?

    近世代数--循环群--怎么判断是不是循环群? 博主是初学近世代数(群环域),本意是想整理一些较难理解的定理.算法,加深记忆也方便日后查找:如果有错,欢迎指正. 我整理成一个系列:近世代数,方便检索. ...

最新文章

  1. GPU、AI芯片技术市场分析
  2. Spring Batch事务处理
  3. 跑步的时候,我在想什么?
  4. VMware Esxi5.1.0开启ssh服务的方法
  5. Scala基础 - 下划线使用指南
  6. 动态代理的概述和实现
  7. 电商迅猛发展是利大于弊,还是弊大于利?
  8. WPF 写一个提醒工具软件(完整项目)
  9. Ajax请求成功后页面跳转
  10. MacOS系统离线安装包11.x-12.x
  11. 深夜,基友给我发了个某短视频app,我没忍住把它给...
  12. 蓦然回首,会员制CRM就在下里巴人处
  13. Latex写paper时增加脚注
  14. html网页在图片的后面同一行追加,htmlcss
  15. Linux Ubuntu快捷键技巧
  16. 解决[“usingcomponents“][“van-button“]: “@vant/weapp/button/index“ 未找到:
  17. xheditor form java_xheditor 上传图片 Jfinal处理 出现异常
  18. 《异常检测——从经典算法到深度学习》15 通过无监督和主动学习进行实用的白盒异常检测
  19. 大数据对于旅游业意味着更大的挑战
  20. input输入框设置输入值

热门文章

  1. MySQL InnoDB聚簇索引和普通索引浅析
  2. 计算机b级考试题型分值分布,大学英语四级考试题型和分值分配
  3. 转战物联网·基础篇02-物联网中的角儿
  4. 车牌识别之二:字符分割
  5. 2020年开春最新面试!今日头条 Android 面试题及答案 (已拿到 offer)
  6. 这么有“艾”的端午节,此处应@博物杂志!
  7. AWS免费服务器申请
  8. csgo调出参数_CSGO全参数设置
  9. RGB565颜色表,附RGB888转RGB565工具,RGB24转RGB565工具
  10. 续 winform 打包-集合dotnetfx文件夹到一个exe