近代教案3.docVIP

整环里的因子分解 在整数环中。每个不等于的非零整数都可分解成有限个素数的乘积，而且除了因数次序和的因数差别外，分解是唯一的，同样，在数域上的一元多项式环中中，每个次数的多项式都能分解成有限个不可约多项式的乘积，而且除了因子次序和零次因式的差别外，分解式是唯一的。这一章里，我们将对一般的整环讨论元素因子分解的初等理论，给出整环中因子分解唯一性定理成立的一些条件，并介绍几种唯一分解定理成立的整环。 在这一章中，都表示整环，其中单位元是1。 素元、唯一分解 本节介绍与因子分解密切相关的一些基本概念，它们是整数环中相应概念在一般整环中的推广。 定义 设则称整除，或，记。 若，我们用符号表示。 按定义，都有。 定义 整环中的可逆元称为的单位。 设，若，则称相伴，记. 注意：单位同单位元不同。 按定义，单位的乘积是单位；单位的逆元是单位；。 一个元素大于2的整环中至少有两个单位：，整数环只有两个单位，即，域中的每个非零元都是单位。 一个整环的单位有下列性质： 定理1 整环的全体单位关于的乘法构成一个交换乘群。(证明作为习题) 由定理，相伴关系有下列性质： 定理2 设，则下列例题等价： (1) ; (2) 是的单位； (3) 。 对于中每个元，任意一个单位及的相伴元都是的因子，这种因子称为平凡因子。 定义 设，若不是单位，且不相伴，则称的真因子。(非平凡因子称为真因子) 定理3 设，则的真因子。 推论 单位没有真因子。 定义 设不是单位，若在中只有平凡因子，则称是 的一个也称素元；若在中有真因子，则称是的一个可约元。 定理4设不是单位，则是的可约元都不是单位。 推论 设的真因子。 定理5 一个素元的相伴元也是素元。 定义 设是一个整环，，下列条件成立： (1) 元)； (2) 同时的素元)，那么且我们可以把的次序掉换一下，使得的单位)。则称在里有唯一分解。 由定义，一个整环的零元和单位一定不能唯一分解。所以，唯一分解问题的研究对象只能是即不等于0也不是单位的元。那么一个不等于零也不是单位的元是否都有唯一分解？ 例3 设，则，且都是素元。即4在里有两种分解。 唯一分解环 由上一节我们知道，在一个整环里唯一分解定理未必成立。但在有些整环里，如整数环，这个定理是成立的。 定义 若整环中每一个即不是零又不是单位的元都是唯一分解元，则称是唯一分解环。 由定义，整数环与数域F上的多项式环都是唯一分解环。但一般的整环未必是唯一分解环。下面的定理给出了唯一分解环的判别。 定理1 设是一个唯一分解环，若的一个素元若能整除,那么能整除其中一个。 证明 设是素元，且，若都不是零元，也不是单位。这时显然不等于零。且也不是单位，否则，由上一节定理5，是素元。也就是说，素元可以写成两个非零非单位的乘积，因而有真因子。这与素元定义矛盾。 若即不是零又不是单位，由唯一分解环的定义，，另一方面，，于是,由唯一分解的定义，一定是某个的相伴元。若是某个的相伴元，则，，所以。同理，若是某个的相伴元，则。 当中有一个是零或是单位时，定理也成立。若，若是单位，那么，。 定理2 设一个整环有以下性质： (1) 的每个即不是零元也不是单位的元都有分解，是的素元； (2) 的一个素元若能整除,那么能整除其中一个。 则是唯一分解环。 证明 由性质(1)，，是素元，若还有是素元，(现对作归纳法证明) 当时，有一分解，即，若，那么 其中不是单位，而作为素元的乘积也不是单位，也就是说，素元可以写成两个非单位的乘积，这是不可能的，所以。 设能写成个素元的乘积的元都有唯一分解。现在看一个元， 由性质(2)，能整除某个，把的顺序调整一下，可设。但是素元，不是单位，所以，这样 ,这里个元的乘积，由归纳法假设，， ，。即唯一分解成立。 定义 设使 (1) ; (2) 若；则称是的最大公因子。 由定义可知，若最大公因子，则当时，的一个最大公因子。反之，若的两个最大公因子，由定义，，于是。因此，若的最大公因子存在，则除相差一个单位因子外，是唯一确定的。 我们知道，在整数环中单位只有两个：。当不同时为零时，用符号表示它们的最大公因数。在数域上的一元多项式环中，当不同时为零时，用符号表示它们的首项系为1的最大公因式。然而，在一般的整环中，由于单位无法确定，只能用符号表示它们的任意一个最大公因子。 显然，下列性质成立： (1) ；(2) ；(3) 。 需要注意，一般整环中两个元未必存在最大公因子，如整环中不存在最大公因子。 定理3 在唯一分解环中，任意两个元都存在最大公因子。 证明 设中任意两个元，若中有一个是零，如。若中有一个是单位，如。 若均不等于零且不是单位，因为是唯一分解环，所以都可以分解为不可约元的乘积。设的分解式中，所有互不相伴的不可约因子，则，其中都是非负整数。令，显然，，则其中，所以，于是，