- 48
- 0
- 约 25页
- 2017-03-27 发布于四川
- 举报
7-1—域的特征素域
第七章 多项式 有限域 §7.1 域的特征 素域 7.1.1 域的特征 7.1.2 素域 §7.1.1 域的特征 设F是一个域,e是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.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.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.1 域F的特征p或等于0或是一个质数。 证明:只需证若F的特征p≠0,则p一定为质数。 用反证法。设p不是质数,则 p=hk,1hp,1kp 因此,pe=(hk)e=(he)(ke)。而pe=0F。 因为域中无零因子,所以或he=0F或ke=0F ,但这和e的周期为p矛盾。 由域是消去环,而消去环中所有不为0的元素在加法下的周期相同,且或为0或为质数。 §7.1.2 素域 定理7.1.2 设p为质数或等于0,特征为p的任意域F包含RP为其最小子域。 证明:设e是F的壹,作映射σ同前: σ:n→ne,n?I 。 令I’为I在F内的同态映象: I’=σ(I)={ne|n∈I}, 则I’为环,I~I’,且同态核N=pI。故, I∕pI ? I’。 定理7.1.2 若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.2 现在用1代表F的壹:e=1,用整数n代表ne。 特征是质数p时,mod p合同的整数代表F的同一个元素,Rp的元素写作0,1,…,p-1,则抽象地看,Rp与I一样 。这样,特征为p的域便包含Rp为其最小子域。 定理7.1.2 若F的特征p为0,往证F包含R0为其最小子域。 由p=0,知σ的核pI=0I={0},所以 I/pI={?, {-1}, {0}, {1}, ?}, 显然I/pI ? I,而I / pI ? I’,故I’ ? I。 I’还不是一个域,故扩充σ: , (n≠0) 往证σ为有理域R0到F内的一个同态映射。 定理7.1.2 先证σ为有理域R0到F内的一个映射。 若h/k=m/n,则hn=km,因此, (hn)e=(km)e,即 (he)(ne)=(ke)(me), 因k?0,n?0,F的特征p为0,所以 ke?0F,ne?0F, 故,he/ke=me/ne,这就是说,由σ所规定的m/n的映象由m/n唯一确定,而与这个有理数的表示方法无关。 定理7.1.2 再证σ为同态映射。 因此若令 ,则 R0 ? R0’ 定理7.1.2 证σ是R0到其映象R0’的同构映射,故R0’是域,因此是F的子域。 证法一:R0是一个域而σ不是把它的所有元素映到0,所以,由教材233页习题6.7-1,R0 ?R0’。 证法二:再证明σ是1-1映射即可。因σ是R0到R0’上的映射,只需证若h/k ? m/n,则he/ke ? me/ne。 反证。设h/k ? m/n,而he/ke = me/ne。则(he)(ne)=(ke)(me),故,(hn)e = (km)e,即 (hn)e - (km)e=0F,亦即(hn-km)e=0F ,由F的特征p为0,知hn-km=0F ,所以hn=km,h/k = m/n,与
您可能关注的文档
- 5-3平面线性系统的奇点和相图.ppt
- 5-“世说新语”两则.ppt
- 4-5“相貌各异的我们”.ppt
- 5-3自我新形象[上课].ppt
- 5-伤仲永-公开课.ppt
- 4第3章节干涉与干涉仪.ppt
- 5-微量元素与糖尿病.ppt
- 5-31无烟日建管七班无烟日学习.ppt
- 5-6利用三角形全等测距离.ppt
- 53151演讲中的方法培训.ppt
- 2025-2026学年天津市和平区高三(上)期末数学试卷(含解析).pdf
- 2025-2026学年云南省楚雄州高三(上)期末数学试卷(含答案).pdf
- 2025-2026学年甘肃省天水市张家川实验中学高三(上)期末数学试卷(含答案).docx
- 2025-2026学年福建省厦门市松柏中学高二(上)期末数学试卷(含答案).docx
- 2025-2026学年广西钦州市高一(上)期末物理试卷(含答案).docx
- 2025-2026学年河北省邯郸市临漳县九年级(上)期末化学试卷(含答案).docx
- 2025-2026学年河北省石家庄二十三中七年级(上)期末历史试卷(含答案).docx
- 2025-2026学年海南省五指山市九年级(上)期末化学试卷(含答案).docx
- 2025-2026学年河北省唐山市玉田县九年级(上)期末化学试卷(含答案).docx
- 2025-2026学年河北省邢台市市区九年级(上)期末化学试卷(含答案).docx
最近下载
- 作文稿纸A4打印模板.docx VIP
- 《城市轨道交通客运服务》教案 项目二 城市轨道交通客运服务标志.pdf VIP
- 弱电系统维保方案(三篇).pdf VIP
- 2026建筑施工企业复工复产开工第一课.pptx
- 肠内营养(江苏)PPT课件.pptx VIP
- 基于51单片机智能晾衣架的设计.doc VIP
- 第一单元 第1课《童年艺趣》(课件)人教版三年级美术上册.ppt
- 交互设计2 交互系统与设计目标.ppt VIP
- 2024-2025学年广东深圳龙华区高一(上)期末数学试卷【答案版】.pdf VIP
- 工程伦理 课件全套 李正风 第1--9章 工程与伦理、 如何理解伦理--- 全球化视野下的工程伦理(414页).pptx VIP
原创力文档

文档评论(0)