离散数学第08章_环和域教材教学课件.pptVIP

* 第八章 环 和 域 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，+，·的子环。 下面引进一种特殊的子环，称之为理想，理想在环中与正规子群对于群的地位相仿。 定义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，?，⊙是商环