伽罗瓦群

✍ dations ◷ 2025-07-24 12:31:21 #域论,群论,伽罗瓦理论

伽罗瓦群(法语:Groupe de Galois)是抽象代数中域论的概念,表示与某个类型的域扩张相伴的群,是伽罗瓦理论的基础概念。域扩张源于多项式。通过伽罗瓦群研究域扩张以及多项式的理论,称为伽罗瓦理论,是十九世纪法国数学家埃瓦里斯特·伽罗瓦为了解决“高次多项式方程是否有根式解”的问题而创造的。后世也以他的名字命名相关的概念。

用置换群更初等地讨论伽罗瓦群,参见伽罗瓦理论一文。

设有域扩张L/K。考虑所有L上的K-自同构集合。此处的K-自同构指的是L映射到L的环同构,且其限制在K上的部分是平凡的(即为恒等映射)。用数学语言描述,一个K-自同构是指满足以下条件的同态σ:15-16:125:

可以证明,对任意的域扩张L/K,所有L上的K-自同构关于映射的复合运算构成群,称为域扩张L/K的自同构群,记作Aut():16。

如果L/K是一个伽罗瓦扩张,则Aut()称为扩张L/K上的伽罗瓦群,通常记做 Gal()(有些文献中记作Gal( : )):16。

在某些介绍伽罗瓦理论的专著中,也会将任何域扩张上的自同构群都称为伽罗瓦群,并记作Gal()σ:125。

F是一个域, Q , R , C {\displaystyle \mathbb {Q} ,\mathbb {R} ,\mathbb {C} } ()表示在F中添加元素a生成的域扩张。


设有域扩张L/K,则其自同构群Aut()满足:

设域扩张L/K为伽罗瓦扩张。以下的性质均可以在没有伽罗瓦理论基本定理的情况下证明。

伽罗瓦扩张的重要性在于,有限的伽罗瓦扩张满足伽罗瓦理论基本定理:伽罗瓦群的子群与域扩张的中间域之间存在着反向包含的一一对应关系。

如果Gal()是伽罗瓦扩张,则伽罗瓦群Gal()上可以装备一个拓扑,称为克鲁尔拓扑(英语:Krull topology),使其成为一个投射有限群(英语:profinite group)。在此拓扑下,即便Gal()是无限扩张,其伽罗瓦群的闭子群与域扩张的中间域存在着反向包含的一一对应关系,有类似伽罗瓦理论基本定理的结论。

相关

  • 谷氨酰胺谷氨酰胺(Glutamine)亦被称作谷氨酰胺,为人体中含量最丰富的非必需氨基酸,且是唯一一种可直接通过脑血管障壁(BBB)的氨基酸。在人体中储存于骨骼肌或血液中。当受伤或患病时,谷氨酰
  • 必需脂肪酸必需脂肪酸(英语:Essential fatty acid;缩写EFA)是指人体内(或其他高等动物)不能自行合成、但又必须从食物中获得的脂肪酸。只有两种脂肪酸是是人体必需的:亚油酸(一种ω-6双不饱和
  • 颤动颤动(德语:Zitterbewegung;英语:jitter/oscillatory movement)是一种理论上螺旋的或圆形的基本粒子运动,尤其是电子,因而产生了它们所具有的自旋与磁矩。如此运动的存在是由埃尔
  • 摩耶精舍张大千先生纪念馆(英语:Chang Dai-ch'ien Residence)位于台北市士林区外双溪,为国立故宫博物院接受捐赠管理的纪念馆。是中国近现代知名艺术家张大千亲自设计兴造双层的四合院建
  • 李龟年李龟年(?-?),中国唐朝中期音乐家,在唐玄宗时期与兄弟李鹏年、李鹤年齐名。李龟年早年入梨园,善歌,能演奏筚篥、羯鼓等多种乐器,又能作曲,以创作《渭川》一曲而得到唐玄宗赏识。李龟年与
  • 梅里德·科里根·麦奎尔梅里德·科里根·麦奎尔(Mairead Corrigan Maguire ,1944年1月27日-)是一名北爱尔兰社会活动家。她与贝蒂·威廉斯一起创立了和平人社团组织,该组织致力于和平解决北爱尔兰问题。
  • 雅克-昂利·贝尔纳丹·德·圣皮埃尔雅克-昂利·贝尔纳丹·德·圣皮埃尔(法语:Jacques-Henri Bernardin de Saint-Pierre,1737年1月19日-1814年1月21日),法国作家,植物学家。他在1788年发表了短篇小说《保罗和维尔吉尼
  • 艾多奈拉姆·耶德逊艾多奈拉姆·耶德逊(Adoniram Judson,1788年8月9日-1850年4月12日)是一位美国传教士。也是一位终身奉献于缅甸的宣教士(1813年)。耶德逊出生于1788年8月9日,在美国马萨诸塞州马尔顿
  • 西门暗沙西门暗沙位于南中国海中沙群岛西北部,东北与本固暗沙相距1.6海里,西南与华夏暗沙相距5.4海里。整个暗沙全部在海面以下,等深线20米以上面积约3平方公里。1947年和1983年公布名
  • 薯条堡薯条堡(法语:Mitraillette,法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentiu