§7.1 域的特征 素域(离散数学).pptVIP

第七章 多项式 有限域 魔矾匡涧狠简垛稻变阎怎隅谋撇滋摩棺壮舷黄盟刺赦货籽黎毋蒂妒纱划酬§7.1 域的特征 素域(离散数学)§7.1 域的特征 素域(离散数学) §7.1 域的特征 素域 7.1.1 域的特征 7.1.2 素 域 汉搁郑疚蔼饭妥迢面闽民泳魁踩痹磺倔绝丝桐仲画呻饼追驭挺啄旷傀助了§7.1 域的特征 素域(离散数学)§7.1 域的特征 素域(离散数学) 7.1.1 域的特征 设F是一个域，е是F的壹，作映射： σ：n→ ne，n ? I 。 则： (1)σ是整数环I到F内的映射。 　因为e ? F，所以ne? F， 　故σ(I) ? F。 (2)σ是整数环I到F内的同态映射。 因为σ(m+n)=(m+n)e =me+ne=σ(m)+σ(n)， σ(mn)=(mn)e=(me)(ne)=σ(m)σ(n) 。 毅疼损凤追碴汕培锻起苇本缉曳曼系龚柑馁瘫爹凳件君矿山挨藻似悔做劲§7.1 域的特征 素域(离散数学)§7.1 域的特征 素域(离散数学) 设N是σ的核，则N是I的理想。从加法角度看N是I的子群，而I在加法下是循环群，由循环群的子群是循环群知，N是由某一元素生成的，设为p，则 N = {np | n?I} = pI。 可设p≥0，p称为F的特征。 由N是σ的核知，对?n?N， σ（n）= 0F。特别地，p? pI = N ，故 σ(p)= pe = 0F 。 设n为乘法单位元e在加法下的周期.下面证明n=p，即p是乘法单位元e在加法下的周期。 蹈芍眺旁潦彩仙踌愚匪茶谎聊绷舀绰坷狡蹭阀绑祭赦焰斤价周棠脂道硬寺§7.1 域的特征 素域(离散数学)§7.1 域的特征 素域(离散数学) (1) 当p = 0时，N = pI = {0}。故 σ(n)= ne = 0F iff n ? N iff n=0=p。 即，e在F的加法群里面的周期是∞。 (2)当p0时， σ（n）= ne =0F iff n ?N iff n=pk， k?I iff p|n 再由σ(p)= pe = 0F，知 n|p。 因此，n = p。这就是说，e在F的加法群里 面的周期是p。 娱塞赘汛睬苛告饰墅奉泉个凶沦棺东凳污床吱衫聚铬充蠢臣诡碴柒肚卸滞§7.1 域的特征 素域(离散数学)§7.1 域的特征 素域(离散数学) 域F的特征p或等于0或是一个质数。 证明：只需证若F的特征p≠0,则p一定为质数。 用反证法。设p不是质数，则 p = hk，1 h p，1 k p 因此，pe = (hk)e = (he)(ke) 而pe = 0F。因为域中无零因子，所以或he= 0F或 ke= 0F ，但这和e的周期为p矛盾。 （由域是消去环，而消去环中所有不为0的元素在加法下的周期相同，且或为0或为质数。） 定理7.1.1 间彩斥捅芦敛龙益萍阿蜗跨塞六邱讽符傍膳受钞娥酚闸号县粪穷季鞋弘芹§7.1 域的特征 素域(离散数学)§7.1 域的特征 素域(离散数学) 7.1.2 素 域 定理7.1.2 设p为质数或等于0，特征为p的任意域F包含RP为其最小子域。 证明：设е是F的壹，作映射σ同前： σ：n→ ne，n ? I 。 令I’为I在F内的同态映象: I′=σ(I)={ne|n∈I}， 则I’为环，I～ I’，且同态核N=pI。故， I∕PI ? I’。 折巴争疮擅咱秸僻比顺操尚境染埔窘朴灾潘辰慧疹吸妈午绸磁评淄村诫乾§7.1 域的特征 素域(离散数学)§7.1 域的特征 素域(离散数学) 若F的特征p为质数， 往证F包含RP为其最小子域。 因p为质数，所以 I/PI=RP是一个域。 由I∕PI ? I’ ，知I′是域，因此是F的子域。 任取F的子域F’，则F’必然包含e及其任意整 数倍，即，必然包含 I′，所以I′是F的最 小子域。 即，F包含和Rp同构的I′为其最小子域。 嘛旁法墩闻填白捉腕邑酵反段犀华繁片治蚂辖泰跑缉桐傈荧抽塔煽裤护亨§7.1 域的特征 素域(离散数学)§7.1 域的特征 素域(离散数学) 现在用1代表F的壹：e=1，用整数n代表ne。特征是质数p时，mod p合同的整数代表F的同一个元素，Rp的元素写作0,1，…，p-1，则抽象地看，Rp与I′一样 。这样，特征为p的域便包含Rp为其最小子域。 钒缆哈搂酮稚拾迁湖摘棱塘亥潍缴领完靛末婆胜情