第八篇 章 环 和 域 《离散数学》 .pptVIP

第八章 环 和 域;8.1 环;环的加法群的幺元或加法零元称为环的零元，以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;定理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 子环与理想;这里也有平凡子环与真子环之说，与平凡子群和真子群类似。 由环的定义知道，若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，+，·的主理想。并称g为T，+，·的生成元或说由g生成T，+，·，常常用(g)表示T。 对于环I，+，·来说，它有个有趣的性质即它的所有理想均为主理想。因此有下面待证定理。;定理8.2.3 设L，+，·为环I，+，·之理想，则存在i∈I+，使得L=(i)。即I，+，·的每个理想皆为主理想。 对于任一环的理想，读者不难证明下面定理： 定理8.2.4 若T1，+，·与T2，+，·同为环R，+，·之理想，则T1∩T2，+，·亦为环R，+，·之理想。 定理8.2.5 若T，+，·为含幺环R，+，·之任一真理想，则T中任一元素均无乘法逆元。;现在用R/T表示群R，+中T的所有不同陪集的簇。首先定义R/T中的加法如下： (a+T)?(b+T)=(a+b)+T 则R/T，?是Abel群。 其次定义R/T中的乘法⊙如下： (a+T)⊙(b+T)=(a·b)+T 则R/T，⊙是半群。 ;定理8.2.6 若T，+，·是环R，+，·的理想，则R/T，?，⊙是商环。 ;８.３ 环同态与环同构;又若f为双射，则环R，+，·?环S，?，⊙，此时称f为从R，+，·到S，?，⊙的环同构映射。 不难看出，环同态意味着群同态与半群同态，而且f还能保持可分配性，即对任意a，b，c∈R，则 f(a·(b+c))=f(a)⊙f(b+c) =f(a)⊙(f(b)?f(c))