(16.1)--第15章环同态大学物理实验.pptVIP

* 环同态的定义 环同态的性质 第15章 环同态 (Ring Homomorphisms) 第15章 环同态 商域 三、商域 商域 * 尽管整数环Z不是域, 但其至少包含在有理数域Q中,而Q中的每个元素又是分数,即两个整数的商. 用类似地思想, 对于任意整环D, 也可得到一个包含D的商域, 见下面的Th15.6. 定理 15.6 设D是一个整环,则存在一个包含同构于D的子环的域F(称为D的商域). 证明: 设S={(a,b) | a,b∈D, b≠0}. 如下定义S上的一个等价关系： (a,b)≡(c,d)当且仅当ad=bc. (请读者自行验证这的确定义了一个等价关系) 商域 * 定理 15.6 设D是一个整环,则存在一个包含同构于D的子环的域F(称为D的商域). 现在如上定义的等价关系下S的等价类组成的集合记为F. 以x/y表示F中含有(x,y)的等价类. 现在如下定义F上的加法和乘法： a/b+c/d=(ad+bc)/(bd), (a/b)(c/d)=(ac)/(bd). (因D是整环, 故只要b,d≠0, 必有bd≠0. 所以,上述运算都具有封闭性) 加法运算是良定义的：假设a/b=x/y, c/d=u/v, 则ay=bx且cv=du.