代数结构与数理逻辑:3.环

news2024/11/17 21:26:22

在这里插入图片描述

图1 环

14.1 环的定义与性质

:代数系统 [ R ; + ; ∗ ] [R;+;*] [R;+;],其中+,*为定义在 R R R上的二元运算,满足下述条件,对任意 a , b , c ∈ R a,b,c\in R a,b,cR,

​ +可结合、交换,且有单位元、逆元;*可结合,且满足分配率,则称 [ R , + , ∗ ] [R,+,*] [R,+,]为环

[ R ; + ] [R;+] [R;+]为Abel群,[R,*]为半群

零因子 [ R ; + ; ⋅ ] [R;+;\cdot] [R;+;]为环, a , b ∈ R , a ≠ 0 , b ≠ 0 a,b\in R,a\ne 0,b\ne0 a,bRa=0,b=0,但 a ⋅ b = 0 a\cdot b=0 ab=0,称 a a a为R的一个左零因子, b b b为R的一个右零因子,统称 a , b a,b a,b为R的零因子。

图1中的交换与单位元,都是对第二个运算而言的,由图不难得出各种环和域的定义,不再赘述

定理1 [ R ; + , ⋅ ] [R;+,\cdot] [R;+,]为环,则 ∀ a , b ∈ R \forall a,b\in R a,bR,有 (p175)

  1. a ⋅ 0 = 0 ⋅ a = 0 a\cdot0=0\cdot a=0 a0=0a=0
  2. a ⋅ ( − b ) = ( − a ) ⋅ b = − ( a b ) a\cdot(-b)=(-a)\cdot b=-(ab) a(b)=(a)b=(ab)

由分配律不难得出

定理2 [ R ; + , ⋅ ] [R;+,\cdot] [R;+,]为整环,则 ⋅ \cdot 满足消去律

也是分配律, a b = a c , a ( b − c ) = a b − a c ab=ac,a(b-c)=ab-ac ab=ac,a(bc)=abac,又无零因子, a ≠ 0 a\ne0 a=0,则 b − c = 0 , b = c b-c=0,b=c bc=0,b=c

14.2 子环与环同态

14.2.1 子环

子环 [ S ; + , ⋅ ] [S;+,\cdot] [S;+,]为环, S ⊆ R , S ≠ ∅ S\subseteq R,S\ne\varnothing SR,S=,当 [ S ; + , ⋅ ] [S;+,\cdot] [S;+,]为环时,称它为 R R R的子环, S = R , S = { 0 } S=R,S=\{0\} S=R,S={0}时称它为 R R R的平凡子环,否则为非平凡子环,当S是R的真子集时,称S为R的真子环。

定理3:S是R的子环 ⟺ ∀ a , b ∈ S \Longleftrightarrow\forall a,b\in S a,bS:(p177),三个封闭

1. a + b ∈ S a+b\in S a+bS 2. − a ∈ S -a\in S aS 3. a ⋅ b ∈ S a\cdot b\in S abS

必要性是显然的,充分性:由封闭和逆元可知[S;+]是[R;+]的子群,由3可知[S;·]封闭且满足结合律,则为半群,则 S ⊆ R S\subseteq R SR,又满足分配律,则为子环

环的中心:所有与R中的任意元素在乘法运算下可交换的那些元素全体,即 C = { x ∣ x ∈ R , ∀ a ∈ R , a x = x a } C=\{x|x\in R,\forall a\in R,ax=xa\} C={xxR,aR,ax=xa}

定理4:环 R R R的中心 C C C是它的子环(p177)

根据定理3证明即可

单位子环、特征数 [ R ; + , ⋅ ] [R;+,\cdot] [R;+,]为有单位元环, e e e为其单位元,则 E = { n e ∣ n ∈ Z } E=\{ne|n\in Z\} E={nenZ}称为 R R R的单位子环。当 ∣ E ∣ < + ∞ |E|\lt+\infty E<+,必 ∃ m , n ∈ Z , m ≠ n , \exists m,n\in Z,m\ne n, m,nZ,m=n,使 m e = n e , ( m − n ) e = 0 me=ne,(m-n)e=0 me=ne,(mn)e=0,使 k e = 0 ke=0 ke=0之最小正整数称为环 R R R的特征数;如果不存在这样的整数,则称该环的特征数为0,以 c h a r   R char\ R char R表示 R R R的特征数。

