第五章代数结构详细分析.pptVIP

作业 (2) (4) 5.9 环与域 前述涉及到的代数系统只具有一个二元运算的代数系统, 本节将讨论具有两个二元运算的代数系统 给定两个代数系统A,★和A,*, 很容易将它们组合成一个具有两个二元运算的代数系统A,★,* 两个运算★和*有怎样的关系呢? 通常把第一个运算★称为“加法”, 第二个运算*称为“乘法” 【例】具有加法和乘法的实数系统R, +, ×和整数系统I, +, ×, 并且 a×(b+c)=(a×b)+(a×c) (b+c)×a=b×a+c×a 上例的性质称为乘法对于加法可分配 定义5-9.1 设A,★,*是有一个代数系统，如果满足： ⑴?A, ★?是阿贝尔群 ⑵?A, *?是半群 ⑶运算*对运算★是可分配的 则称代数系统A,★,*为环 【例】设R是实数集合，＋是实数集合上的普通加法，?是实数集合上的普通乘法。?R,＋?是阿贝尔群，?R,??是半群，?对＋是可分配的。于是?R,＋,??是环。 类似地，对于有理数集合Q和整数集合I，代数系统?Q,＋,??和?I,＋,??也是环。 它们分别叫做实数环、有理数环和整数环。 【例】 1.设Mn(I)是元素为整数的所有n阶方阵组成的集合，＋是n阶方阵的加法，?是n阶方阵的乘法。 方阵的加法＋在Mn(I)是上封闭的、可结合的、n阶零方阵是方阵加法的幺元、每个n阶方阵都有加法逆元，方阵的加法是可交换的，所以?Mn(I),＋?是阿贝尔群 方阵的乘法?在Mn(I)上是封闭的和可结合的，所以?Mn(I),??是半群 方阵的乘法?对方阵的加法＋是可分配的。 于是?Mn(I),＋, ??是环。 2. 设A非空集合，P (A)是集合A的幂集合，∪和∩是集合的并和交运算，已经证明?P (A),∪?是阿贝尔群，?P (A),∩?是半群，∩对∪是可分配的。所以?P (A),∪,∩?是环。 定理5-9.1 设?A,＋,??是一个环，则对任意的a,b,c?A，有 ⑴ a?θ = θ ?a = θ ⑵ a?(–b) = (–a)?b = – (a?b) ⑶ (–a)?(–b) = a?b ⑷ a?(b–c) = (a?b) – (a?c) ⑸ (b–c)?a = (b?a) – (c?a) 其中θ是加法幺元,-a是a的加法逆元,并将a+(-b)记为a-b 定义5-9.2 设?A,＋,??是环。如果?A,??是可交换的，则称?A,＋,??为交换环。如果?A,??含有幺元，则称?A,＋,??为含幺环。 【例】设A非空集合，P(A)是集合A的幂集合，⊕和∩是集合的对称差和交运算，则P (A) , ⊕ , ∩ 是一个环。 并且∩是可交换的，所以P (A) , ⊕ , ∩ 是一个交换环。 此外P (A) , ∩ 有幺元A, 所以P (A) , ⊕ , ∩ 是一个含幺环。 定义5-9.3 设?A,＋,??是一个代数系统，如果满足 1. ?A, ＋ ?是阿贝尔群 2. ?A,??是可交换的独异点，且无零因子，即对任意的a,b ∈A, a ≠ θ, b ≠ θ必有a?b ≠ θ (θ为?A, ＋?的幺元) 3. 运算?对运算＋是可分配的 则称?A,＋,??是整环。 【例】在实数环?R,＋, ??中，因为实数上的乘法是可交换的，R中含有乘法幺元1， ?a,b?R，a ≠ 0, b ≠ 0, 则a?b ≠ 0，所以实数环是交换环、含幺环、也是整环。类似地，有理数环?Q,＋, ??和整数环?I,＋, ??也是交换环、含幺环、整环 定理5-9.2 在整环?A,＋,??中的无零因子条件等价于乘法消去律，即对于c ≠ θ和c?a=c?b,必有a=b 定义5-9.4 设?A,＋,??是一个代数系统，满足： ⑴ ?A,＋?是阿贝尔群 ⑵ ?A–?θ?,??是阿贝尔群。 ⑶ 运算?对运算＋是可分配的 则称代数系统?A,＋,??是域。 【例】在实数环?R,＋,??中，?R,＋?是阿贝尔群。运算?在集合R–?0?上封闭、满足结合律和交换律，集合R–?0?中有乘法幺元1，?x?R–?0?，x–1=?R–?0?，代数系统?R–?0?,??也是阿贝尔群。所以，?R,＋, ??是域，叫实数域。有理数环?Q,＋,??也是域，叫有理数域。 因为?I–?0?,??不是群，所以整数环?I,＋,??不是域。 定理5-9.3 域一定是整环。 定理5-9.4 有限整环必定是域。 定义5-9.5设?A,＋,??和?B,⊕,⊙?是