最低要求条件下的商环定义

从一篇老外的书籍看到的,感觉挺不错,记录下!!!

【商环定义】(最低要求)

R ≠ { 0 } R \neq \left\{ 0 \right\} R={0}为交换幺环,设子集 S ⊆ R S \subseteq R SR满足乘法运算封闭且含单位元 1 1 1。在 R × S R \times S R×S上定义如下的等价关系 ∼ \sim

( ∀ ⟨ r 1 , s 1 ⟩ , ⟨ r 2 , s 2 ⟩ ∈ R × S ) [ ⟨ r 1 , s 1 ⟩ ∼ ⟨ r 2 , s 2 ⟩ ⇔ ( ∃ s 3 ∈ S ) [ s 3 ( s 2 r 1 − r 2 s 1 ) = 0 ] ] \left( \forall\left\langle r_{1},s_{1} \right\rangle,\left\langle r_{2},s_{2} \right\rangle \in R \times S\ \right)\left\lbrack \left\langle r_{1},s_{1} \right\rangle\sim\left\langle r_{2},s_{2} \right\rangle \Leftrightarrow \left( \exists s_{3} \in S \right)\left\lbrack s_{3}\left( s_{2}r_{1} - r_{2}s_{1} \right) = 0 \right\rbrack \right\rbrack (r1,s1,r2,s2R×S )[r1,s1r2,s2(s3S)[s3(s2r1r2s1)=0]]

R S = R × S / ∼ R_{S} = R \times S/\sim RS=R×S/为集合 R × S R \times S R×S上的等价类。同时定义等价类 R S R_{S} RS上的加法和乘法为:

r 1 s 1 + r 2 s 2 = s 2 r 1 + r 2 s 1 s 1 s 2 r 1 s 1 × r 2 s 2 = r 1 r 2 s 1 s 2 \frac{r_{1}}{s_{1}} + \frac{r_{2}}{s_{2}} = \frac{s_{2}r_{1} + r_{2}s_{1}}{s_{1}s_{2}}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \frac{r_{1}}{s_{1}} \times \frac{r_{2}}{s_{2}} = \frac{r_{1}r_{2}}{s_{1}s_{2}} s1r1+s2r2=s1s2s2r1+r2s1                      s1r1×s2r2=s1s2r1r2

可以看出元素 0 1 \frac{0}{1} 10 R S R_{S} RS的零元,元素 1 1 \frac{1}{1} 11 R S R_{S} RS的单位元,并且 R S R_{S} RS为交换环。环 R S R_{S} RS被称为 R R R的以 S S S为分母的商环或者分数环。

【有效性验证】

1. 等价关系 ∼ \sim 具有自反性、传递性、对称性

自反性和对称性比较容易验证,下面证明传递性:

⟨ r 1 , s 1 ⟩ ∼ ⟨ r 2 , s 2 ⟩ 、 ⟨ r 2 , s 2 ⟩ ∼ ⟨ r 3 , s 3 ⟩ \left\langle r_{1},s_{1} \right\rangle\sim\left\langle r_{2},s_{2} \right\rangle 、\left\langle r_{2},s_{2} \right\rangle\sim\left\langle r_{3},s_{3} \right\rangle r1,s1r2,s2r2,s2r3,s3,根据定义有

s 12 ( s 2 r 1 − r 2 s 1 ) = 0 s_{12}\left( s_{2}r_{1} - r_{2}s_{1} \right) = 0 s12(s2r1r2s1)=0

s 23 ( s 3 r 2 − r 3 s 2 ) = 0 s_{23}\left( s_{3}r_{2} - r_{3}s_{2} \right) = 0 s23(s3r2r3s2)=0

那么

s 12 s 2 r 1 = s 12 r 2 s 1 s_{12}s_{2}r_{1} = s_{12}r_{2}s_{1} s12s2r1=s12r2s1

s 23 s 3 r 2 = s 23 r 3 s 2 s_{23}s_{3}r_{2} = s_{23}r_{3}s_{2} s23s3r2=s23r3s2

