伽罗瓦群

✍ dations ◷ 2025-04-26 13:15:04 #域论,群论,伽罗瓦理论

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

相关

  • 五边石墨烯五边石墨烯是一种假设的碳的同素异形体。其分子结构以五边形组成,形似开罗五边形镶嵌。这种形态建基于分析和模拟,在2014年被提出。进一步的计算显示纯粹以此形态存在的碳是不
  • 胡比·高拔乌比·戈德堡(英语:Whoopi Goldberg,1955年11月13日-)是一位美国演员、作家、创作歌手、脱口秀主持人,亦是美国娱乐界史上写下“演艺圈大满贯”的十一位艺人之一,即奥斯卡金像奖(电
  • 威廉·劳伦斯·夏勒威廉·劳伦斯·夏勒(英语:William Lawrence Shirer,1904年2月23日- 1993年12月28日)是一位美国作家、战地记者和历史学家,曾为《芝加哥论坛报》、《国际新闻社》记者,代表作为《第
  • 花雕花雕,指绍兴酒中品质上等的一类加饭酒,主要产自浙江绍兴一带。用优质的糯米,上好的酒曲加上当地的泉水,按古法酿制再窖藏数年而成,品质较一般的绍兴酒更好。花雕酒酒性柔和,酒色橙
  • 2014年6月逝世人物列表2014年6月逝世人物列表,是用于汇总2014年6月期间逝世人物的列表。
  • 2009年萨扬-舒申斯克水力发电厂事故坐标:52°49′31″N 91°22′15″E / 52.8253°N 91.3709°E / 52.8253; 91.3709萨扬-舒申斯克水力发电厂事故(俄语:Авария на Саяно-Шушенской ГЭС)
  • 奥蒂省坐标:10°21′26″N 0°28′16″E / 10.35722°N 0.47111°E / 10.35722; 0.47111奥蒂省(法语:Préfecture de l'Oti),是多哥的30个省份之一,位于该国北部,由草原区负责管辖,首府设
  • 萨拉·索菲亚·班克斯萨拉·索菲亚·班克斯(英语:Sarah Sophia Banks,1744年10月28日-1818年9月27日),是一个英国古董收藏家,也是博物学家约瑟夫·班克斯的妹妹。萨拉收集硬币,奖章和短期使用物品,如单
  • 星野仙一选手监督星野仙一(日语:星野 仙一、1947年1月22日-2018年1月4日),前日本职棒中日龙选手,退休后曾经担任过中日龙、阪神虎队监督,2011年担任东北乐天金鹰监督。26 渡边直人 | 73 野
  • 夏洛特·艾略特夏洛特·艾略特(Charlotte Elliott,1789年3月18日-1871年9月22日)是一位英国诗人、圣诗作者。父亲查尔斯·艾略特为为丝绸商人,母亲依莲·文恩为英国亨利·文恩(英语:Henry Venn (C