网络空间安全数学基础·环

4.1 环与子环  (理解)
4.2 整环、除环、域 (熟练)
4.3 环的同态、理想 (掌握)

4.1 环与子环

定义:设R是一非空集合,在R上定义了加法和乘法两种代数运算, 分别记为a+b和ab.如果R具有如下性质:
1) R对于加法是一个交换群;
2) R对于乘法是封闭的;
3) 乘法满足结合律,即对于任意a,b,c∈R,有 a(bc) = (ab)c;
4) 分配律成立,即对于任意a,b,c∈R,有 a(b+c) = ab+ac,(b+c)a = ba+ca; 则称R为一个环。

如果环R关于乘法还满足交换律,即对于任意a,b∈R,总有ab = ba,则称R为交换环。

例:全体有理数、全体实数、全体复数和全体整数集合对于普通的加法和乘法构成交换环,其中全体整数集合Z构成的环比较重要,称为整数环。

例:模m的剩余类集合上的乘法如下:,则剩余类集合对于剩余类加法和乘法构成一个交换环,称为模m剩余类环。

零元:加法群的单位元称为零元,记为0。
负元:元素的加法逆元称为负元,记为-a。
单位元:乘法单位元称为单位元,记为1。
逆元:乘法逆元,记为a^(-1)。
环不一定存在单位元和逆元。但如果环中存在单位元和逆元,则它们一定是唯一的。
有理数、实数、复数和整数环都有单位元1;有理数、实数和复数环的非零元都有逆元; 但整数环Z除±1外,其他元素都没有逆元。

环的计算规则:
假设R是一个环,a,b,c∈R
1) 0+a = a+0 = a
2) a+(-b) = a-b
3) (-a)+a = a-a = 0
4) - (-a) = a
5) 如果a+b = c,则  b = c-a
6) -(a+b) = -a-b,-(a-b) = -a +b
7) 对于任意正整数n,有 (-n)a = - (na),0a = 0

8) 对于任意整数n,m,有 (n+m)a = na+ma,n(ma) = (nm)a,n(a+b) = na+nb
9) 对于任意正整数n,m,有

注意在R中一般不能定义a^0和a^(-n),因为环中不一定存在单位元和逆元。
10) (a-b)c = ac-bc,c(a-b) = ca-cb
11) 0a = a0 = 0(这里的0是R的零元)
12) (-a)b = a(-b) = -ab,(-a)(-b) = ab
13) 
更一般地,
或表示为

14) 对于任意整数n,有 (na)b = a(nb) = n(ab)

定义:如果在环里 a≠0,b≠0,但 ab = 0, 则称a是这个环的一个左零因子,b是这个环的一个右零因子。
(1)交换环里每个左零因子同时又是右零因子。如果一个左零因子同时又是右零因子,则称为零因子。
(2) 非交换环里的左零因子或右零因子也可能成为零因子。

例:模12剩余类环中的全部零因子是:

一个环里可以没有任何零因子。例如整数环Z。 在没有任何零因子存在的环里,如果ab=0,则必有a=0或b=0。
例:当m是素数时,模m剩余类环无零因子。

定理:在没有任何零因子的环里消去律成立,即如果a≠0,则 ab = ac⇒b=c,ba=ca⇒b=c。反之,如果上面的消去律中的任一个成立,则环里没有零因子。

定义:如果一个环R的子集S对于R中的运算也构成环,则称S为R的子环,R为S的扩环。
子集S构成一个子环的充要条件:
1) S对于加法构成一个子群。
2) S对于乘法封闭。
判定:对于任意a,b∈S,有 a-b∈S,ab∈S

例:全体偶数集合构成一个环,是整数环Z的子环,而Z是它的扩环。 
例:整数环Z中任意整数的倍数nZ={rn|r∈Z}是Z的子环。

4.2 整环、除环、域

定义:如果一个环R满足下列条件:
1) 是交换环;
2) 存在单位元,且1≠0(等价于A≠{0});
3)没有零因子。
则R称为整环。
如整数环、全体有理数环、全体实数环和全体复数环都是整环。

定义:如果一个环R存在非零元,而且全体非零元构成一个乘法群,则R称为除环。
除环的来历是由于每个非零元都有逆元,可以做“除法”。

定义:一个交换除环称为一个域。
该定义等价于如果一个环F存在非零元,而且全体非零元构成 一个乘法交换群,则F称为一个域。

例:全体有理数、全体实数和全体复数对于普通的加法和乘法都是除环,且是可交换的除环。故他们是域,统称为 数域。但整数环由于不是每个元素都有逆元,所以不是除环。