定理5:设p为有单位元环 R R R的特征数,则(p178)

  1. 对任何 a ≠ 0 , p a = 0 a\ne 0,pa=0 a=0,pa=0,而且,当 R R R是整环时, p p p也是使 p a = 0 pa=0 pa=0对任何 a ≠ 0 a\ne 0 a=0都成立的最小非0正整数

    p a = p ( e a ) = ( p e ) a = 0 ⋅ a = 0 pa=p(ea)=(pe)a=0\cdot a=0 pa=p(ea)=(pe)a=0a=0(p个a相加等于p个ea相加,再把a提出来)

  2. 当R为整环时,其特征数要么为素数要么为0

    p a = ( p 1 p 2 ) a = ( p 1 a ) ( p 2 e ) = 0 pa=(p_1p_2)a=(p_1a)(p_2e)=0 pa=(p1p2)a=(p1a)(p2e)=0,矛盾

14.2.2 环同态

**环同态:**已知环 [ R ; + , ⋅ ] [R;+,\cdot] [R;+,] [ R ′ ; ∘ , ∗ ] [R';\circ,*] [R;,],若存在映射 φ : R → R ′ , \varphi:R\rightarrow R', φ:RR,对任 r 1 , r 2 ∈ R r_1,r_2\in R r1,r2R
φ ( r 1 + r 2 ) = φ ( r 1 ) ∘ φ ( r 2 ) φ ( r 1 r 2 ) = φ ( r 1 ) ∗ φ ( r 2 ) \begin{align*} \varphi(r_1+r_2)&=\varphi(r_1)\circ\varphi(r_2)\\ \varphi(r_1r_2)&=\varphi(r_1)*\varphi(r_2) \end{align*} φ(r1+r2)φ(r1r2)=φ(r1)φ(r2)=φ(r1)φ(r2)
则称 φ \varphi φ R R R R ′ R' R的同态映射;当 φ ( R ) = R ′ \varphi(R)=R' φ(R)=R称两个环同态;当 φ \varphi φ为一一对应称两个环同构;当 R ′ ⊆ R R'\subseteq R RR时,称为自同态和自同构。

定理6:(p178)

  1. φ ( 0 ) = 0 ′ , 0 \varphi(0)=0',0 φ(0)=00 R R R之加法单位元, 0 ′ 0' 0 R ′ R' R之加法单位元。
  2. 如果R和R’均为有单位元环,且 e , e ′ e,e' e,e分别为其单位元,当 φ \varphi φ是满射或者 R ′ R' R为无零因子环且 φ \varphi φ不是零同态(所有元素映射过去都是0’),则 φ ( e ) = e ′ \varphi(e)=e' φ(e)=e
  3. φ ( R ) ⊆ R ′ \varphi(R)\subseteq R' φ(R)R必为 R ′ R' R的子环

推论1:若环同构,则R和R’同为整环(除环、域)

定理7:设有整环 R , c h a r   R = p ( p ≠ 0 ) R,char\ R =p(p\ne 0) R,char R=p(p=0),作映射 φ : R → R , ∀ a ∈ R , φ ( a ) = a p \varphi:R\rightarrow R,\forall a\in R,\varphi(a)=a^p φ:RR,aR,φ(a)=ap是R的一个同态映射且$a\ne b 时 , 时, ,\varphi(a)\ne\varphi(b)$(p179)

在交换环中二项式定理成立,而且p是素数,不难发现 ( a + b ) p (a+b)^p (a+b)p除了 a p , b p a^p,b^p apbp,其余各项系数都有因子p,则

( a + b ) p = a p + b p , ( a − b ) p = a p − b p , ( a b ) p = a p b p (a+b)^p=a^p+b^p,(a-b)^p=a^p-b^p,(ab)^p=a^pb^p (a+b)p=ap+bp,(ab)p=apbp,(ab)p=apbp,再证明若 a ≠ b , φ ( a ) ≠ φ ( b ) a\ne b,\varphi(a)\ne\varphi(b) a=b,φ(a)=φ(b)即可(是映射)

14.3 多项式环

**多项式环:**定义在域F上的多项式 F [ x ] = { ∑ i = 0 n a i x i ∣ i = 0 , ⋯   , n , a i ∈ F } F[x]=\{\sum^n_{i=0}a_ix^i|i=0,\cdots,n,a_i\in F\} F[x]={i=0naixii=0,,n,aiF}关于多项式的乘法与加法构成整环,称 F [ x ] F[x] F[x]为域上的多项式环

定理8(p180):对 f ( x ) ∈ F [ x ] , g ( x ) ∈ F [ x ] , g ( x ) ≠ 0 , ∃ f(x)\in F[x],g(x)\in F[x],g(x)\ne 0,\exist f(x)F[x],g(x)F[x],g(x)=0唯一的 q ( x ) , r ( x ) ∈ F [ x ] , d e g   r ( x ) < d e g   g ( x ) q(x),r(x)\in F[x],deg \ r(x)\lt deg\ g(x) q(x),r(x)F[x],deg r(x)<deg g(x) r ( x ) = 0 r(x)=0 r(x)=0,使得
f ( x ) = g ( x ) q ( x ) + r ( x ) f(x)=g(x)q(x)+r(x) f(x)=g(x)q(x)+r(x)

分为 d e g   f ( x ) < d e g   g ( x ) deg \ f(x)\lt deg\ g(x) deg f(x)<deg g(x) d e g   f ( x ) ≥ d e g   g ( x ) deg \ f(x)\ge deg\ g(x) deg f(x)deg g(x),前者是显然的,后者可通过归纳得到,再证明唯一性即可

推论2: f ( x ) , ( x − a ) ∈ F [ x ] f(x),(x-a)\in F[x] f(x),(xa)F[x],其中 a ∈ F a\in F aF,则 f ( x ) f(x) f(x) x − a x-a xa除的余式为 f ( a ) f(a) f(a)。(p180)

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

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

相关文章

【Redis教程0x04】详解Redis的4个高级数据类型

引言 在【Redis教程0x03】中&#xff0c;我们介绍了Redis中常用的5种基础数据类型&#xff0c;我们再来回顾一下它们的使用场景&#xff1a; String&#xff1a;存储对象、url、计数、分布式锁&#xff1b;List&#xff1a;消息队列&#xff1b;Hash&#xff1a;存储对象、购…

2024年大模型面试准备(二):LLM容易被忽略的Tokenizer与Embedding

分词和嵌入一直是LM被忽略的一部分。随着各大框架如HF的不断完善&#xff0c;大家对tokenization和embedding的重视程度越来越低&#xff0c;到现在初学者大概只能停留在调用tokenizer.encode这样的程度了。 知其然不知其所以然是很危险的。比如你要调用ChatGPT的接口&#xf…

mysql迁移达梦数据库 Java踩坑合集

达梦数据库踩坑合集 文章目录 安装达梦设置大小写不敏感Spring boot引入达梦驱动&#xff08;两种方式&#xff09;将jar包打入本地maven仓库使用国内maven仓库&#xff08;阿里云镜像&#xff09; 达梦驱动yml配置springboot mybatis-plus整合达梦,如何避免指定数据库名&…

进程和线程,线程实现的几种基本方法

什么是进程&#xff1f; 我们这里学习进程是为了后面的线程做铺垫的。 一个程序运行起来&#xff0c;在操作系统中&#xff0c;就会出现对应的进程。简单的来说&#xff0c;一个进程就是跑起来的应用程序。 在电脑上我们可以通过任务管理器可以看到&#xff0c;跑起来的应用程…

C语言 04 基本数据类型

整数 整数就是不包含小数点的数字&#xff0c;整数包含以下几种类型&#xff1a; short &#xff1a;占用 2 个字节&#xff0c;16 个 bit 位。int&#xff1a;占用 4 个字节&#xff0c;32 个 bit 位&#xff0c;能够表示 -2^32 到 2^32 之间的数字&#xff0c;默认使用这种…

Open CASCADE学习|最小二乘法拟合直线

最小二乘法&#xff0c;又称最小平方法&#xff0c;起源于十八世纪的大航海探索时期&#xff0c;发展于天文领域和航海领域。其历史可以追溯到法国科学家马里勒让德于1805年首次提出这一概念&#xff0c;而1809年&#xff0c;高斯在他的著作《天体运动论》中也提出了最小二乘法…

LangChain核心模块 Model I/O

Model I/O 任何语言模型应用程序的核心元素都是模型。LangChain 为您提供了与任何语言模型交互的构建块。 Models llm 和 chat_model 都是表示特定模型配置的对象。 LLM 对象将字符串作为输入和输出字符串。ChatModel 对象将消息列表作为输入并输出消息。 LLM 返回一个字符…

idea创建angular项目

1.idea创建项目 idea&#xff1a;2023.2.3版本 不做赘述&#xff0c;我这里是创建模块&#xff0c;创建项目的话大同小异 2.创建完成后注意一下红色部分&#xff0c;后期需要 3.进入项目根目录 注意&#xff1a;一定要进入项目根目录&#xff0c;就是我们上面红色方框部分&a…

研华工控机610L学习笔记1:基本了解与认识

今日开始学习一些工控机的基本知识&#xff1a; 目录 目录 1、工控机介绍&#xff1a; 2、研华610L说明书参数了解&#xff1a; 3、基本结构了解&#xff1a; 前面板&#xff1a; 后窗&#xff1a; 4.RS232串口&#xff1a; ​编辑 5、工控机分类&#xff1a; 6、工控上…

第四十五周:文献阅读

目录 摘要 Abstract 文献阅读&#xff1a;基于注意力的双向LSTM和编码器-解码器的水质预测 现有问题 提出方法 创新点 方法论 1、EMD&#xff08;经验模态分解&#xff09; 2、VMD&#xff08;变分模态分解&#xff09; 3、VBAED模型 研究实验 数据集 数据预处理 …

AC和AP wlan使用案例

关于AC和AP的一篇 拓补图&#xff1a; AC1 sysn AC vlan 10int g0/0/1 p l t p t a v 10 port trunk pvid vlan 10 q int g0/0/2 p l t p t a v 10 port trunk pvid vlan 10 q int vlan 10 ip add 192.168.10.1 24 q dhcp enable int vlan 10 dhcp select interface q capwa…

算法打卡day24|回溯法篇04|Leetcode 93.复原IP地址、78.子集、90.子集II

算法题 Leetcode 93.复原IP地址 题目链接:93.复原IP地址 大佬视频讲解&#xff1a;复原IP地址视频讲解 个人思路 这道题和昨天的分割回文串有点类似&#xff0c;但这里是限制了只能分割3次以及分割块的数字大小&#xff0c;根据这些不同的条件用回溯法解决就好啦 解法 回溯…

三.寄存器(内存访问)

1.内存中字的存储 2.并不是所有cpu都支持将数据段送入段寄存器&#xff0c;所以有时候用个别的寄存器先把数据段存储起来&#xff0c;再把该寄存器mov到段寄存器。 3.字的传送 4.栈 5.栈机制 举例说明 6.栈顶超界问题 push超界 pop超界 7.栈段

管理自由,体验简单,使用安全 | 详解威联通全套多用户多权限管理方案【附TS-466C产品介绍】

管理自由&#xff0c;体验简单&#xff0c;使用安全 | 详解威联通全套多用户多权限管理方案【附TS-466C产品介绍】 哈喽小伙伴们好&#xff0c;我是Stark-C~。今天我们来解决一个之前评论区多次被提及的问题--多用户权限管理。 对于我们NAS用户来说&#xff0c;基本都会面临这…

Windows server 2008 R2 在VMware虚拟机上的安装

Windows server 2008 R2 在VMware虚拟机上的安装 准备工作VMware 新建并配置虚拟机安装和启动Windows server 2008 R2 准备工作 Windows server 2008 R2 ISO镜像的下载&#xff1a;Windows server 2008 R2 ISO VMware 新建并配置虚拟机 第一步&#xff0c;点击新建虚拟机 第…

leetcode每日一题2671

目录 一.题目原型 二.思路解析&#xff1a; 三.具体代码实现&#xff1a; 一.题目原型 二.思路解析&#xff1a; 其实我们可以用两个哈希表来解决这道题&#xff0c;一个哈希表hash1用来存这个数字出现了几次。另一个哈希表hash2用来存出现了几次的次数有几次&#xff0c;由于…

MySQL的日志:undo log、redo log、binlog有什么作用

目录 从一个update语句说起 undo log 为什么需要undo log undo log 版本链 undo log 是如何持久化到磁盘? redo log 为什么需要redo log redo的组成 redo Log的刷盘策略 redo Log循环写 crash-safe能力 binlog 为什么需要 binlog &#xff1f; binlog与redo lo…

unity学习(69)——多人位置同步

简单的很&#xff0c;每个客户端向服务器发送位置信息&#xff0c;服务器再把这些位置信息发送给其他客户端。 1.客户端发送。 1.1在SocketModel脚本中添加一个新的类MoveDTO public class MoveDTO {public string Id{get; set;}public int Dir{get;set;}public Assets.Mode…

数据分析和机器学习库Pandas的使用

Pandas 库是一个免费、开源的第三方 Python 库&#xff0c;是 Python 数据分析和机器学习的工具之一。Pandas 提供了两种数据结构&#xff0c;分别是 Series&#xff08;一维数组结构&#xff09;与 DataFrame&#xff08;二维数组结构&#xff09;&#xff0c;极大地增强的了 …

2024-Spring IOC 和 AOP源码分析(上篇)

前言&#xff1a;笔者最近面了几次大厂。。。开局Spring源码暴击 之前看过忘了写篇总结。。。 1、介绍一下Spring 核心组件&#xff1a; 常用模块&#xff1a; 常用注解&#xff1a; 2、说一下SpringIOC原理 概念&#xff1a;Spring 通过一个配置文件描述 Bean 及 Bean …