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

news2024/11/20 10:43:32

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.coloradmin.cn/o/1791481.html

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

相关文章

Life of a Pixel 阅读笔记

PPT地址&#xff1a;​​​​​​​​​​​​​​​​​​​​​https://docs.google.com/presentation/d/1boPxbgNrTU0ddsc144rcXayGA_WF53k96imRH8Mp34Y/edit?uspsharing 这份PPT讲述了Chromium浏览器内核中html文档渲染成像素的主要过程。网上有很多介绍和转载&#xff0c…

【深度学习】安全帽检测,目标检测,Faster RCNN训练

文章目录 资料环境尝试训练安全帽数据训练测试预测全部数据、代码、训练完的权重等资料见&#xff1a; 资料 依据这个进行训练&#xff1a; https://github.com/WZMIAOMIAO/deep-learning-for-image-processing/tree/master/pytorch_object_detection/faster_rcnn ├── bac…

Vue3中的常见组件通信之v-model

Vue3中的常见组件通信之v-model 概述 ​ 在vue3中常见的组件通信有props、mitt、v-model、 r e f s 、 refs、 refs、parent、provide、inject、pinia、slot等。不同的组件关系用不同的传递方式。常见的撘配形式如下表所示。 组件关系传递方式父传子1. props2. v-model3. $r…

插件:Plugins

一、安装网格插件

配置 HTTP 代理 (HTTP proxy)