例:当p是素数时,模p剩余类集合对于剩余类加法和乘法构成一个域,记为GF(p) 。

已证明GF(p)是一个模p剩余类环,是交换环,现在证明GF(p)非零元集合,GF*(p)构成一乘法交换群,从而GF(p)是一个域。GF(p)非零元集合GF*(p),

1) 乘法结合律和交换律显然满足。
2) 任意0<i,j≤p-1,由于(p, i) = 1,(p, j) = 1,则(p , ij) = 1,ij≠0(mod p),于是乘法封闭。
3)是乘法单位元。

4) 对于任意∈GF*(p),与GF*(p)中的每个元素相乘得这p-1个结果两两不同。否则假设如果 p|(ia-ib) = i(a-b)。 而(p, i) = 1,则只有p|(a-b),这与矛盾。

上述的p-1个不同的结果跑遍GF*(p)的全部元素,当然也包括单位元,所以存在逆元。故GF*(p)是乘法交换群。GF(p)是域。

当p不是素数时,它可以分解为两个或更多的小于它的数的乘积,故模m剩余类环有零因子,不可能成为域。

如果从群出发,则一个集合F是一个域应该:
1) 构成加法交换群;
2) 非零元构成乘法交换群;
3) 满足分配律。
域、除环和环的关系如下图所示。

有限除环:元素个数有限的除环。
有限域:元素个数有限的域。

例:GF(p)是有限域,且是最简单的有限域。除环和域同样有子除环和子域的概念。

子除环:如果一个除环的子集也是除环;
子域:如果一个域的子集也是域。
一个除环的一个子集S构成一个子除环的条件是:
1) S包含非零元
2) 对于任意a,b∈S,有a-b∈S;
3) 对于任意a,b∈S,b≠0,有ab^(-1)∈S 

环的同态、理想
定义:R和R’是两个环,如果存在R到R’的一个映射f,加法和乘法都在f下得到保持,即对于任意a,b∈R,有 f(a+b) = f(a)+f(b), f(ab) = f(a)f(b),则称f是R到R’的同态映射,或简称同态。
如果f是单射,则称f是单同态。
如果f是满射,则称f是满同态。
如果f是一一映射,则称f是同构,此时称R和R’同构,并用R≌R’表示。

例:设R是一个环,Rn是R上的n维向量,即

定义R^n上的加法和乘法如下:

则R^n构成一个环.定义R^n→R的映射 f((a1 a2 … an)) = a1。f是Rn到R的满同态。

定理:f是环R到R’的同态,则有 
1) f(0) = 0’(0’是R’的零元)
2) 对于任意 a∈R,有 f(-a) = -f(a)。
3) 如果f是环R到R’的满同态,且R有单位元,则R’也有单位元,且f(1) = 1’(1’是R’的单位元)。
4) 如果f是环R到R’的满同态,且R有单位元,而且a∈R可逆,则 f(a)在R’中可逆,且f(a)-1=f(a-1)。
5)如果f是环R到R’的满同态, 且R是交换环,则R’也是交换环。

例: 整数环R到模m剩余类环存在下列同态f:i∈Z,

Z没有零因子,但m不是素数时,模m剩余类环却有零因子。

没有零因子这个性质在同态下不一定保持。

定理:如果两个环R≌R’,则
1) 如果R是整环,R’也是整环;
2) 如果R是除环,R’也是除环;
3) 如果R是域,R’也是域。

环同态也有核的概念。f是环R到R’的同态,设0’是R’的零元,则f的核为。定理表明在同态f下,0的像是0’。除0外,还可能有其他元素的像是0’.因此|ker(f)| ≥ 1。但显然在单同态和同构下,ker(f) = {0}。
1) ker(f)是R的加法群的一个子群;
2)  f是单同态当且仅当ker(f) = {0}。ker(f)是否是一个子环,只需检查乘法在ker(f)中是否封闭。     如果a,b∈ker(f),那么f(ab) = f(a)f(b) = 0’。 则ab∈ker(f)。可见ker(f)是R的一个子环。
实际上对于任意r∈R和a∈ker(f),都有f(ra) = f(r)f(a) = 0’,f(ar) = f(a)f(r) = 0’, 即ra,ar∈ker(f)。这表明ker(f)是很特殊的一种子环。

定义:设I是环R的加法子群。如果对于任意r∈R和a∈I,都有 ra∈I, 则称I是R的一个左理想。如果对于任意r∈R和a∈I,都有 ar∈I, 则称I是R的一个右理想。当I同时是左理想和右理想时,称为理想。环同态的核就是理想。显然对于交换环,左理想、右理想和理想是相同的。

例:整数环Z中任意整数的倍数 mZ = {rm|r∈Z} 是Z的理想。

