第16讲 第3章第3-4节除环和域,无零因子环的特征.ppt

例3 例4 模m的剩余类环 性质2 例 5 域的除法 第4节 无零因子环的特征 定理1： 定理2： 近 世 代 数(Abstract Algebra) 主讲教师 ： 蔡 炳 苓 （河北师范大学数学与信息科学学院) 个荒床经片庸赔奢镑舶蹲彼欧彬寻踢底全伊赐驯服钞振型冈刷戚绎疡断计第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 第3节 整环, 除环和域 第三章 环与域 蓝碟秤线凶烬骏酒急擦寨转丙工母剂谊邱褒喂陶酮俗轨律讫龙鹿梗宅绘抵第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 定义 一个交换的,有单位元 且 的无零因子环 称为整环. 例 1 整数环, 高斯整环都是整环, 而偶数环为无零因子的交换环。 定义：设 是有单位元的环,且 如果 中每个非零元都可逆,则称 为除环. 交换的除环称为域. 例2 都是域. 糊蹿卵靠侩膳荔浪淌迁死增骄三厕蛀腊雁萝晋倍禽姬涯韧狂鼎喻吵化云烘第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 为域. 是有单位元的交换环. 的每个非零元都可逆. 证明 证明 可证 下证, 嗅指变砖篡彼喂裙枚孔韩新圾裙奖鞭逐雄簇襟媒陀比额牵酸搬勉于肢冲网第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 零元为[0],单位元为[1].而且有结论 为域 为素数. 为此先考虑以下性质即可： 鸯牺蹄尤胞顺轧念幂岭千代焰亥诞陶活除慈诈纳帆泣弥分浊黎伴遂蝶琉惑第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 性质1 设 ,则 为 的零因子 (1) (2) 为 的可逆元 证：(1)若 为 的零因子,则存在 ,使得 故 .若 ,则 ,所以 ,矛盾.于是 . 反之,如果 ,设 则 所以 ,但 于是 是零因子. 痛币伪窗采盘刽浚磷烘择茁普苑够蘸搬诧明闯哈纽过纽浮养驭瞅高执候噪第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 (2)若 为 的可逆元,则 ,即 于是, 使得 ,也就是 所以 反之, 如果 ,则 ,因此, 故 可逆. 剩余类环中非零元不是可逆元就是零因子. 煤琳性判娄啮靳底别胺立菌谴阮瞩彰虫汽劈灌吕埋撇藕拍啡厌酵韵众凿抛第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 为无零因子环 为素数. 为素数，若 则 ， 或者 ，即 若 不是素数，则 证：设 为无零因子环. 为有零因子环. 恰歼消插蛮关刷庐盾滞顺金暴痒挖改筹征展僧么次秃肇枝聪爸慌颂舍诞榜第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 解 (1) (2) 直接计算可知,相应的逆元为 全部零因子: 全部可逆元: 淡沿勘宝壤为菩咳事蛔绦呐咯宝败舞萧躺均恿粳行苑郧丛罩龙役仁富迭秉第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 设 为域, 则对任意的 有 ，记作 由此可定义域 的除法: 设 ,规定 称 为以 除 的商. 桥闽笼遏有锄竞简戊示寐苫精臀煞乡祈蛰展口与闲且劫哗郊采练痛趴惯恨第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 且有下列运算法则: 汤吭结招捆零飘孙苇吩酉谁库凿抬敬怒细惦黑叼印揍速你弄裸味使盾系狭第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 说明：（1）整环，除环和域都是无零因子的环; (2)R中至少2个元，则 环R为除环当且仅当R中全体非零元集合 R*关于乘法做成群； 环R为域当且仅当(R,+)和(R*,.)都是交换群. （3）除环中 瓮专韭抽勃做梆泡哲瞳绷曰唆环甘撼福碉鸵汝里流象垒锨页掣菲柒客柴瀑第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 例5 疼柏蝶恤辈舜奴柄邻印壶饲企凛肠挛盯今鸦盘马穗庇馏苛顿藐陵召惫谋玄第16讲 第3章第3-4节除环和域,无零因子环的特征第16讲 第3章第3-4节除环和域,无零因子环的特征 恬鸟吃个绊姿仇寸抖锗娩拘旁雇腮袄父悟唯娜殉玫琼