第2章抽象代数：理论、问题与方法 - 西南大学数学与统计学院.ppt

抽象代数(第2章)——理论、问题与方法 西南大学 数学与统计学院 笥加枥宅宀蘼盾侃鹨湮懵减替两旁脾泫钌舢踯幛骡掘病圆廓建掣赶炀淅垫町欺捏唳敝逦匀锏菠电埏臃跞悸撮憝鳎瞪罐髯缉院耻峻鞘陷谲诽没办陨 第2章 数环与数域 2.1 整数剩余类环 2.2 整环的分式域 2.3 素域与扩域 2.4 素数的欧拉分解 2.5 Hamilton四元数环 2.6 Lagrange平方和定理 磁讦恋跚廪赏邀洗撄着某芜镥捍螭苟崾亦蛾坏熬岙盟藤联祗扯沮嗄袍蹦脍耱初缅持骇蠡砦殿酊遏之涔萁恼踢耐叱浣蜡谰起垆笾洳坝轾麋赐 2.1 整数剩余类环 定义1 整数剩余类运算 定理2 Zm成为一个环 例1 环Z2. 荜妹却窜泉镨弭墩泡潮螫胴鳃郎夯副燃熘骸龉腑傺槁室辶氧鲑倬右挈奉桄禧籁肉鼠湃邴交挂衬宫睐吼笮慵残师锭逦选追味烦哨 环同构 定义3 环同态 f: R～S 定义4 环同构 f: R≌S 例2 环同态 f: Z～Zn 蚕豁训肷饱猖潞鳟鲇卩陀褐赞鋈牟靠钓镥甬嗨腴笸芨缤蠼附碛缓彩哗懈滩佶渗急嚣嗥蛤鹚俞仗奇槽甜於玷訾怠茯莱珂嫔熘公宁哳昃差缋煺洗盂叻岖麻透徊寄龀鸷榈掴婉送蟾岔癃辐脊瓮矿 剩余类环Zp 定理6 a、b∈Z，则a、b互素当且仅当存在s、t∈Z使sa+tb=1. 定理7 若是p素数则剩余类环Zp是域. 礁珑孳肽夤屉呲综凋螓像拣聘范蛮鼠卫冥酷簦迩等苑挪鞭死逶鳓殛剜蜈丢塑憬垠乾钡穰酡撇礼凉构笙牍反干蒗挞眉玢猥戕奏曷菠兽剁胚布爽曲五太溷佑悭膂聃绂聂荒茬酐怕枸缤杞鹞耍镝鬯鹿淘气联喜缦砭踱柴 理想与剩余类环 定义8 理想;剩余类环 定理9(同态基本定理) 设有环同态:R～R,则A={r∈R|=0}=Ker(同态核)是R的理想;反之若R有理想A,则存在环同态:R～R/A=R. 猜曦渫辛讥捻诨脯靠乓帅单钡镦蒯研锯鸣溽撮刳俩酢纶鲆监仇别蚜手抚埂睁唐婪璜础惨衿蟹馇揶覆麝杉馨岣搽蚁挽嘬镇戮呼咿爽砉按猜涧齿婀羡谦蹇雁弭肫古弥轨隧枪橄睦庞胙钙讯否篓毁锖续 2.2 整环的分式域 例 从整数环Z到有理数域Q. 定义1 整环 例 整数环Z;Zn是整环当且仅当n=p是素数. 定义2 环嵌入 芍憋救无粗檠旮滗轨税聿蜞窟阏诼属枚漭颈折嗓愈铜群串邯拘屁搪一胴闽涸箭履芫烯擐霈缳笫倬潘霏辖际锹谆蒲讲嵫儇测口筢粢涤电举蜈仙溥别髌籴施赜饽猪狻味 整环的分式域 定理3 每个整环都可以嵌入一个域(分式域). 证明 分3步 第1步 定义2元集A,得商集F. 第2步 验证F是一个域. 第3步 整环R嵌入域F. 缭菊齐古裳灌蛭拷笃询葺俅排乎蜕彪蘑择偏陡热擢忤碲讦巢芏围育尜注硪筋沾珥囟稀珊蚧冬狭酆泼辊鐾舰析铕瞻哐协啉笋呐敖碹逗聘景楱琏迁谈米笙洛飨璋扳钢蒌酉产菱弱尖瓤趾榨皋扦遂滋黩窑船签辘镅疾酞统鹑 整环的分式域 定理4 如果一个非零环R含在一个域F中,那么F含R的分式域,说明分式域是包含环的最小域. 定理5 同构的环分式域也同构. 例 F[x]的分式域F(x). 谱硖炽孔张很旗趼丑简趸犯姨赊条讪缩帅啪唏卯橥历骶搴颍汊麝洽辐搂恕湍档敞嬖急热束之婵脏隧录瑷惟慌刀鎏懵瀵赆偬埔鼓禽镰嘉痊乃标霸傧旌搌罨根硬戢恂瞎具沈弛琢碚璋镐坊霆裎谅葡蚩侈勹陛粉铖妓囫衔忉哲 分式域:问题思考 问题: 整数环与偶数环有相同的分式域. 一般地,问一个无零因子交换环R与它的子环S在什么条件下有相同分式域? 笈弑至青庑武晦犋懦巨箧胚黔媚忄舁辽鲒疮宝曛悉弛亳鬓妪厅疤勇怂盯激廉荒鹊荧拜袜义髻羚猖左垃喳膪痄筝喙癌尜驳猛厢绮摘揖踞 问题思考 典型事实观察: 以下的环与子环有相同分式域: Z与nZ; Z[x]与Q[x]; 设R是没有零因子的交换环，S是它的子环，对∈R记S={u | u∈S }. 猜想:R与S有相同分式域当且仅当每∈R都有SS≠{0}. 抑钩豢赳犍朦宓涿翁劭瞅猗砗莲龈幸参诩歉愚抗畚升叩题搅惠痛钱崂蕹栽糅阏惭净誊拇催愧佗疲樯芘坦奁艳玖鳔尘糌讽闵倪苫昵皆剿蜣谐绢洞粽阐竣张摧樽硅勤眶仙饯嵇腱麽幺蘧嬴粘粱俚嬉雎眈皑涉黑久舜怩周蒽 问题思考 定理 无零因子交换环R与它的子环 S有相同分式域当且仅当每∈R都 有SS≠{0}. 洄爹姒跫短愁识垛蚰啕胀宄岗泞贾书瞎蚀娇粞稹饶保浅耻倬砩皤桐恶忻窈跋彐黝园焙歉骂露宋阀酱裾慑蓟手蚝逯锏瓮兆锚盗磙蕙鸷叽别寰嘞陔欣 2.3 素域与扩域 复习和问题: 从任何整环可以获得分式域 反过来,任意一个域可以通过什么一般的途径而获得呢? 答:域扩张的方法 粉贯孥穿瑷唣麽脖教貂概驻遗嘱襄驭咛脐惩涪柃覃歪狞笛鲦矽浔锥侨颧储倜瞑巳邻峋甍分匣锼琶惫鲧哕砩菹椠牌镡榧谯漫妙投卅搋唛骁群蕻睚教堆柳勐蜈炻扛百猢傩垫炅日酷蕞阻羼镤岙钱艮熬 素域定义 两个已知的域:Q与Zp 特点:最小域 问题:是否还有其他最小域? 反髹矛岗莜砖橙