配置 HTTP 代理 [HTTP proxy] 1. Proxies2. curl2.1. Environment2.2. Proxy protocol prefixes 3. Use an HTTP proxy (使用 HTTP 代理)3.1. Using the examples (使用示例)3.1.1. Linux or macOS3.1.2. Windows Command Prompt 3.2. Authenticating to a proxy (向代理进行身…

springboot大学生就业管理系统-计算机毕业设计源码89344

摘 要 信息化社会内需要与之针对性的信息获取途径&#xff0c;但是途径的扩展基本上为人们所努力的方向&#xff0c;由于站在的角度存在偏差&#xff0c;人们经常能够获得不同类型信息&#xff0c;这也是技术最为难以攻克的课题。针对大学生就业管理系统等问题&#xff0c;对大…

apache poi 插入“下一页分节符”并设置下一节纸张横向的一种方法

一、需求描述 我们知道&#xff0c;有时在word中需要同时存在不同的节&#xff0c;部分页面需要竖向、部分页面需要横向。本文就是用java调用apache poi来实现用代码生成上述效果。下图是本文实现的效果&#xff0c;供各位看官查阅&#xff0c;本文以一篇课文为例&#xff0c;…

el-table动态配置显示表头

在实际工作中&#xff0c;会遇到动态配置e-table表头的情况&#xff0c;如下方法可以实现&#xff1a; // 要展示的列 column: [{prop: name, name: 名称 }, {prop: age, name: 年龄 }, {prop: sex, name: 性别 }, {prop: address, name: 地址 }, {prop: city, name: 城市 }]…

【HarmonyOS】List组件多层对象嵌套ForEach渲染更新的处理

【HarmonyOS】List组件多层对象嵌套ForEach渲染更新的处理 问题背景&#xff1a; 在鸿蒙中UI更新渲染的机制&#xff0c;与传统的Android IOS应用开发相比。开发会简单许多&#xff0c;开发效率提升显著。 一般传统应用开发的流程处理分为三步&#xff1a;1.画UI&#xff0c;…

webservice、WCF、webAPI、MVC权限认证

webservice 权限认证 》》soapHeader SOAPHeader案例 服务引用下生成的服务方法参数中会自动加入一个soapHeader的参数&#xff0c; WEB服务引用则没有&#xff0c;我感觉采用WEB服务引用基于这种验证比较方便&#xff0c; 因为只需将soapHeader实例赋值一次就可以多次调用不…

不是,有了这套IP地址管理开源系统谁还用Excel啊

号主&#xff1a;老杨丨11年资深网络工程师&#xff0c;更多网工提升干货&#xff0c;请关注公众号&#xff1a;网络工程师俱乐部 中午好&#xff0c;我的网工朋友。 作为网工的我们想必都很清楚IP地址管理的重要性以及其复杂性&#xff0c;传统的Excel表格虽然在某些情况下能…

Nodejs-- 网络编程

网络编程 构建tcp服务 TCP tcp全名为传输控制协议。再osi模型中属于传输层协议。 tcp是面向连接的协议&#xff0c;在传输之前需要形成三次握手形成会话 只有会话形成了&#xff0c;服务端和客户端才能想发送数据&#xff0c;在创建会话的过程中&#xff0c;服务端和客户…

强化训练:day12(删除公共字符、两个链表的第一个公共结点、mari和shiny)

文章目录 前言1. 删除公共字符1.1 题目描述1.2 解题思路1.3 代码实现 2. 两个链表的第一个公共结点2.1 题目描述2.2 解题思路2.3 代码实现 3. mari和shiny3.1 题目描述3.2 解题思路3.3 代码实现 总结 前言 1. 删除公共字符   2. 两个链表的第一个公共结点   3. mari和shiny…

jenkins应用2-freestyle-job

1.jenkins应用 1.jenkins构建的流程 1.使用git参数化构建&#xff0c;用标签区分版本 2.git 拉取gitlab远程仓库代码 3.maven打包项目 4.sonarqube经行代码质量检测 5.自定义制作镜像发送到远程仓库harbor 6.在远程服务器上拉取代码启动容器 这个是构建的整个过程和步骤…

基于Django的博客系统之用HayStack连接elasticsearch增加搜索功能(五)

上一篇&#xff1a;搭建基于Django的博客系统数据库迁移从Sqlite3到MySQL&#xff08;四&#xff09; 下一篇&#xff1a;基于Django的博客系统之增加类别导航栏&#xff08;六&#xff09; 功能概述 添加搜索框用于搜索博客。 需求详细描述 1. 添加搜索框用于搜索博客 描…

Windows安装ElasticSearch版本7.17.0

在Windows系统上本地安装Elasticsearch的详细步骤如下&#xff1a; 1. 下载Elasticsearch 访问 Elasticsearch下载页面。选择适用于Windows的版本7.17.0&#xff0c;并下载ZIP文件。 2. 解压文件 下载完成后&#xff0c;找到ZIP文件&#xff08;例如 elasticsearch-7.17.0.…

Windows端口本地转发

参考 微软Netsh interface portproxy 命令 界面端口代理的 Netsh 命令 | Microsoft Learn 使用Windows系统的portproxy功能配置端口转发 使用Windows系统的portproxy功能配置端口转发-阿里云帮助中心 (aliyun.com) 将来自0.0.0.0地址对端口35623的访问转发到172.18.106.16…

Locality-aware subgraphs for inductive link prediction in knowledge graphs

Locality-aware subgraphs for inductive link prediction in knowledge graphs a b s t r a c t 最近的知识图&#xff08;KG&#xff09;归纳推理方法将链接预测问题转化为图分类任务。 他们首先根据目标实体的 k 跳邻域提取每个目标链接周围的子图&#xff0c;使用图神经网…

Docker最新超详细版教程通俗易懂

文章目录 一、Docker 概述1. Docker 为什么出现2. Docker 的历史3. Docker 能做什么 二、Docker 安装1. Docker 的基本组成2. 安装 Docker3. 阿里云镜像加速4. 回顾 hello-world 流程5. 底层原理 三、Docker 的常用命令1. 帮助命令2. 镜像命令dokcer imagesdocker searchdocker…

【云岚家政】-day00-开发环境配置

文章目录 1 开发工具版本2 IDEA环境配置2.1 编码配置2.2 自动导包设置2.3 提示忽略大小写2.4 设置 Java 编译级别 3 Maven环境3.1 安装Maven3.2 配置仓库3.3 IDEA中配置maven 4 配置虚拟机4.1 导入虚拟机4.2 问题 5 配置数据库环境5.1 启动mysql容器5.2 使用MySQL客户端连接数据…