定理:环R的非空子集I是左理想的充要条件:对于任意a,b∈I和rR,有 a-b∈I,ra∈I. 对于右理想和理想也可以有类似的定理。
显然{0}是环R的理想,称为零理想;R也是R的理想,称为单位理想.
零理想和单位理想统称为平凡理想。平凡理想之外的理想称为真理想。

除环仅有平凡理想。理想这个概念对于除环和域没有什么意义。

定理:两个左理想的交是左理想,两个右理想的交是右理想,两个理想的交是理想。

推论:多个左理想的交是左理想,多个右理想的交是右理想,多个理想的交是理想

主理想与主理想整环
定义:设X是环R的非空子集,{I1,I2,…}是包含X的所有理 想,则称它们的交是由X生成的理想,记为(X).
X中的元素称为 (X)的生成元素:
当X是有限集时,称(X)是有限生成理想。
由一个元素生成的理想(a)称为主理想。

定义:如果一个整环上的理想都是主理想,则称为主理想整环。

例:整数环Z是主理想整环。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/web/21075.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

java收徒、java面试辅导、java辅导、java就业辅导

&#x1f497;博主介绍&#xff1a;✌全网粉丝1W,CSDN作者、博客专家、全栈领域优质创作者&#xff0c;博客之星、平台优质作者、专注于Java、小程序技术领域和毕业项目实战✌&#x1f497; &#x1f31f;文末获取源码数据库&#x1f31f; 感兴趣的可以先收藏起来&#xff0c;还…

MMPose-RTMO推理详解及部署实现(下)

目录 前言一、RTMO推理(Python)1. RTMO预测2. RTMO预处理3. RTMO后处理4. RTMO推理 二、RTMO推理(C)1. ONNX导出2. RTMO预处理3. RTMO后处理4. RTMO推理 三、RTMO部署1. 源码下载2. 环境配置2.1 配置CMakeLists.txt2.2 配置Makefile 3. ONNX导出4. engine生成5. 源码修改6. 运行…

HCP;IDA;ABIDE(孤独症)磁共振数据库下载

ABIDE https://fcon_1000.projects.nitrc.org/indi/abide/abide_II.html 根据研究目的和研究目的选择不同站点的数据—不同站点的数据 HCP-IDE https://ida.loni.usc.edu/project_info.jsp 点击下载-图像集合 选择研究对象 全选-下载

边缘密度分布图 | ggExtra包/aplot拼图/ggpubr包 等的实现方法

概述&#xff1a;aplot 拼图效果好 根据网友探索[1]&#xff0c;总结如下&#xff1a; ggExtra 包的拼图间隙有点大&#xff0c;图例在主图和边缘图之间&#xff0c;除非去掉图例&#xff0c;否则没法看。aplot包的默认拼图间隙很小&#xff0c;比较美观&#xff0c;图例在外…

Cyber Weekly #9

赛博新闻 1、OpenAI&#xff1a;GPTs向全部用户开放&#xff0c;使用GPT-4o OpenAI宣布所有ChatGPT免费用户现在可以在GPT商店中使用GPTs&#xff0c;并且这些GPTs现在使用最新的GPT-4o模型。 2、马斯克 vs. Yann LeCun 这一周&#xff0c;AI圈最热闹的莫过于马斯克和LeCun的…

深入解析智慧互联网医院系统源码:医院小程序开发的架构到实现

本篇文章&#xff0c;小编将深入解析智慧互联网医院系统的源码&#xff0c;重点探讨医院小程序开发的架构和实现&#xff0c;旨在为相关开发人员提供指导和参考。 一、架构设计 智慧互联网医院系统的架构设计是整个开发过程的核心&#xff0c;直接影响到系统的性能、扩展性和维…

ZCU102启动镜像(详细版)

ZCU102启动镜像--详细版本 详细步骤1、安装好Vitis&#xff08;GUI界面&#xff09;、 Vivado、 Petalinux软件然后vivado这边的操作就先结束了 创建Petalinux工程编译镜像打包 详细步骤 B站参考视频链接: link 1、安装好Vitis&#xff08;GUI界面&#xff09;、 Vivado、 Pe…

Nocobase快速上手 - 开发第一个插件

在前面的几篇博文中&#xff0c;记录了在Nocobase中配置collection和界面&#xff0c;这篇文章开始插件的开发。插件可以扩展Nocobase的业务能力&#xff0c;解锁更强大的功能。 环境搭建 创建插件需要配置nocobase的开发环境&#xff0c;笔者采用的是clone 官方代码repo的方…

使用python下载股票数据至sqlite数据库

