第九章唯一分解整环.PDFVIP

第 9 章 唯一分解整环 在初等数论中，我们已经知道整数的唯一素分解的特性．实际上整数的唯一素分解实际上 是整数环的一个特性．现在我们考虑的问题是，是否存在比整数环更抽象的一类环，也存在类 似于整数环的素分解的特性？回答是肯定的，这类环也是一类整环，我们称之为单一分解整 环．本章的主要目的就是要讨论整环中与分解有关的一些基本概念及一个整环为单一分解整环 的充要条件．另外，我们还将介绍几种具体唯一分解整环的实例：主理想整环、欧氏环及唯一 分解整环上的多项式环． §1 分解的基本概念 我们知道在整数环中，与唯一分解密切相关的本概念如整除、素数（素元或既约元）唯一 分解的概念等．我们将这些概念可以推广到一般的整环中． 首先给出整除的概念． 定义 1 给定整环R c R ∈ a b ，R, ∈ ，如果存在 ，满足 a bc a b b a b a a b b 则称 被 整除，或 整除 ，记为 ．这时称 是 的因子， 为 的倍元．否则， 不 b a | a 能整除 ，记为 ． b a | / 下面我们将讨论两个元素互相整除的充要条件． R a b 定理 1 给定整环 ， ，则 且 的充要条件是 与 仅相差一个可逆元， a b R, ∈ b a | a b | c R ∈ 即存在一个可逆元 ，使 a bc ． c R ∈ 使 证明 必要性：若 相互整除，由 知存在 a b, b a | a bc ； c R ∈′ 由 知存在 使 a b | b ac ′． 所以 a bc acc ′． cc ′ 1 由整环的消去律得 ．得证． 充分性：若存在可逆元c 使 １８０ a bc ， 则 b ac −1 ． a b 从而 ， 相互整除．得证． 在整数环中，我们知道如果两个整数相互整除，则这两个数仅相差 ±1 ．±1恰为整数环 的所有逆元．这就提示我们，对于整环的整除而言，如果两个因子仅相差一个逆元，我们认为 这两个因子是相同的．在这种意义下，整环的素分解才可能具有唯一性．为了进一步定义素元、 既约元的概念，首先定义与逆元有关的几个概念． 定义 2 如果ε ε 是整环R 的一个可逆元，则称 是整环R 的一个单位． R 中所有单位组成R 的子集U 构成一个R 的乘法