(19.1)--第18章整环分解大学物理实验.pptVIP

本次课到此结束谢谢！ * 不可约元和素元 唯一分解环 第18章 整环分解 (Divisibility in Integral Domains) 第18章 整环分解 欧式环 二、唯一分解整环 唯一分解整环(Unique Factorization Domain,UFD) 整环D称为唯一分解整环,如果 (1)D中每一非零非单位元都可写成不可约元之积; (2)在不区分相伴和不考虑因子顺序意义下,分解唯一. 唯一分解环 * (2)的具体意义： 若 和 为某个元素的两个不可约分解,其中任意两个不同的 不相伴,任意两个不同的 也不相伴,那么r=s,且对每个 ,有且仅有一个 使得 相伴,且 Z和F[x]均是UFQ 下面我们将证明PID必为UFQ. 引理:任意主理想整环中不存在理想的无限严格增链 . 证: 设 是主理想整环D中理想的严格增链, 令 ,则可验证I 是理想(留作练习Ex3,读者自行完成). 因为D为主理想整环,存在a∈D使得 . 从而存在n,使得 即理想增链