消去 r 2 r_{2} r2可得 s 12 s 2 s 23 s 3 r 1 = s 12 s 1 s 23 s 2 r 3 s_{12}s_{2}s_{23}s_{3}r_{1} = s_{12}s_{1}s_{23}s_{2}r_{3} s12s2s23s3r1=s12s1s23s2r3,即 s 12 s 23 s 2 ( s 3 r 1 − s 1 r 3 ) = 0 s_{12}s_{23}s_{2}\left( s_{3}r_{1} - s_{1}r_{3} \right) = 0 s12s23s2(s3r1s1r3)=0,那么 ⟨ r 1 , s 1 ⟩ ∼ ⟨ r 3 , s 3 ⟩ \left\langle r_{1},s_{1} \right\rangle\sim\left\langle r_{3},s_{3} \right\rangle r1,s1r3,s3,也就是满足传递性。

2. 加法是有效的

⟨ r 1 , s 1 ⟩ ∼ ⟨ r 3 , s 3 ⟩ 、 ⟨ r 2 , s 2 ⟩ ∼ ⟨ r 4 , s 4 ⟩ \left\langle r_{1},s_{1} \right\rangle\sim\left\langle r_{3},s_{3} \right\rangle 、\left\langle r_{2},s_{2} \right\rangle\sim\left\langle r_{4},s_{4} \right\rangle r1,s1r3,s3r2,s2r4,s4,接下来验证:

r 1 s 1 + r 2 s 2 = r 3 s 3 + r 4 s 4 \frac{r_{1}}{s_{1}} + \frac{r_{2}}{s_{2}} = \frac{r_{3}}{s_{3}} + \frac{r_{4}}{s_{4}} s1r1+s2r2=s3r3+s4r4

根据定义,需要验证

s 2 r 1 + r 2 s 1 s 1 s 2 = s 4 r 3 + r 4 s 3 s 3 s 4 \frac{s_{2}r_{1} + r_{2}s_{1}}{s_{1}s_{2}} = \frac{s_{4}r_{3} + r_{4}s_{3}}{s_{3}s_{4}} s1s2s2r1+r2s1=s3s4s4r3+r4s3

因为 ⟨ r 1 , s 1 ⟩ ∼ ⟨ r 3 , s 3 ⟩ 、 ⟨ r 2 , s 2 ⟩ ∼ ⟨ r 4 , s 4 ⟩ \left\langle r_{1},s_{1} \right\rangle\sim\left\langle r_{3},s_{3} \right\rangle 、\left\langle r_{2},s_{2} \right\rangle\sim\left\langle r_{4},s_{4} \right\rangle r1,s1r3,s3r2,s2r4,s4,所以

s 13 ( s 3 r 1 − r 3 s 1 ) = 0 s_{13}\left( s_{3}r_{1} - r_{3}s_{1} \right) = 0 s13(s3r1r3s1)=0

s 24 ( s 4 r 2 − r 4 s 2 ) = 0 s_{24}\left( s_{4}r_{2} - r_{4}s_{2} \right) = 0 s24(s4r2r4s2)=0

从而

s 13 s 24 ( ( s 2 r 1 + r 2 s 1 ) ( s 3 s 4 ) − ( s 4 r 3 + r 4 s 3 ) ( s 1 s 2 ) ) s_{13}s_{24}\left( \left( s_{2}r_{1} + r_{2}s_{1} \right)\left( s_{3}s_{4} \right) - \left( s_{4}r_{3} + r_{4}s_{3} \right)\left( s_{1}s_{2} \right) \right) s13s24((s2r1+r2s1)(s3s4)(s4r3+r4s3)(s1s2))

= s 13 s 24 s 4 s 2 ( s 3 r 1 − r 3 s 1 ) + s 13 s 24 s 1 s 3 ( s 4 r 2 − r 4 s 2 ) = 0 = s_{13}s_{24}s_{4}s_{2}\left( s_{3}r_{1} - r_{3}s_{1} \right) + s_{13}s_{24}s_{1}s_{3}\left( s_{4}r_{2} - r_{4}s_{2} \right) = 0 =s13s24s4s2(s3r1r3s1)+s13s24s1s3(s4r2r4s2)=0

