《信息安全数学基础》第四章:环
环与子环
环的定义
设
对于加法是一个交换群 对于乘法封闭- 乘法满足结合律,即
- 左右分配律成立,即
由于环中乘法对于加法的左分配律成立不一定保证右分配律成立(乘法不一定满足交换律),所以需要左右分配律成立
则称
交换环
如果环
例:全体有理数
模 剩余类环
定义模
则剩余类集合对于剩余类加法和乘法构成一个交换环,称为模
扩环与子环
-
如果一个环
的子集 对于 中的运算也构成环,则称 是 的子环, 是 的扩环。 -
一个环
是自身的子环。仅含零元的集合 也构成 的子环。对任意一个环 至少有两个子环,即 自身和只包含单位元的子集 ,他们称为 的平凡子环。
一个环 的一个子集 构成一个子环的条件
第一条类比子群条件中的
,第二条得到乘法封闭性。又因为环中乘法结合律和分配律成立,因此上述两个条件能保证 构成子环
- 例:整数环
中所有整数的倍数是 的子环。
概念
- 零元:加法群的单位元
- 负元:元素的加法逆元
环不一定存在单位元和逆元,如果存在则唯一。
-
零因子:
定义:如果在一个环
里 ,但 则称 是这个环里的一个左零因子, 是这个环里的一个右零因子。交换环中每个左零因子同时也是右零因子,即零因子。非交换环中也可能有零因子。如果一个环
中没有零因子,则称 为无零因子环。- 例:模12剩余类环中的零因子:
(即与12不互素的剩余类)。 - 例:整数环
,有理数环 ,全体实数环 ,全体复数环 就是无零因子环。
判断环内是否有零因子?
定理:在没有任何零因子的环里消去律成立,即如果
反之,如果上面的任意一个消去律成立,则环里没有零因子。
- 例:模12剩余类环中的零因子:
环的计算规则
,有
1-8由加法交换群得到
有
9由乘法结合律得到
(此处的0即环 的零元)
10-14由分配律得到
整环,除环与域
整环
定义:如果一个环
是交换环;- 存在单位元,且
; - 没有零因子。
则
条件2中
意味着环中不止一个元素,或存在非零元。
- 整数环
,全体有理数环 ,全体实数环 ,全体复数环 都是整环
除环
定义:如果一个环
- 可以认为除环是一个加法群和一个乘法群的集成,而分配律是这两个群之间 的联系纽带。
- 除环里无零因子。因为非零元乘法构成群意味着消去律成立。
- “除环”这个名词是由于每个非零元都有逆元,可以做“除法”
- 全体有理数环
,全体实数环 ,全体复数环 都是除环;整数环 不是除环。
域
定义(从交换环出发):一个交换环被称为一个域。
定义(从环出发):如果一个环
定义(从群出发):一个集合
- 构成加法交换群;
- 非零元构成乘法交换群;
- 满足分配律。
定理:
-
域一定是除环。
-
全体有理数环
,全体实数环 ,全体复数环 都是域;整数环 不是域。
*有限域
元素有限的除环称为有限除环,元素有限的域称为有限域。
当
- 对任意素数
, 是有限域。
子除环与子域
一个除环
包含非零元;
环的同态与理想
环的同态与同构
定义:
则称
零同态
设
同态性质
( 是 的零元)- 如果
有单位元( 不一定有单位元),则 也有单位元,且 ( 是 的单位元) - 如果
有单位元,且 可逆( 不一定有逆元),则 在 中可逆,且 - 如果
是交换环,则 也是交换环。
注意:没有零因子的性质在同态下不一定保持(在同构下保持)
同构性质
假设两个环
- 如果
是整环,则 也是整环; - 如果
是除环,则 也是除环; - 如果
是域,则 也是域;
环同态的核
核:单位元的完全反像
定义
在单同态和同构下,
性质
是环 的一个子环。 是单同态当且仅当 。
环同态的核是特殊的子环——理想
理想
定义
设
-
如果对于
,都有 ,则称 是 的一个左理想。 -
如果对于
,都有 ,则称 是 的一个右理想。 -
当
同时是左理想和右理想时,称为理想。
环同态的核是理想;
对于交换环,任意左右理想都是理想;
左右理想都是子环;
理想在环论中的地位相当于正规子群在群论中的地位。
是环 的理想,称为零理想; 也是 的理想,称为单位理想。零理想和单位理想统称为平凡理想。除了平凡理想的其他理想称为真理想。- 除环仅有平凡理想,因此理想对除环和域没有太大意义。
生成的理想
设集合
* 包含的元素(推导过程见书)
-
是普通的环: -
是交换环: -
有单位元: -
是交换环且有单位元:
定理
-
环
的非空子集是左理想的充分必要条件:(右理想和理想同理)
-
两个左理想的交是左理想,两个右理想的交是右理想,两个理想的交是理想。
-
如果一个整环上的理想都是主理想,则称为主理想整环。
- 整数环
是主理想整环
- 整数环
*商环、素理想与最大理想(自学内容,考纲外)
略
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 地球OL攻略 —— 某应届生求职总结
· 提示词工程——AI应用必不可少的技术
· Open-Sora 2.0 重磅开源!
· 周边上新:园子的第一款马克杯温暖上架