族谱网 头条 人物百科

代数扩张

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:1568
转发:0
评论:0
定义代数扩张的基础是代数元的概念。给定域扩张L/K,L某个元素如果是一个以K中元素为系数的非零多项式的根,则称其为K上的代数元。如果L中所有元素都是K上的代数元,就称域扩张L/K为代数扩张。次数设有域扩张L/K,L可以看作是K上的向量空间,将其维度称作这个扩张的次数,记作[L:K]。有限次数的扩张(简称有限扩张)都是代数扩张;反之,给定一个代数扩张L/K,则L里的任一元素都是L/K的某个有限子扩张K⊂F⊂L。但代数扩张本身并不一定是有限扩张一个代数扩张可表作有限子扩张的归纳极限。代数扩张与多项式的根在一个代数扩张L/K中,L中的每个元素α都是某个以K中元素为系数的多项式(以下简称K-多项式,所有K-多项式的集合记作K[X])f的根。所有以α为根的K-多项式中次数最低者称作α的极小多项式(通常要求其为首一多项式,即最高次项系数等于一,以保证唯一性)。极小多项式总是不可约多项式。若K-多项式f...

定义

代数扩张的基础是代数元的概念。给定域扩张 L/K , L 某个元素如果是一个以 K 中元素为系数的非零多项式的根,则称其为 K 上的 代数元 。如果 L 中所有元素都是 K 上的代数元,就称域扩张 L/K 为代数扩张。

次数

设有域扩张 L/K , L 可以看作是 K 上的向量空间,将其维度称作这个扩张的 次数 ,记作[ L : K ]。有限次数的扩张(简称 有限扩张 )都是代数扩张;反之,给定一个代数扩张 L/K ,则 L 里的任一元素都是 L/K 的某个有限子扩张 K ⊂ F ⊂ L 。但代数扩张本身并不一定是有限扩张一个代数扩张可表作有限子扩张的归纳极限。

代数扩张与多项式的根

在一个代数扩张 L/K 中, L 中的每个元素 α 都是某个以 K 中元素为系数的多项式(以下简称 K- 多项式,所有 K- 多项式的集合记作 K [ X ] ) f 的根。所有以 α 为根的 K- 多项式中次数最低者称作 α 的 极小多项式 (通常要求其为首一多项式,即最高次项系数等于一,以保证唯一性)。极小多项式总是不可约多项式。

若 K- 多项式 f 不可约,则商环 L := K [ X ] / ( f ) 是 K 的一个域扩张,它的次数 [ L : K ] = deg( f ) ,而且不定元 X 在商环中的像是在 f 的一个在 L 中的根,其极小多项式正是 f 。通过这种构造,我们可抽象地加入某个多项式的根。例如 R [ X ] / ( X 2 + 1 ) {\displaystyle \mathbb {R} [X]/(X^{2}+1)} 就是在实数域中添加了虚数单位 i 得到的扩域:复数域 C {\displaystyle \mathbb {C} } 。

给定域扩张 L/K ,如果 K- 多项式 f 可以在 L 中分解成一次因子的积,则称 f 在 L 中 分裂 。根据上述构造,总是可以找到一个足够大的代数扩张 K"/K 使得 f 分裂; K" 里满足此性质的“最小”子扩张称作 f 在 K 上的 分裂域 。 f 在 K 上的任两个分裂域至多差一个 K 上的同构(即:一个限制在 K 上的部分为恒等映射的环同构)。

正规扩张

正规扩张是研究多项式的根时所用到的概念。一个代数扩张 L/K 被称作 正规扩张 ,当且仅当它满足下述三个等价条件之一:

固定代数闭包 K ,任何 K 上的(即在 K 上是恒等映射的)域嵌入 σ : L → K ,都有 σ ( L ) = L 。

存在一族在 L 上分裂的多项式 ( f i ) i ∈ ∈ --> I ⊂ ⊂ --> K [ X ] {\displaystyle (f_{i})_{i\in I}\subset K[X]} ,使得 L/K 是在 K 中添加它们的根生成的域扩张。

K [ X ] 中任何不可约多项式若在 L 里有根,则在 L 里分裂(全部的根都在 L 里面)。

正规扩张可以看作是域扩张语言中对多项式的刻画。一个正规扩张对应着 K [ X ] 里的一个多项式。

例子

x 2 + 1 {\displaystyle x^{2}+1\,} 在 R {\displaystyle \mathbb {R} } 上的分裂域是 C {\displaystyle \mathbb {C} } 。

x 3 + 2 {\displaystyle x^{3}+2\,} 在 Q {\displaystyle \mathbb {Q} } 上的分裂域是 Q ( e 2 3 π π --> i , 2 3 ) {\displaystyle \mathbb {Q} (e^{{\frac {2}{3}}\pi {\rm {i}}},{\sqrt[{3}]{2}})} 。

( x 2 − − --> 2 ) ( x 2 − − --> 3 ) {\displaystyle (x^{2}-2)(x^{2}-3)\,} 在 Q {\displaystyle \mathbb {Q} } 上的分裂域是 Q ( 2 , 3 ) = Q ( 2 + 3 ) {\displaystyle \mathbb {Q} ({\sqrt {2}},{\sqrt {3}})=\mathbb {Q} ({\sqrt {2}}+{\sqrt {3}})} 。