s 2 r 1 + r 2 s 1 s 1 s 2 = s 4 r 3 + r 4 s 3 s 3 s 4 \frac{s_{2}r_{1} + r_{2}s_{1}}{s_{1}s_{2}} = \frac{s_{4}r_{3} + r_{4}s_{3}}{s_{3}s_{4}} s1s2s2r1+r2s1=s3s4s4r3+r4s3

r 1 s 1 + r 2 s 2 = r 3 s 3 + r 4 s 4 \frac{r_{1}}{s_{1}} + \frac{r_{2}}{s_{2}} = \frac{r_{3}}{s_{3}} + \frac{r_{4}}{s_{4}} s1r1+s2r2=s3r3+s4r4

3. 乘法是有效的

⟨ r 1 , s 1 ⟩ ∼ ⟨ r 3 , s 3 ⟩ 、 ⟨ r 2 , s 2 ⟩ ∼ ⟨ r 4 , s 4 ⟩ \left\langle r_{1},s_{1} \right\rangle\sim\left\langle r_{3},s_{3} \right\rangle 、\left\langle r_{2},s_{2} \right\rangle\sim\left\langle r_{4},s_{4} \right\rangle r1,s1r3,s3r2,s2r4,s4,接下来验证:

r 1 s 1 × r 2 s 2 = r 3 s 3 × r 4 s 4 \frac{r_{1}}{s_{1}} \times \frac{r_{2}}{s_{2}} = \frac{r_{3}}{s_{3}} \times \frac{r_{4}}{s_{4}} s1r1×s2r2=s3r3×s4r4

根据定义,需要验证

r 1 r 2 s 1 s 2 = r 3 r 4 s 3 s 4 \frac{r_{1}r_{2}}{s_{1}s_{2}} = \frac{r_{3}r_{4}}{s_{3}s_{4}} s1s2r1r2=s3s4r3r4

因为 ⟨ r 1 , s 1 ⟩ ∼ ⟨ r 3 , s 3 ⟩ 、 ⟨ r 2 , s 2 ⟩ ∼ ⟨ r 4 , s 4 ⟩ \left\langle r_{1},s_{1} \right\rangle\sim\left\langle r_{3},s_{3} \right\rangle 、\left\langle r_{2},s_{2} \right\rangle\sim\left\langle r_{4},s_{4} \right\rangle r1,s1r3,s3r2,s2r4,s4,所以

s 13 ( s 3 r 1 − r 3 s 1 ) = 0 s_{13}\left( s_{3}r_{1} - r_{3}s_{1} \right) = 0 s13(s3r1r3s1)=0

s 24 ( s 4 r 2 − r 4 s 2 ) = 0 s_{24}\left( s_{4}r_{2} - r_{4}s_{2} \right) = 0 s24(s4r2r4s2)=0

s 13 s 3 r 1 = s 13 r 3 s 1 s_{13}s_{3}r_{1} = s_{13}r_{3}s_{1} s13s3r1=s13r3s1

s 24 s 4 r 2 = s 24 r 4 s 2 s_{24}s_{4}r_{2} = s_{24}r_{4}s_{2} s24s4r2=s24r4s2

从而

s 13 s 24 ( s 3 s 4 r 1 r 2 − s 1 s 2 r 3 r 4 ) = s 24 s 13 r 3 s 1 s 4 r 2 − s 13 s 24 r 3 s 1 s 4 r 2 = 0 s_{13}s_{24}\left( s_{3}s_{4}r_{1}r_{2} - s_{1}s_{2}r_{3}r_{4} \right) = s_{24}s_{13}r_{3}s_{1}s_{4}r_{2} - s_{13}s_{24}r_{3}s_{1}s_{4}r_{2} = 0 s13s24(s3s4r1r2s1s2r3r4)=s24s13r3s1s4r2s13s24r3s1s4r2=0

r 1 r 2 s 1 s 2 = r 3 r 4 s 3 s 4 \frac{r_{1}r_{2}}{s_{1}s_{2}} = \frac{r_{3}r_{4}}{s_{3}s_{4}} s1s2r1r2=s3s4r3r4

