伽罗瓦群

✍ dations ◷ 2025-07-04 09:33:48 #域论,群论,伽罗瓦理论

伽罗瓦群(法语: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()是无限扩张,其伽罗瓦群的闭子群与域扩张的中间域存在着反向包含的一一对应关系,有类似伽罗瓦理论基本定理的结论。

相关

  • 索福克勒斯索福克勒斯(古希腊语:Σοφοκλῆς,前496年/前497年-前405年/前406年),古希腊剧作家,古希腊悲剧的代表人物之一,和埃斯库罗斯、欧里庇得斯并称古希腊三大悲剧诗人,他的第一部作品
  • 杜鹃花科杜鹃花科(学名:Ericaceae)为双子叶植物纲植物,约有75属1350余种,中国共有20属700余种。台湾有12属46种。杜鹃花科的模式属是欧石楠属(Erica)。常见杜鹃花科植物包括有杜鹃花、马醉
  • 加勒比海国家加勒比海及其附近区域。若依照联合国地理分区里的地理亚区来判定,加勒比地区的范围为加勒比海上的诸岛—西印度群岛,国家与地区包含安圭拉、安提瓜和巴布达、阿鲁巴、巴哈马、
  • 节能减碳低碳经济(英文:Low-Carbon Economy,缩写:LCE),是指一个经济系统只有很少或没有温室气体排出到大气层,或指一个经济系统的碳足印接近于或等于零。低碳经济可让大气中的温室气体含量
  • 瑞比达利巴韦林(英语:Ribavirin,俗称病毒唑),是一种抗病毒药,属合成核苷类药,1970年由ICN制药公司Joseph T. Witkowski合成。对许多DNA和RNA病毒有抑制作用,其机理尚不清楚。美国食品药物
  • 普莱瑟普莱瑟县(Placer County)是美国加利福尼亚州的一个县,县治奥本。根据美国人口调查局2000年统计,共有人口248,399,其中白人占88.59%、亚裔美国人占2.95%。
  • 博伊德林恩·博伊德(Linn Boyd, Lynn,1800年11月22日-1859年12月7日),美国田纳西州那什维尔人,美国著名的政治家。他在1851年至1855年,担任美国众议院议长。博伊德代表肯塔基州当选为美国
  • CV-1 兰利号兰利号(英语:USS Langley CV-1/AV-3)为美国海军第一艘航空母舰,由运煤舰朱比特号(USS Jupiter AC-3 )改装而成,为美国海军航空兵力的先驱。1936年退役,改装为水上机母舰,并改编号为AV
  • 雅克·沙邦-戴尔马雅克·沙邦-戴尔马(Jacques Chaban-Delmas) (法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode",
  • 楠阳路楠阳路(Nanyang Rd.)为北高雄市东西向的主要道路之一,全线位于楠梓区境内。西起加昌路,途中经楠阳高架桥以立体交叉方式接台1线高楠公路及楠梓陆桥,东至兴西路接国道一号楠梓交流