近世代数理论基础18:环的定义及性质

环的定义及性质

定义

定义:设R为一个非零集合,在R上定义了两种代数运算,分别称为加法和乘法,记作+\cdot,且加法和乘法满足:

1.(R,+)是一个交换群

2.乘法满足结合律,即\forall a,b,c\in R,有(a\cdot b)\cdot c=a\cdot(b\cdot c)

3.分配律成立,即\forall a,b,c\in R,有a\cdot (b+c)=a\cdot b+a\cdot c(左分配律),(b+c)\cdot a=b\cdot a+c\cdot a(右分配律)

则R连同其上的代数运算+\cdot称为一个环,记作(R,+,\cdot),简记作$R

注:

1.分配律将环中的加法和乘法联系起来,环R上的乘法运算符号\cdot通常省去

2.在环(R,+,\cdot)中,加法的单位元称为零元,记作0,R中元a对加法的逆元称为a的负元,记作-a

3.若环R的乘法满足交换律,即\forall a,b\in R,有ab=ba,则称R为交换环,交换环不区分左分配律和右分配律

4.若环R的乘法存在一个单位元,即\exists e\in R,使\forall a\in R,有ae=ea=a,则称R是有单位元的环,也称为含幺环,含幺环单位元是唯一的,通常用1表示

例:

1.偶数的集合2Z,对数的加法和乘法来说,构成一个交换环,记作(2Z,+,\cdot)

2.设M_n(R)表示R上所有n\times n矩阵的集合,对矩阵的加法和乘法来说,构成一个非交换的含幺环,记作(M_n(R),+,\cdot)

3.设F[x]表示数域F上所有多项式的集合,对多项式的加法和乘法来说,构成一个含幺交换环

4.设(G,+)为任一交换群(加群),G的单位元记作0,定义G的乘法为\forall a,b\in G,有ab=0,则易证(G,+,\cdot)是一个环,称为零环

性质

定理:设R是一个环,\forall a,b\in R,m,n\in Z,有

1.a\cdot 0=0\cdot a=0

2.a(-b)=(-a)b=-(ab)

3.(-a)(-b)=ab

4.m(ab)=(ma)b=a(mb)

5.mn(ab)=(ma)(nb)

6.a^m\cdot a^n=a^{m+n},\forall m,n\in Z^+

7.(a^m)^n=a^{mn},\forall m,n\in Z^+

证明:

1.由分配律

a(0+0)=a0+a0

又a0=a(0+0)

\therefore a0+a0=a0

两边加上-(a0)可得

-(a0)+(a0+a0)=-(a0)+a0

(-(a0)+a0)+a0=0

0+a0=a0=0

同理可证0a=0

2.要证a(-b)=-(ab)

只需证a(-b)+ab=0

a(-b)+ab=a(-b+b)=a0=0

同理可证(-a)b=-(ab)

3.由a(-b)=(-a)b

以-a代a,可得

(-a)(-b)=[-(-a)]b=ab

4-7易证\qquad\mathcal{Q.E.D}

例:

1.设Z/nZ=\{[0],[1],\cdots,[n-1]\}为整数模n的剩余类,定义[a]+[b]=[a+b],[a][b]=[ab],已证(Z/nZ,+)是交换群,乘法也是Z/nZ上的一个代数运算

证:

设a_1\in [a],b_1\in [b],则

a\equiv a_1(mod\; n),b\equiv b_1(mod\; n)

\therefore ab-a_1bb_1=a(b-b_1)+(a-a_1)b_1

\because n|a-a_1,n|b-b_1

\therefore n|ab-a_1b_1

即ab\equiv a_1b_1(mod\; n),[ab]=[a_1][b_1]

即乘法运算与代表元的选择无关

由加法和乘法的定义

乘法适合结合律,且两个分配律都成立

\therefore (Z/nZ,+,\cdot)是环,称为整数模n的剩余类环

且为一个含幺交换环\qquad\mathcal{Q.E.D}

2.设S是任一集合,A是一个环,所有从S到A的映射所构成的集合R中定义加法和乘法:\forall \alpha,\beta\in R,x\in S,(\alpha+\beta)(x)=\alpha(x)+\beta(x),(\alpha\beta)(x)=\alpha(x)\beta(x),易证R对这两种运算构成一个环,R中加法的零元是映射\xi:\forall x\in S,\xi(x)=0,设\alpha\in R,则\alpha对加法来说,负元是-\alpha,即\forall x\in S,有$(-\alpha)(x)=-\alpha(x)

若A是交换环,则R也是交换环,若A是含幺环,则R也是含幺环,若令1是A的乘法单位元,则从S到A的映射\varepsilon\in R:\forall x\in S,\varepsilon(x)=1即为环R中的乘法单位元

零因子

定义:设(R,+,\cdot)是环,a\in R,若\exists b\in R,b\neq 0,使ab=0,则称a为一个左零因子,对称地可定义右零因子,若一个元既是左零因子又是右零因子,则称为R中的零因子

注:

1.左零因子不一定是右零因子,交换环中不区分左零因子和右零因子

2.设(R,+,\cdot)是一个环,零元是一个零因子,称为平凡的零因子,非零的左(右)零因子称为真左(右)零因子

若无特别声明,所有左(右)零因都是指真左(右)零因子

3.设a为环R的左零因子(a\neq 0),则\exists b\in R,b\neq 0,使ab=0,b为环R的右零因子,反之亦然,故环R中有左零因子当且仅当它有右零因子

4.无左零因子和右零因子的环称为无零因子环,例:整数环、数域F上的多项式环

定理:设R为无零因子环,则在R中左、右消去律都成立,即a\neq 0,ab=ac\Rightarrow b=c,a\neq 0,ba=ca\Rightarrow b=c

反之,在环R中若有一个消去律成立,则R是无零因子环

证明:

设R为无零因子环

由ab=ac

a(b-c)=0

\because a\neq 0且R中无零因子

\therefore b-c=0

即b=c,左消去律成立

同理可证右消去律成立

设R中有一个消去律成立

不妨设左消去律成立

由ab=0

ab=a0

\because a\neq 0,从左边消去a

可得b=0

\therefore R中无左零因子

\therefore R中无右零因子\qquad\mathcal{Q.E.D}

推论:在一个环中,若有一个消去律成立,则另一个消去律也成立

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,997评论 6 502
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,603评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 163,359评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,309评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,346评论 6 390
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,258评论 1 300
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,122评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,970评论 0 275
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,403评论 1 313
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,596评论 3 334
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,769评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,464评论 5 344
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,075评论 3 327
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,705评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,848评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,831评论 2 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,678评论 2 354

推荐阅读更多精彩内容

  • 2019年1月2号考近世代数,先把试题整理好,希望能过,文末有资料~ 2016年考题 简答题(6分1个) 阐述二元...
    子潇有话要说阅读 11,025评论 1 10
  • 抽象代数作为数学的一门学科,主要研究对象是代数结构,比如群、环、域、模、向量空间和代数。事实上,对抽象代数的研究是...
    阿米咖啡花阅读 930评论 0 3
  • 群与子群 集合上的运算 定义:设A是一个非空集合,一个从到A中的映射称为集合A上的一个二元运算,简称为运算,也称为...
    溺于恐阅读 10,173评论 0 7
  • 创建本地和远程未有的分支: git checkout -b test 将本地test分支推送到远程test git...
    __init___e8fa阅读 214评论 0 0
  • 今天一上班就好像不是很闲,客人来了补余款,后面取件的客人送件下去,学怎么选择客人选片后的CR2图片,然后老板教我怎...
    万缕千丝阅读 99评论 0 0