r 1 s 1 × r 2 s 2 = r 3 s 3 × r 4 s 4 \frac{r_{1}}{s_{1}} \times \frac{r_{2}}{s_{2}} = \frac{r_{3}}{s_{3}} \times \frac{r_{4}}{s_{4}} s1r1×s2r2=s3r3×s4r4

4. 加法乘法都满足交换律结合律,还满足分配律

通过字母运算容易验证,不再赘述。

【备注】

S S S选择元素时排除了所有 R R R的乘法零因子后,等价关系可以化简为

( ∀ ⟨ r 1 , s 1 ⟩ , ⟨ r 2 , s 2 ⟩ ∈ R × S ) [ ⟨ r 1 , s 1 ⟩ ∼ ⟨ r 2 , s 2 ⟩ ⇔ s 2 r 1 − r 2 s 1 = 0 ] \left( \forall\left\langle r_{1},s_{1} \right\rangle,\left\langle r_{2},s_{2} \right\rangle \in R \times S\ \right)\left\lbrack \left\langle r_{1},s_{1} \right\rangle\sim\left\langle r_{2},s_{2} \right\rangle \Leftrightarrow s_{2}r_{1} - r_{2}s_{1} = 0 \right\rbrack (r1,s1,r2,s2R×S )[r1,s1r2,s2s2r1r2s1=0]

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

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

相关文章

从零到一建设数据中台 - 关键技术汇总

一、数据中台关键技术汇总 语言框架:Java、Maven、Spring Boot 数据分布式采集:Flume、Sqoop、kettle 数据分布式存储:Hadoop HDFS 离线批处理计算:MapReduce、Spark、Flink 实时流式计算:Storm/Spark Streaming、…

没有 rr 头的 kamailio 路由脚本

分享下笔者最近编写的 kamailio 路由脚本 不用 rr 模块,因为有些 sip 协议栈不支持 rr 头处理 sip 注册直接回 200 OK,这部分目前不是重点更换 contact 头,换成 kamailio 自己目前只支持 sip transport 为 udp,以后可能支持 tcp&…

2024.05.30更新票星球抢购软件

