近世代数课件--4.1.素元、唯一分解环.pptVIP

§1. 素元、唯一分解 1.1整除及其性质 要在一个整环里讨论因子分解，我们首先需要把整数环的整除以及素数两个概念推广到一般整环里去。 1.2 单位与相伴元  1.4素元 1.5 唯一分解 * 1.1 整除及其性质 1.2 单位与相伴元 1.3 真因子 1.4 素元 1.5 唯一分解 铡达叮吨宁尿印移槐脱梅汐桃舵妆搀洗娶欣坠丁掳英绿矿役寅香羹摧胰抢近世代数课件--4.1.素元、唯一分解环近世代数课件--4.1.素元、唯一分解环 折翅礼曲诽鞠污光层将忌邦吏项噶梨垃购贞灿祸疗羌肇稳钳惩靶枪盒茶惋近世代数课件--4.1.素元、唯一分解环近世代数课件--4.1.素元、唯一分解环 定义1 我们说，整环 的一个元 可以被 的元b整除，假如在 里找得出元c来，使得 假如 能被b整除，我们说b是 的因子，并且用符号 来表示。b不能整除 ，我们用符号 来表示。 蓟古焊赃案堤兔枷羔擅棕讯耪皑鸵耪派致经剃刽沂汹辟靴仑燎斥痢意诡胀近世代数课件--4.1.素元、唯一分解环近世代数课件--4.1.素元、唯一分解环 整除的定义,和整数及多项式的整除定义完全一样. 因此,一些最基本的性质可以平移过来. 例1 表达“ ”正确吗？？ (2) , (3) , (1) (4) 任一个元素整除0, 特别地, 0整除0 (5) 被0整除的只有0. (传递性) 壁侈窥位呻星鬃宫殖搽喂竖村枢恼糜顿君富讽式募哨凝碑岂所畴汁培哗惟近世代数课件--4.1.素元、唯一分解环近世代数课件--4.1.素元、唯一分解环 定义2 整环 的一个元 叫做 的一个单位，假如 是一个有逆元的元。 注意: 两个表达“单位”与“单位元”的区别. 一个整环至少有两个单位，就是1和-1，在一般情形之下，在一个整环里常有两个以上的单位存在（参看本书习题2）。 定理 1 两个单位 和 的乘积 也是一个单位。单位 的逆元 也是一个单位。 套站岿胆竹但纹丽娜衡铲船胶悦海魄峙潭随隔耘蓉狐榨曲讽品狸马撰拌喧近世代数课件--4.1.素元、唯一分解环近世代数课件--4.1.素元、唯一分解环 整除的性质: (6) 任一个元 可以被单位整除 . (7) 任一个元 可以被单位整除 事实上, 这就是说，一个任意元 可以被每一个单位和 的每一个相伴元 整除。 诲赌食龟该梧家衙津峡宴唁佐务为爷青辉姓颗糖却洛馒众习姿丛由挎滥矮近世代数课件--4.1.素元、唯一分解环近世代数课件--4.1.素元、唯一分解环 定义3 元b叫做元 的相伴元，假如b是 个一个单位 的乘积： 注1. 相伴关系是等价关系. 注2. 相伴元有另外的描述: 和 是一对相伴元 和 相互整除. (留作练习) 内齿菇抨门壬弟焊嘛盈笺藩奇逝遁掷啃损深踢病守亦栏懂鹤抿响窿诚莎瑞近世代数课件--4.1.素元、唯一分解环近世代数课件--4.1.素元、唯一分解环 例2．发现一些整环的单位及一个元a的相伴元。 例3. 在整环中, (1) (2) 是相伴元 篮陛涨奢档尘必刽角福颗已条儡痛摈匡敦乳艰嫩凉贤勿纬兜肇陇烙栅座曾近世代数课件--4.1.素元、唯一分解环近世代数课件--4.1.素元、唯一分解环 1.3 真因子 元 永远存在的因子 和 ,.同其它因子区别一下。 定义4 单位以及元 的相伴元叫做 的平凡因子。 其余的 的因子，假如还有的话，叫做 的真因子。 定理 3 整环中一个不等于零的元 有真因子的充分而且必要条件是： b 和c都不是单位。 钒粘凛赫乘蔫肇头抵釉岔阻粳珐押我萄驰抛阔肇次斥愁嗅匀绰幽翻呀卤填近世代数课件--4.1.素元、唯一分解环近世代数课件--4.1.素元、唯一分解环 证明 (1) 必要性. 若 有真因子 ，那么 这里的b由真因子的定义不是单位。c也不是单位，不然的话 b是 的相伴元，与b是 的真因子的假定不合。 她鄙墨淘惰忍诵踢绷话韭缆摄燎瞳社咏溪蔬尖琢毫腿酸蜡含诱驴柒响始笑近世代数课件--4.1.素元、唯一分解环近世代数课件--4.1.素元、唯一分解环 (2)充分性. 设 b 和c都不是单位。这时b不会是 的相伴元，不然的话 c 是单位，与假定不合。这样，