- 1、本文档共11页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
环两个二元运算及代数结构
*/73 */73 第九章 环与域 9.1 环:两个二元运算的代数结构 1.环的概念 定义9.1:R,+,·是代数系统,+,·是二元运算,若满足: (1):R,+是阿贝尔群;(2):R,·是半群; (3):·对+可分配;则称R,+,·为环(Ring),+称为加法,·称为乘法(未必是数加和数乘);同时加法幺元记为0,加法逆元-x,n次幂为nx,若存在的话,乘法幺元记为1,逆元为 n次幂为 9.1 环 例9-1:(1):Z,+,·, Q,+,·, R,+,·, C,+,·均为环;(2):实数分量的n×n方阵集合 ,构成环: ;(3): (5):{0},+, ·(0为加法幺元,乘法零元)为环, 称为零环;(6):{0,1},+, ·(1为乘法幺元)为环 9.1 环 2.环的性质 定理9.1:设R,+,·是环,则对任意的a,b,c有: (1):加法幺元必为乘法零元;(2):(-a)·b=a·(-b)=-(a·b);(3):a·(b-c)=a·b-a·c, (b-c) ·a=b·a-c·a;(4): 9.1 环 R,+,·中·不一定满足交换律,也不一定有幺元,但一定有零元。 3.子环与环同态 定义9.2:子环:环R,+,·,若 构成环,则为R的子环。 子环判定: 定义9.3:环同态: 9.2 整环和域 定义9.4:设R,+,·是环: (1).若·满足交换律,则称R是交换环; (2).若·运算含有幺元,则称R是含幺环; (3).若有非零元素a, b满足a·b=0,则称a, b为R的零因子(a为左零因子,b为右零因子),此时称R为含零因子环,否则称R为无零因子环; (4).若R是交换环,含幺环,也是无零因子环,则称R是整环。 例9-2:(1):Z,Q,R,C都是交换环,含幺环,无零因子环,整环; 9.2 整环和域 (2): 定理9.2:设R是环,则R中无零因子当且仅当R中乘法运算满足消去律,即: 有: 9.2 整环和域 定义9.5:R是环,令 ,若 为阿贝尔群,则称R,+,·为域(field)。 由于 为群,满足消去律,无零因子,∴域必定是整环;域也可定义为:非零元素都有乘法逆元的整环。 例9-2:(1):Q, +,·, R,+,·, C,+,·均为域, Z,+,·不是域,无乘法逆元; 9.2 整环和域 定理9.3:有限整环都是域。 定理9.4: 为域的充要条件是p是素数。 9.2 整环和域 定理9.5:设F,+,·为域,则F中非零元素在F,+中有相同的阶。 9.2 整环和域 定义9.6:设F,+,·为域, S,+,·为F的子环,且S,+,·为域,则称S为F的子域。 9.2 整环和域 定理9.6:设F,+,·为域, ,且 中至少有2个元素,那么 为F,+,·的子域当且仅当 满足: 例:Q,+,·是R,+,·和C,+,·的子域。 */73 */73
文档评论(0)