董旭初《离散数学二教学》6.7 环 同 态.pptVIP

§6.7 环 同 态 6.7.1 理想 6.7.2 环 中 合 同 关 系 6.7.3 环 同 态 与 同 构 6.7.4 单纯环与极大理想 6.7.1 理 想 定义. 设R是一个环，R的一个子集N说是R的一个理想子环，简称理想，如果 （1）??N非空； （2）??若a∈N，b∈N，则a-b∈N; （3） 若a∈N，х∈R，则 aх∈N，хa∈N。 平凡理想：{0}，R 结论1. 理想一定是子环,但子环未必是理想。 理想的例 例. 设I为整数环，mI是I的子环，且是I的 理想。因为： mI非空； 若a∈mI，b∈mI，则a-b∈mI; 若a∈mI，x∈I， 则aх∈mI，хa∈mI。 理想的例 例.设R为实数域上的二阶正方矩阵环， 形如 的所有元素组成的子集为 N，则N为R的子环，但不是R的理想。 比如，取x= ∈R，a= ∈N，则 xa = ? N。 结论2. 任意体R只有平凡理想。 证明： 任取R的理想N，若N={0}，则得证。否则，往证N=R。 因N≠ {0}，故存在a∈N，且a≠ 0。 于是有a的逆元素a-1∈R。由N为理想知，有 a-1 a∈N，即R中的1∈N。 从而对R中任意元素x，都有x = 1x∈N。 因此，R ? N。故N=R。 结论3. 两个理想的交集仍是理想。 证明：设A和B是环R的两个理想。 A?B非空：因为0?A且0?B，故0?A?B。 对任意的x，y ?A?B，有x，y?A，而A是R 的理想，故x-y?A，同理有x-y? B。于是 x-y?A?B。 对任意的x?A?B，r?R，有x?A，r?R，而A 是R的理想，故xr?A，rx?A。同理又有xr?B， rx?B，于是 xr?A?B，rx?A?B。 结论4. 设R是有壹的交换环，a∈R，则 aR={ar | r∈R}是R的理想，而且包含a。 证明： (1) aR非空，因为0=a0∈aR，a=a1∈aR。 (2) 若x∈aR，y∈aR，则存在r1，r2∈R， 使得x=ar1，y=ar2，故 x-y = a（r1-r2） ∈aR (3) 若z∈aR，r∈R，则存在r3∈R，使得 z = ar3， 故 zr = ar3r = a(r3r)∈aR，rz = rar3 =a(r r3)∈aR。 因此，aR是含a的理想。 主理想 定义. 设R是有壹的交换环，a∈R，则 aR 称为由a生成的主理想，记为（a）。 显然，（0）={0}， （1）=R。 结论5. 环R的主理想（a）是R中包含a的理想中最小（在集合包含关系下）的理想。 证明：设N是R中包含a的任一理想，往证 （a）? N。任取x∈(a)，即x∈aR，则存在 r∈R，使得x=ar。由a∈N， r∈R，N是理想 知，ar∈N，即x∈N。所以，（a）? N。 证法二：往证(a)是R中包含a的所有理想的交: (a)= ， 因而是包含a的理想中最小的理想。 因为(a)是含a的理想，所以 ?(a). 往证(a) ? 。 任取x∈aR，则存在r∈R，使得x=ar。任取R中 含a的理想N，由a∈N， r∈R，N是理想知， ar∈N，即x∈N。由N的任意性知， x∈ 。 6.7.2 环 中 合 同 关 系 定义. 设R是一个环，N是一理想。 对于a，b∈R，如果有n∈N，使得 a=b+n， 则称a和b模N合同，记为 a≡b (mod N)。 环中合同关系是等价关系：不过是加法群R模加法子群N的关系。 N的一个剩余类: N在R中的一个陪集。 含a的剩余类:a+N. 例. 设R为整数环I，N=（m）=mI，则 a≡b（mod N） iff a=b+n, n∈N iff a=b+mk iff m∣a-b iff a≡b（mod m）。 I的关于N的陪集即是模m的剩余类。 环中合同关系的性质 定理6.7.1 在环R中，对于模N，有 (1)反身性：a≡a; (2)对称性：若a≡b，则b≡a; (3)传递性：若a≡b，b≡c，则a≡c; (4)加法同态性：若a≡b,c≡d,则a±c≡b±d。 (5)乘法同态性：若a≡b，c≡d，则ac≡bd。