Q ( 2 ) / Q {\displaystyle \mathbb {Q} ({\sqrt {2}})/\mathbb {Q} } 是正规域扩张, Q ( 2 3 ) / Q {\displaystyle \mathbb {Q} ({\sqrt[{3}]{2}})/\mathbb {Q} } 却不是,因为后者并没有包括 x 3 − − --> 2 {\displaystyle x^{3}-2\,} 的所有根,欠了 2 3 e 2 3 π π --> i , 2 3 e − − --> 2 3 π π --> i {\displaystyle {\sqrt[{3}]{2}}e^{{\frac {2}{3}}\pi {\rm {i}}},{\sqrt[{3}]{2}}e^{-{\frac {2}{3}}\pi {\rm {i}}}} 。

可分扩张

设 L/K 为代数扩张,如果 α 的极小多项式没有重根,则称 α 可分 (重根的存在性与域扩张的选取无关,可分性等价于 ( f , f" ) = 1,这可以直接在 K 中计算)。所有可分元素形成一个中间域 K ⊂ F ⊂ L , [ L : K ] s := [ L s : K ] 称作 L/K 的 可分次数 。若 L s = ; L ,则称 L/K 是 可分扩张 。

当 L/K 是有限扩张时,定义 不可分次数 [ L : K ] i := [ L : K ] / [ L : K ] s 。当基域的特征为零时,任何代数扩张都是可分的;任何有限域的扩张也都是可分的。

参考文献

Serge Lang, Algebra (2002), Springer-Verlag. ISBN 0-387-95385-X


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 代数
定义设A{\displaystyleA}为一交换环,A{\displaystyleA}上的代数(或称A{\displaystyleA}-代数)是下述结构:集合E{\displaystyleE}是个A{\displaystyleA}-模。指定E{\displaystyleE}上的一个二元运算,通常以乘法符号表示:此二元运算是双线性的,换言之:最常考虑的情形是A{\displaystyleA}是一个域,这时称域代数,一些作者也将代数定义成域上的代数。若E{\displaystyleE}上的乘法满换性xy=yx{\displaystylexy=yx},则称之为可交换代数;若E{\displaystyleE}上的乘法满足结合律x(yz)=(xy)z{\displaystylex(yz)=(xy)z},则称之为结合代数,详阅主条目结合代数。交换代数学中考虑的代数均属可交换的结合代数。代数同态设E,F...
· 代数
历史希腊数学家欧几里得在其著作几何原本中详述几何性的代数。代数的起源可以追溯到古巴比伦的时代,当时的人们发展出了较之前更进步的算术系统,使其能以代数的方法来做计算。经由此系统的被使用,他们能够列出含有未知数的方程并求解,这些问题在今日一般是使用线性方程、二次方程和不定线性方程等方法来解答的。相对地,这一时期大多数的埃及人及公元前1世纪大多数的印度、希腊和中国等数学家则一般是以几何方法来解答此类问题的,如在莱因德数学纸草书、绳法经、几何原本及九章算术等书中所描述的一般。希腊在几何上的工作,以几何原本为其经典,提供了一个将解特定问题解答的公式广义化成描述及解答方程之更一般的系统之架构。代数(algebra)导源于阿拉伯语单字“al-jabr”,其出自al-Kitābal-muḫtaṣarfīḥisābal-ğabrwa-l-muqābala这本书的书名上,意指移项和合并同类项之计算的摘要,其为...
· 泛代数
基本构思从泛代数角度来看,代数是个集合A拥有一组算子。在A上的一个n元运算是个函数以n个A的元素为输入并返回一个A的元素。无元运算:产生常数a单元运算:例如~x二元运算:x*y除了运算,还有符合一些公理及方程式定律,例如结合律、交换律等等。相关条目调和分析测度分析微分几何及拓扑代数拓扑代数几何抽象代数
· 外代数
定义及运算律外代数有很多种等价的定义,下面的定义是最简洁的一个。定义:设V{\displaystyleV}是域K{\displaystyleK}上的一个向量空间,让Tk(V):=V⊗⊗-->⋯⋯-->⊗⊗-->V⏟⏟-->k{\displaystyleT^{k}(V):={\underset{k}{\underbrace{V\otimes\cdots\otimesV}}}}则定义令I{\displaystyleI}为V{\displaystyleV}的张量代数的理想(即双边理想),该理想是由所有形如v⊗⊗-->v{\displaystylev\otimesv}的张量生成的(其中v∈∈-->V{\displaystylev\inV}任意),则将V{\displaystyleV}上的外代数ΛΛ-->(V){\displaystyle\Lambda(V)...
· 代数群
参见代数簇文献BriandConrad,AModernProofofChevalley"sTheoremonAlgebraicGroups.Humphreys,J.E.,Linearalgebraicgroups,GraduateTextsinMathematics,No.21.Springer-Verlag.Milne,J.S.,AlgebraicandArithmeticGroups.Mumford,D.,Abelianvarieties,TataInstituteofFundamentalResearchStudiesinMathematics,No.5.Springer,T.A.,Linearalgebraicgroups,2nd.ed.,ProgressinMathematics9.Boston:Birkhäuser.Waterhouse,W.C.,Intro...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信