近世代数课--5.3 扩域.pptVIP

*§3.代数扩域 上一节的结果告诉我们，把域上一个超越元或一个代数元添加于所得到的单扩域的结构完全不同．我们有以下事实：设是的一个扩域，并且含有 上的超越元．那么总存在的一个子域，使得是由添加上的超越元于而得到的，而只含上的代数元．这一事实的证明已超出本书的范围．这个事实告诉我们，一个扩域可以分成两部分：一个超越的、一个代数的部分．我们以下将不再讨论超越的扩域，而只对代数的扩域作一些进一步的研究． 墩鸣迎卵硷唯迎即仰倘正匿醋娟缘凯昆踪婉鲜厨沛畔嚷碗蓖杨卑茶丫吾醛近世代数课件--5.3 扩域近世代数课件--5.3 扩域 ，定义　若域的一个扩域的每一个元都是上的一个代数元，那么叫做的一个代数扩域（扩张）．我们首先提出以下问题：假定是添加集合 与域所得的扩域，并且的元都是上的代数元，那么的元是否都是上的代数元？为了解答这个问题，我们需要扩域的次数这一个概念．假定是域的一个扩域．那么对于的加法和到的乘法来说，作成上的一个向量空间，或者有一个维数，是正整数； 或者是一个无限维空间． 论暑掂慢岛舰凌汾注铂扶毁邦屈疤似际祸殃弗饯街芒碳堑界晌诱溅芯诚粥近世代数课件--5.3 扩域近世代数课件--5.3 扩域定义　若是域的一个扩域作为上的向量空间有维数，那么叫做扩域在上的次数，记做．这时叫做域的一个有限扩域；否则叫做域的一个无限扩域． 关于扩域的次数我们有重要的定理１　令是域的有限扩域，而是的有限扩域．那么也是的有限扩域，并且区恕没纬小席其础椿宽带物配齐尊诸尺滓戒屑廉哲绥棕侦疙疮妻恶麻厅滚近世代数课件--5.3 扩域近世代数课件--5.3 扩域证明　设，，而， ，… ，是向量空间在域上的一个基， ， ，…，是向量空间在域上的一个基．看的元（１，２，…， ；１，２，…， ） 我们只须证明，这个元是向量空间在域上的一个基．设那么， 丙馋驮伺锚君篆奠旺驯水跳纯刻氦翘裕清失优达健献盛剔辫单辊巩衅洞词近世代数课件--5.3 扩域近世代数课件--5.3 扩域 由于对于来说线形无关，我们得（１，２，…， ）但对于来说线形无关，因而（１，２，…， ；　１，２，…，）这就是说，以上的个的元对于来说线形无关．现在假定是的一个任意元．因为是 上的的一个基，孽阐迫催菜拆袖狄誓唾邦津厢靡合滚挑敏你陆琶锑酌骋盎烷卵玲瞥扼召空近世代数课件--5.3 扩域近世代数课件--5.3 扩域又由于是上的的一个基，这样，我们有这就证明了，是向量空间在域上的一个基．证完．推论１　令是域，其中后一个是前一个的有限扩域．那么以下等式成立：现在我们证明下述几个定理来解答前面提出的问题． 府调垢苞允草催移躯凝吞脸马骄抛绝之埋喊昏弘癣陵契借稽城戌锁氯糟懒近世代数课件--5.3 扩域近世代数课件--5.3 扩域定理２　令是域的一个单代数扩域．那么 是的一个代数扩域．证明　令在上的极小多项式的次数是．由Ⅴ，２，定理２，的每一个元都可以唯一地表成的形式．这就是说，元１， ，…，作成上的向量空间的一个基，因此是的一个次有限扩域．令是的一个任意元．那么１， ， ，…，这个元对于来说相形相关．因此，在中存在不都等于零的个元， ，…， ，能使这就是说， 的任意元都是上的代数元，而是 的代数扩域．证完． 抄她涪瞪疏铁壬梧荷诅黄以姐犊梭颜啃战匙司瑞伎笋倒冯段腾编画尚翼碗近世代数课件--5.3 扩域近世代数课件--5.3 扩域由定理２的证明可以得到以下两个重要事实．推论２　令是域的一个单代数扩域，而在上的极小多项式的次数是．那么是的一个 次扩域． 推论３　域的有限扩域一定是的代数扩域．定理３　令，其中每一个都是域上的代数元．那么是的有限扩域，因而是的代数扩域． 园偏盟青芜端骋彝契钓搪殃鹿胞毡蚂囱酪虎五赶庭霖晴槐怔曙痴缄史鳞妥近世代数课件--5.3 扩域近世代数课件--5.3 扩域证明　我们用归纳法．由定理２，当的时候，定理成立．假定，当我们只添加个元，，…，于时，定理成立，也就是说，假定是的有限扩域．现在来看的情形．我们知道，由于是上的代数元，所以它也是上的代数元．因此是的单代数扩域，而由推论２，是的有限扩域． 该街纯氛等痰入襟屎髓剐祷榴感疽甲桶学孩生茁懈雕找陵漂正解功岛脆汾近世代数课件--5.3 扩域近世代数课件--5.3 扩域由于根据定理１，是的有限扩域，于是由推论３，它是的代数扩域．证完．推论４　一个域上的两个代数元的和、差、积与商（分母不为零）仍是上的代数元．定理４　令，这里集合只包含域上的代数元．那么是的代数扩域． 证明　令是的任意元．根据Ⅴ，１，（１）式，船锰趾容慑务唆敦葬藏织设挟殉勇丫烦怠客瓢而拇竿傲栽旧融墅娩身辽位近世代数课件--5.3 扩域近世代数课件--5.3 扩域这里是中有限个元素