代数学(第14讲).docVIP

第十四讲 §2.7 环的同态 复习有关内容： 1，一个环是具有两个代数运算“+”与“”的非空集合，具有两个不同的元素0,1且满足（1）是一个Abel 群；（2）是一个幺半群；（3）“”对“+”具有分配律，即均有。 2，设是一个环，是加群的一个子群（实际上是正规子群）．若均有．那么称为的一个理想．由一个元素生成的理想称为主理想． 新课： 一，同态基本定理 １．定义 2.3： 设是两个环，．若满足，均有，则称是环到的一个同态． ２．环的同态基本定理：设是环到的一个同态，是同态核，则是的一个理想并且存在唯一的一个商环到环的同态使得，其中是环到商环的自然同态．进一步，是满同态，而是单同态． 证明： ①设则 是的一个子加群，这里是环的零元．，我们有，同理．于是．所以是的一个理想． ②由群的同态基本定理知（具体见第一章第九节），存在唯一的一个群同态使得，具体地 ， 是到的自然同态．进一步，是满同态，而是单同态．所以，；。又因为 ，；所以是商环到环的一个同态，是环到商环的一个同态。 ３．推论：若是环到的满同态，则． 二、同构定理 １．定理2.6：若是环到的满同态，是核. ①设是的子群且，是的子群，则与之间存在一一对应关系，并且中的是的子环（理想）当且仅当是的子环（理想）． ②若是中包含的理想，那么映射（其中）是商环到的同构．（②称为环的第一同构定理）． 证明： ①由于是环到的满同态，则是群到的满同态．由Ｐ65 Th 1.8知，映射是与之间的一一对应．如果是的子环，则是的子群，从而是的子群且，使得．于是，，所以是的子环．反之，设中的是的子环，则是的子加群，所以是的子群且，均有．所以 ，于是。因此是的子环。类似可证中的是的理想当且仅当是的理想。 ②作映射．则（由P65 Th1.8）．又因为 ．故． ２．环的第二同构定理：设是一个环，是的子环，是的理想．那么是的子环，，且是的理想，是的理想，并且映射是商环到的同构． 证明：类似于并利用P65 Th1.9． 三、特征 １．定义：设是一个环，中最小的子环称为的素环。 如果是中的单位元，那么的素环是。事实上，首先，不难验证，是的一个子环．现设是的任一个子环．那么，于是。所以，，当时，，当时，，当时，。因此。 ２．定理2.7：在同构意义下，环的素环要么是整数环要么是的剩余类环，这里． 证明：设是任一环，是的单位元，是整数环。作映射使得．那么 ，又，故是到的一个同态，并且是的素环，所以。而是的一个理想，故是中的一个主理想，即，其中．若，则．此时，．若，则．若把同构的环看成相同的环，那么结论成立． ３．定义：设是一个环，若的素环是，，则称是具有特征的环，称为的特征． §2.9可换整环的分式域 一，分式域 １.问题的提出：我们知道，一个除环的任一个子环是整环，现在要问：任一个整环是否可嵌入到一个除环之中，即就是说，给定一个整环，是否存在一除环，使得存在一个到的单同态。如果可以的话，与中的子环同构，即：，此时，将与等同起来，可认为是的一个子环。可惜的是答案是否定的（A . Malcev）. 但是我们可证明每一个交换整环可嵌入到一个域中. ２.设是一个域，是的一个子环，则是一个交换整环，再设 ． 则是中由生成的子域。 证明：（１）先证是的一个子域。 ，则，使得，所以 ，进而．是加群的一个子加群．又因为， ．所以是中的一个子环．进一步，当时，．．是中的一个子域。 （2），所以。 （3）现设是中包含的任意子域，则．存在，使得。而，所以．这说明．从而是由生成的子域．显然有． 例：设是实数域，是整数环，则是的一个子环， 此时中由生成的子域是有理数域。 ３. 设是一个交换整环．．作．在上定义关系＂＂如下： 。 可验证＂＂是上的一个等价关系．事实上，，我们有（因为），所以，自反性成立；，如果，那么，这样，所以，于是对称性成立；，如果，那么，这样，所以，于是，因此传递性成立。 ，我们用分式表示的等价类：． 则有． 设．现在中定义两个运算＂＂与＂＂如下：，定义 ． 我们说此二定义是有意义的．若，那么，所以 ，于是 。这样，即 ．同理可证．因此，＂＋＂与＂＂是中的两个代数运算．下证关于运算＂＋＂与＂＂构成一个域． 类似于分数的运算，不难验证，上述运算＂+＂与＂＂均满足结合律与交换律，并且＂＂对＂＋＂满足左，右分配律。现令，那么．同理可证．同时，即分别是上述运算＂＋＂与＂＂的恒等元。因此是一个交换环．现设，，那么，此时，且．因此．于是是一个域． 现作映射。则是到的一个单同态．于是有 定理2.8：任一个交换整环可嵌入到一个域中． ４.现设，则，且．若将元素与等同起来，则与可看成同一个环．即可说是的一个子环，并且．因此生成域，即。称为交换整环的分式域． 二，分式域的泛性