代码下载地址&#xff1a; https://download.csdn.net/download/weixin_44600457/89389489

2024四川三支一扶“考生信息表”照着填❗

2024四川三支一扶“考生信息表”照着填❗ ☑️四川三支一扶开始报名&#xff0c;大家要按照提示如实、准确、完整填写《高校毕业生“三支一扶”计划招募考生信息表》哦~ ☑️不知道怎么填写的宝子们&#xff0c;可以参考图1。 ☑️毕业证书编号如实填写&#xff0c;若是应届生&…

【JavaEE进阶】——MyBatis操作数据库 (#{}与${} 以及 动态SQL)

目录 &#x1f6a9;#{}和${} &#x1f388;#{} 和 ${}区别 &#x1f388;${}使用场景 &#x1f4dd;排序功能 &#x1f4dd;like 查询 &#x1f6a9;数据库连接池 &#x1f388;数据库连接池使⽤ &#x1f6a9;MySQL开发企业规范 &#x1f6a9;动态sql &#x1f388…

JetBrains的Ai assistant 直接激活一年的来用用

ai assistant激活成功后&#xff0c;如图 ai assistant渠道&#xff1a;https://web.52shizhan.cn/activity/ai-assistant 在去年五月份的 Google I/O 2023 上&#xff0c;Google 为 Android Studio 推出了 Studio Bot 功能&#xff0c;使用了谷歌编码基础模型 Codey,Codey 是…

[C#]使用C#部署yolov8的obb旋转框检测tensorrt模型

【测试通过环境】 win10 x64 vs2019 cuda11.7cudnn8.8.0 TensorRT-8.6.1.6 opencvsharp4.9.0 .NET Framework4.7.2 NVIDIA GeForce RTX 2070 Super 版本和上述环境版本不一样的需要重新编译TensorRtExtern.dll&#xff0c;TensorRtExtern源码地址&#xff1a;TensorRT-CShar…

mysql中基于规则的优化

大家好。我们在平时开发的过程中可能会写一些执行起来十分耗费性能的语句。当MySQL遇到这种sql时会依据一些规则&#xff0c;竭尽全力的把这个很糟糕的语句转换成某种可以比较高效执行的形式&#xff0c;这个过程被称作查询重写&#xff0c;今天我们就来聊一下mysql在查询重写时…

【UML用户指南】-05-对基本结构建模-类

在UML中&#xff0c;所有的事物都被建模为类。类是对词汇表中一些事物的抽象。类不是个体对象&#xff0c;而是描述一些对象的一个完整集合。 强调抽象的最重要的部分&#xff1a;名称、属性和操作 类 &#xff08;class&#xff09;是对一组具有相同属性、操作、关系和语义的对…

【transformers】pytorch基础

传送门&#xff1a;https://transformers.run/c2/2021-12-14-transformers-note-3/ pytorch基础知识 tensor &#xff1a; 张量。 需要知道的内容&#xff1a; 张量构建张量计算自动微分形状调整广播机制索引与切片升降维度 Tensor 张量&#xff1a;理解成高纬度的向量就完…

短视频毫无营养:四川京之华锦信息技术公司

短视频毫无营养&#xff1a;现象背后的深度剖析 在数字时代&#xff0c;短视频以其短小精悍、易于传播的特点迅速崛起&#xff0c;成为社交媒体上的热门内容。然而&#xff0c;随着短视频的泛滥&#xff0c;关于其内容质量参差不齐、缺乏营养价值的争议也日益加剧。四川京之华…

SELF-RAG: Learning to Retrieve, Generate, and Critique Through Self-reflection

更多文章&#xff0c;请关注微信公众号&#xff1a;NLP分享汇 原文链接&#xff1a;ICLR2024&#xff1a;能够自我反思的SELF-RAG 下面介绍的这篇论文是最近被ICLR 2024 accepted oral&#xff0c;作者来自University of Washington & Allen Institute for AI & IBM R…

leetcode:最近的请求次数

class RecentCounter { public:RecentCounter() {cou 0;}int ping(int t) {q.push(t);while(!q.empty()){auto Front q.front();if(t-Front>3000)q.pop();else break;}return q.size();} private:int cou;queue<int> q; }; 仅个人做法&#xff0c;非最优解

postgressql——事务提交会通过delayChkpt阻塞checkpoint(9)

事务提交会通过delayChkpt阻塞checkpoint Postgresql事务在事务提交时&#xff08;执行commit的最后阶段&#xff09;会通过加锁阻塞checkpoint的执行&#xff0c;尽管时间非常短&#xff0c;分析为什么需要这样做&#xff1a; 首先看提交堆栈 #1 0x0000000000539175 in Co…