第三章集合及其运算.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 三、域 1、定义：如果? R，+，*?是整环，并且 R –{?}中每元关于运算“* ”有逆元， 则称该环为域。 注意，?R，+，*?是域也就意味着半群 ?R –{?} ，*?也是交换群。 例：?I7，?，??是域。因为首先它是整环， 有幺元[1]， 并且在 I7 –{[0]}中关于运算?, 剩 余类[1]和[6]的逆元都是自身，[2]与[4]互为逆 元，[3]与[5]互为逆元。 实际上，素数模 p剩余类环? Ip，?，??就是域。 也是最具代表性的有限域。 至于无限域，最熟知的包括有理数域?Q，+，?? 和实数域? R，+， ? ? 。 注意，整数环?I，+，?? 是整环，但不是域。 2、定理：有限整环? R，+， * ?必是域。 证明要点：设 R –{?} ={a1，a2，...，an}， b是 R –{?}中任一元素。由于? R –{?} ，* ? 是交换群，因此必有ak ? R –{?} ，使 b* ak = e， 即 R –{?} 中每个元都有逆元。 作业 习题十六 3 作业：16.2 1 旧书：习题11.7 1 附加题：? I，?，??是整数集上的代数系统， 其中两个运算定义为： ? a、b?I， a? b=a+b –1， a? b = a+b– a?b， 证明? I，?，??是含幺元的、交换环。 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 四、子群 1、定义：设 ? G， ? ? 是群，非空子集H ? G， 如果? H， ? ? 也是群，则称之为G的子群。 定理 群和子群有共同的幺元。 证明 设群? G， ? ? 的幺元为e， ? H， ? ? 的幺元为 t，则对任何x ? H， e ? x = x = t ? x， 由消去律，t = e 。 2、要证明 ? H， ? ? 是? G， ? ?的子群，可以 采用如下方式： ① 按定义证明 “?”在 H上封闭、有幺元、 每元有逆元。 ② 定理 ? H， ? ? 是 ? G， ? ? 的子群当且 仅当对任何a、b ?H，a ? b–1 ?H。 下面举一个采用第二种方式的例子。 例：设? G，? ? 是群，令 H={x | x ?G ? (?y?G) [x ? y=y ? x]}， 证明? H， ? ? 是? G， ? ? 的子群。 证明：首先证明如果a ?H，则 a–1 ?H。这 是因为对任何y ?G ，由 a ? y=y ? a可得 a–1 ? (a ? y) ? a–1 = a–1 ? (y ? a) ? a–1 , 即 y ? a–1 = a–1 ? y。 其次，设a、b ?H ，对任何y ?G， y ? (a ? b–1 ) = (y ? a) ? b–1 = a ? (y ? b–1 ) = (a ? b–1) ? y， 即证得a ? b–1 ?H 。也就证明了? H， ? ? 是 ? G， ? ? 的子群。 作业 习题十五 6，9，11 作业：15.2 1、4、6 旧书：习题11.3 1、 4、6 第四节 交换群和循环群 一、交换群 1、定义 如果群 ? G， ? ? 满足对任何a、b ?G， a ? b= b ? a， 则称G是交换群。 例：实数集加群 ? R，+ ?、非零实数集乘群 ? R-{0}， ? ?、整数集模 n加群 ? In ， ? ?、