代数学(第13讲).docVIP

第十三讲 §2.５ 理想、商环 复习有关内容： 1，一个环是具有两个代数运算“+”与“”的非空集合，具有两个不同的元素0,1且满足 （1）是一个Abel 群； （2）是一个幺半群； （3）“”对“+”具有分配律，即均有 2，一个环称为一个除环，如果是幺半群的一个子群，这里，即就是说是一个除环当且仅当使得．乘法可交换的除环称为域． 新课： 一，理想与商环 １．定义2.2：设是一个环．设是加群的一个子群（实际上是正规子群）．若均有．那么称为的一个理想． 例：在整数环中，是的一个理想，这里是正整数。注意，当时，不是的子环。 设是的一个理想，则是的一个正规子群，所以是一个商群，这里，并且， ． 另外，我们还定义．下证这个定义是合理的．设，那么 ，所以，即，即定义是合理的．进一步， ，我们有 ， ，类似可证．同时，，。所以是一个环．称为相对于理想的商环． ２．设 是环的一个关系，若既是加群的同余关系，又是幺半群的同余关系，则称为环的一个同余关系．即就是说，为环的一个同余关系意指为环的一个等价关系并且，由。 设表示所在的同余类，．在中定义，那么是一个Abel 群，是一个幺半群，并且，我们还可证 因此是一个环，称为的商环． ３．设 是环上的同余关系，那么零元０所在的同余类是的一个理想．并且可证。 反之，如果是环的一个理想，在中定义关系 如下：，那么可证 是环的一个同余关系，并且． 二、理想的代数 １．子集生成的理想 设是环，，设是中包含的最小理想（即①是的理想，②， ③若是中任一个包含的理想，则），称为由生成的理想．如果，就记．若，则称为由生成的主理想． 例：在整数环中，由整数生成的主理想。事实上，首先，是的一个理想；其次，；第三，若是中任一个理想且（即），那么，对于任意，均有，从而，于是，总有，这样。即。特别地，如果，那么。 ２．理想的运算 设是环的理想，我们定义为由集合生成的理想，即．再定义为由集合生成的理想，即。则有： （1），； （2），． 证明：（1）设，显然有，，因此． 又，其中，则有 ；若r∈R，则有，所以，。由理想的定义知，的一个理想。如果是中包含的任一个理想．那么，其中，我们有，所以，于是。 即是由生成的理想，于是。 （2）同理可证。 ３，设是环的理想．如果，则称这个序列为理想的升链．我们说，是环的理想．事实上，，存在理想，使得，不妨设，则有 ，所以，于是，是加群的一个子加群。又，即是环的理想． ４，定理2.2：设是交换环。那么是一个域的所有理想是与． 证明：：设是域，是的一个理想且．设，由于，，所以，因此，从而，又，所以． ：假设只有两个理想与．如果，那么，因此．这样，故使得．因此中任一个非零元都有逆元，故是一个域． §2.6 整数环中的理想与商环 一，整数环中的理想 １．整数环中的任意理想均为主理想．事实上，设是的任一个理想，那么是的一个子群．而为循环群，故也为循环群，因此，．又是由生成的主理想．故为的主理想． ２．，则．事实上，由于，故使；反之，若． ３．，这里是的最大公因子．事实上，由是的最大公因子知，，所以，，从而。反之，因为是的最大公因子，所以存在，使得。因为，所以，于是。 ４．，这里是的最小公倍数（证明从略）． 二、整数环的商环 １．设，称为模的剩余类环，这里，，。 ２．定理2.3：设，则（１）当是复合数时，不是整环； （２）当是素数时，是一个域． 证明：（１）设是复合数，则．于是在中，，但是．故不是整环． （２）当是素数时，，我们有使得。又是交换环，故．故是在中的逆元，从而是一个域． 三、中的单位元群 １．定理2.4：设，则群． 证明: 。如果，那么使得，从而．因此在中可逆，即。反之, 若，即在中可逆，则存在，使得，所以，这里。于是． ２．记．其中表示不超过而与互素的所有正整数的个数．称为Euler函数． ３．定理2.5：设，那么． 证明：设且，则。而，由Ｐ53推论知． ４．推论：如果是一个素数，且，那么． 证明：在Th2.5中取，那么，从而。 作业： P103：4，5；P105：1，2，3。