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

2024-06-02 03:20

本文主要是介绍最低要求条件下的商环定义,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

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

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

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.chinasem.cn/article/1022891

相关文章

Spring 源码解读:自定义实现Bean定义的注册与解析

引言 在Spring框架中,Bean的注册与解析是整个依赖注入流程的核心步骤。通过Bean定义,Spring容器知道如何创建、配置和管理每个Bean实例。本篇文章将通过实现一个简化版的Bean定义注册与解析机制,帮助你理解Spring框架背后的设计逻辑。我们还将对比Spring中的BeanDefinition和BeanDefinitionRegistry,以全面掌握Bean注册和解析的核心原理。

封装MySQL操作时Where条件语句的组织

在对数据库进行封装的过程中,条件语句应该是相对难以处理的,毕竟条件语句太过于多样性。 条件语句大致分为以下几种: 1、单一条件,比如:where id = 1; 2、多个条件,相互间关系统一。比如:where id > 10 and age > 20 and score < 60; 3、多个条件,相互间关系不统一。比如:where (id > 10 OR age > 20) AND sco

浙大数据结构:树的定义与操作

四种遍历 #include<iostream>#include<queue>using namespace std;typedef struct treenode *BinTree;typedef BinTree position;typedef int ElementType;struct treenode{ElementType data;BinTree left;BinTre

类和对象的定义和调用演示(C++)

我习惯把类的定义放在头文件中 Student.h #define _CRT_SECURE_NO_WARNINGS#include <string>using namespace std;class student{public:char m_name[25];int m_age;int m_score;char* get_name(){return m_name;}int set_name

c++ 定义二位数组

在 C++ 中,定义二维数组有几种常见的方式。以下是几个示例: 1. 静态二维数组 定义: int array[3][4]; 这里,array 是一个 3 行 4 列的整数二维数组。 初始化: int array[3][4] = {{1, 2, 3, 4},{5, 6, 7, 8},{9, 10, 11, 12}}; 2. 动态二维数组 使用指针和动态内存分配: 定义:

使用条件变量实现线程同步:C++实战指南

使用条件变量实现线程同步:C++实战指南 在多线程编程中,线程同步是确保程序正确性和稳定性的关键。条件变量(condition variable)是一种强大的同步原语,用于在线程之间进行协调,避免数据竞争和死锁。本文将详细介绍如何在C++中使用条件变量实现线程同步,并提供完整的代码示例和详细的解释。 什么是条件变量? 条件变量是一种同步机制,允许线程在某个条件满足之前进入等待状态,并在条件满

一些数学经验总结——关于将原一元二次函数增加一些限制条件后最优结果的对比(主要针对公平关切相关的建模)

1.没有分段的情况 原函数为一元二次凹函数(开口向下),如下: 因为要使得其存在正解,必须满足,那么。 上述函数的最优结果为:,。 对应的mathematica代码如下: Clear["Global`*"]f0[x_, a_, b_, c_, d_] := (a*x - b)*(d - c*x);(*(b c+a d)/(2 a c)*)Maximize[{f0[x, a, b,

两轴直驱稳定云台的电源系统设计与关键要求

两轴直驱稳定云台,作为现代摄影、摄像及监控领域的高精尖设备,广泛应用于各种不稳定环境(如移动车辆、海上船只、空中飞机等),以提供相机、传感器等关键设备的稳定支持。其卓越的性能和可靠性,很大程度上依赖于其精心设计的电源系统。本文将对两轴直驱稳定云台的电源系统要求进行全面剖析,并深入探讨电压波动可能带来的不良影响及应对措施。 电源系统的核心要求 高容量与功率:

notepad++ 正则表达式多条件查找替换

基础语法参考: https://www.cnblogs.com/winstonet/p/10635043.html https://www.linuxidc.com/Linux/2019-05/158701.htm   通常情况下我们查找的内容和要被替换掉的内容是一样的,我们只需要使用正则表达式精确框定查找内容,替换直接输入要替换的内容即可。 但有时会比较复杂,查找的内容,只需要替换其中

FPGA开发:条件语句 × 循环语句

条件语句 if_else语句 if_else语句,用来判断是否满足所给定的条件,根据判断的结果(真或假)决定执行给出的两种操作之一。 if(表达式)语句; 例如: if(a>b) out1=int1; if(表达式)         语句1; else         语句2; 例如: if(a>b)out1=int1;elseout1=int2; if(表达式1) 语句1; els