子环和理想.ppt

天下事有难易乎,为之,则难者亦易矣;不为,则易者亦难 第八章 环 和 域 8.1 环 8.2 子环与理想 8.3 环同态与环同构 8.4 域 8.5 有限域 8.1 环 定义8.1.1 给定R，+，·，其中+和·都是二元运算，若①R，+是Abel群，②R，·是半群，③·对于+是可分配的，则称R，+，·是环。 为了方便，通常将+称为加法，将·称为乘法，把R，+称为加法群，R，·称为乘法半群。而且还规定，运算的顺序先乘法后加法。 环的加法群的幺元或加法零元称为环的零元，以0示之。若a∈R，则其加法逆元以-a表之。 常常又根据环中乘法半群满足不同性质，将环冠于不同的名称。 定义8.1.2 给定环R，+，·，若R，·是可交换半群，则称R，+，·是可交换环；若R，·是独异点，则称R，+，·是含幺环；若R，·满足等幂律，则称R，+，·是布尔环。 通常用1表示R，·的幺元。在R，·中，若a∈R的逆元存在，则以a-1表示其乘法逆元。 定理8.1.1 R,+,·是环?(?a)(a∈R→a·0=0·a=0) 下面讨论加法逆元的性质，为方便记，a+(-b)表成a-b。 定理8.1.2 R，+，·是环?(?a)(?b)(a，b∈R→-(a·b)=a·(-b)=(-a)·b 同理 -(a·b)=(-a)·b 推论1 (?a)(?b)(a，b∈R→(-a)·(-b)=a·b) 推论2 (?a)(?b)(?c)(a，b，c∈R→(a·(b-c)=a·b-a·c)∧((b-c)·a=b·a-c·a)) 由定理8.1.1可知，环中任二元素相乘，若其中至少有一个为零元，则乘积必为零元。但反之未必真，这是因为在环中，两个非零元的乘积可能为零元，这便引出环的零因子的概念。 定义8.1.3 给定环R，+，·，则环S，+，·中有零因子:=(?a)(?b)(a，b∈R∧a≠0∧b≠0→a·b=0) 并称该环为含零因子环，a和b是零因子。 注意，零因子其自身非零也。 定理8.1.3 给定环R，+，·，则R，+，·为无零因子环?R，·满足可约律。 定义8.1.4 给定可交换含幺环R，+，·，若R，+，·无零因子，则称R，+，·为整环。 由定义8.1.3知道，环中可约律与无零因子是等价的，因此整环是无零因子可交换含幺环或者说是满足可约律可交换含幺环。 下面再给出一个定理以结束本节。 定理8.1.4 给定含幺环R，+，·且R≠{0}，则|R|≥2。 8.2 子环与理想 与讨论群与子群一样，对于环也要讨论子环。 定义8.2.1 给定环R，+，·和非空集合S?R，若S，+是R，+的子群，S，·是R，·的子半群，则称S，+，·是R，+，·的子环。 这里也有平凡子环与真子环之说，与平凡子群和真子群类似。 由环的定义知道，若S，+为群R，+的子群，S，+是R，·的子半群，在R上乘法对于加法分配律成立，则S，+，·是R，+，·的子环。显然由于S?R而分配律、结合律在R中成立。则在S中亦成立。于是，子环可定义如下： 若 (1)?≠S?R (2)S，+是R，+的子群 (3)S对·满足封闭性 则S，+，·为R，+，·的子环。 由此及上节定理7.6.3：S，⊙是R，⊙的子群的充要条件是对任意a，b∈S则a⊙b-1∈S，便可得到下面定理。 定理8.2.1 给定环R，+，·及?≠S?R，则S，+，·是R，+，·的子环?(?a)(?b)(a，b∈S→a-b∈S∧a·b∈S) 本定理表明S，+，·为R，+，·的子环的主要条件是S对减法运算封闭和S对乘法运算封闭。 由此看出，含幺环的子环未必也含幺元，因为I,+,·是含幺元1的环，其子环E,+,·不再含乘法幺元。 下面引进一种特殊的子环，称之为理想，理想在环中与正规子群对于群的地位相仿。 定义8.2.2 设T，+，·为R，+，·的子环，若对于T中任何元t和R中任何元a，有a·t∈T且t·a∈T，则称T，+，·为环R，+，·的理想。 显然，若R，+，·是可交换环，a·t∈S或t·a∈S只要其一即可。 由定义可知，若T，+，·为理想，则R中任二元素相乘时，若至少有一个元素属于T，则乘积必属于T。 当S，+，·是环R，+，·的子环时，要求S对于乘法运算封闭；而当T，+，·是环R，+，·的理想时，要求更强的封闭性，即T对于乘上R中任一元素的运算封闭。 注意到子环与理想的定义，不难证明如下定理： 定理8.2.2 给定环R，+，·及?≠T?R，则T，+，·为环R，+，·的理想?(?t)(?t1)(?a)(t，t1∈T∧a∈R→(t-t1)∈T∧ t·a∈T∧a·t∈T) 定义8.2.3 令T，+，·是环R，+，·之理想，若在T中存在元g，使得T=R·g，其中R·g={a·g|a∈R}，则称T，+，·为环R，+，·的