文章目录 软件功能订阅须知早期代码软件功能 自持自定义搜索演唱会信息支持添加、删除观影人信息支持多账号并发抢票支持捡漏模式支持IP代理订阅须知 订阅后如果有问题,请联系博主,如果不懂可以免费提供讲解和远程服务早期代码 def enter_concert(self):print(u###打开浏览器…

Unity DOTS技术(一)简介

文章目录 一.概述二.将会介绍的内容三.DOTS技术与传统方式的不同传统问题DOTS技术 四.插件安装 一.概述 传统的游戏开发中,如果有成千上万的物体在场景中运动,那么你一定会认为是疯了.但有了Dost技术这一些都将变成可能.如图场景中有10000个物体在同时运动,帧率即能保持在60Fp…

【星海出品】Langchain Prompt template

Management prompt words We can use this program to face students from different families. But now this program cannot communicate in Chinese. URL: https://platform.openai.com/account/api-keys LLMs: 这是一个语言模型,It lets input word…

Science:论文写不出来?这三个方法让你一天完成一篇论文

我是娜姐 迪娜学姐 ,一个SCI医学期刊编辑,探索用AI工具提效论文写作和发表。 众所周知,干了学术研究这一行,论文就是你研究质量和数量的衡量标准,可以说,你的一切“输入”-读文献、做实验、分析数据&#x…

k8s之PV、PVC

文章目录 k8s之PV、PVC一、存储卷1、存储卷定义2、存储卷的作用2.1 数据持久化2.2 数据共享2.3 解耦2.4 灵活性 3、存储卷的分类3.1 emptyDir存储卷3.1.1 定义3.1.2 特点3.1.3 用途3.1.4 示例 3.2 hostPath存储卷3.2.1 定义3.2.2 特点3.2.3 用途3.2.4 示例 3.3 NFS存储卷3.3.1 …

【C语言】柔性数组

前言 你是否听说过柔性数组呢?如果没有的话,就一起了解一下吧。 (没有malloc free calloc realloc 四个函数的前置知识的朋友最好先阅读一下我的“动态内存管理”一文,因为下面会涉及到。) 介绍 C99中,…

python找出100~999之间的水仙花数字

水仙花数字:个位,十位,百位的立方之和等于这个数本身 例如:153 1^35^33^3 for i in range(100, 1000):bw i // 100sw i % 100 // 10gw i % 10if bw ** 3 sw ** 3 gw ** 3 i:print(i)

Chatgpt-4o:人工智能领域的革新与未来展望

随着科技的飞速发展,人工智能(AI)领域正经历着前所未有的变革。作为这一领域的佼佼者,OpenAI于2024年5月13日正式发布了其最新旗舰模型——Chatgpt-4o。这一模型不仅在技术上取得了重大突破,更在用户体验、应用场景以及…

【OS】AUTOSAR OS系统调用产生Trap的过程详解

目录 前言 正文 1.Os_Hal_Trap使用示例 2. Os_Hal_Trap的定义 3. syscall详解详解

LeetCode题练习与总结:路径总和Ⅱ--113

一、题目描述 给你二叉树的根节点 root 和一个整数目标和 targetSum ,找出所有 从根节点到叶子节点 路径总和等于给定目标和的路径。 叶子节点 是指没有子节点的节点。 示例 1: 输入:root [5,4,8,11,null,13,4,7,2,null,null,5,1], target…

FreeRTOS同步互斥与通信

本章简介: 本章是概述性的内容。可以把多任务系统当做一个团队,里面的每一个任务就相当于团队里的一个人。团队成员之间要协调工作进度(同步)、争用会议室(互斥)、沟通(通信)。多任务系统中所涉及的概念,都可以在现实生活中找到例子。 各类RT…

Java大厂面试题第2季

一、本课程前提要求和说明 面试题1: 面试题2: 面试题3: 面试题4: 面试题5: 高频最多的常见笔试面试题目 ArrayList HashMap 底层是什么东东 JVM/GC 多线程与高并发 java集合类

【科研基础】证明积累

1-Bayesian Estimation (P317) Suppose that x = θ + ν w h e r e ν i s a n N ( 0 , σ ) random variable and θ is the value of a n N ( θ 0 , σ 0 ) random variable θ (Fig. 8-7). Find the bayesian estimate θ o f θ . \begin{align…

大学校园广播“录编播”与IP校园公共广播系统技术方案

一、项目概述 1、校园IP网络广播系统概述 大学校园广播系统是学校整个弱电系统中的子系统,它是每个学校不可缺少的基础设施之一,在传递校园文化、传播校园新闻资讯方面发挥着重要的作用。近几年来,虽然视频技术和网络技术在飞速发展&#xf…

操作系统的体系结构:宏内核和微内核

操作系统的体系结构是一个开放的问题。操作系统在核心态为应用程序提供公共的服务,那么操作系统在核心态应该提供什么服务、怎样提供服务?有关这个问题的回答形成了两种主要的体系结构:宏内核和微内核。 宏内核:大而全 宏内核系统…

2024蓝桥杯国赛C++研究生组游记+个人题解

Day0 开始复习,过了一遍大部分板子 本来打算再学一遍SAM,但是想到去年考了字符串大题今年应该不会再考了吧。。 过了一遍数据结构和图论,就1点了 两点的时候还没睡着,舍友打游戏好像打到2点过。。 Day1 相当困 第一题&…

word里面没有Acrobat选项

加载项被禁止,选择项里面,没有Acrobat选项 文件-》选项 加载项-》com加载项-》转到 添加Acrobat 出现Acrobat选项

[Qt]关于QListWidget、QScrollArea 为什么在QDesigner上设置了之后界面上仍然不生效的问题

前言 最近做了一些有关QListWidget和QScrollArea的控件,我去,这两个控件是真的坑,明明我在QDesigner的操作界面上对这两个控件的界面进行了修改,但是编译出来的软件就是看上去什么都没有,很坑,Gpt也没解决…