近世代数第四章 整环里的因式分解.docVIP

第四章 整环里的因式分解 §1. 素元、唯一分解 ????本讲中, 总假定 为整环, 为 的商域. 1. 整除 定义1 设为整环, , 如果存在, 使得 则称 整除 , 记作 ; 并称 是 的一个因子, 是 的倍元. 整环中的整除概念是整数环中整除概念的推广, 因此有许多与整数的整除相类似的性质. 整除有下列常用的性质: ????(1) 如果 , , 则 ;????(2) 如果 , , , 则 . ? 2.相伴 定义2 整环的一个元叫做的一个单位，假如是一个有逆元的元。元叫做元的相伴元，假如是和一个单位的乘积： 定理１　两个单位的乘积也是一个单位.单位的逆元也是一个单位. 例１因为整数环的单位仅有１与-１，故任一非零元有２个相伴元：与. 例２　有四个单位，１，-１，i,-i,所以任一非零元，有四个相伴元： 定义3　单位以及元的相伴元叫做的平凡因子.若还有别的因子，则称为的真因子. ３.　素元 定义4 设为整环，，且既非零也非单位，如果只有平凡因子，则称为一个素元. 定理２　单位与素元的乘积也是一个素元. 定理３　整环中一个非零元有真因子的充分且必要条件是： ，这里，都不是单位. 推论　设，并且有真因子：.则也是的真因子. 定义5　我们称一个整环的元在中有唯一分解，如果以下条件被满足： (i) (为的素元) (ii) 若同时有 （为的素元） 则有，并且可以调换的次序，使得（