伽罗瓦群

✍ dations ◷ 2025-04-05 19:10:23 #域论,群论,伽罗瓦理论

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

相关

  • 欧内斯特·劳伦斯欧内斯特·奥兰多·劳伦斯(英语:Ernest Orlando Lawrence,1901年8月8日-1958年8月27日),又译恩奈斯特·劳伦斯,美国物理学家、加州大学伯克利分校物理学教授。 劳伦斯于1930年代初
  • 塞尔托利氏细胞塞尔托利氏细胞(Sertoli cell),又名为塞托利细胞或史脱立细胞或塞透力细胞,是细精管一部分的睾丸的营养细胞。它是由促滤泡成熟激素(简称FSH)所启动,并在其细胞膜上有促滤泡成熟激
  • 先锋级1座通用动力公司的RAM舰对空导弹发射装置,装被动红外/反辐射寻的导弹(在LSD41上作为舰艇自卫系统曾试验过)。 2座MK15六管20mm"密集阵”近程武器系统; 2门MK68Mod120mm炮; 2门MK8
  • $ (消歧义)$可以指:
  • 上克罗伊茨峰 (蒂罗尔州)坐标:47°00′27″N 12°13′29″E / 47.0075°N 12.224722°E / 47.0075; 12.224722上克罗伊茨峰(德语:Hohes Kreuz),是奥地利的山峰,位于该国西部,由蒂罗尔州负责管辖,属于维内迪
  • 欧内斯特·贝赛尔欧内斯特·贝赛尔(英语:Ernest Bethell,1872年11月3日-1909年5月1日),韩文汉字名:裴说(배설;Bae Seol),是朝鲜王朝末期的一位英国驻朝鲜记者,反日报纸《大韩每日申报》的创办人。贝赛尔
  • 萧碧燕萧碧燕,曾担任过投信投顾公会秘书长,有“台湾基金投资教母”及“定期定额教母”之称。
  • 科拉塔山科拉塔山(黑山语:Зла Колата,;阿尔巴尼亚语:Kollata e Keqe),是位于黑山和阿尔巴尼亚两国国界的一座山峰。科拉塔山高2,534米(8,314英尺),是黑山最高峰和阿尔巴尼亚第16高峰
  • 复合类型在计算机科学中,复合类型是一种数据类型,它可以原始类型和其它的复合类型所构成。构成一个复合类型的动作,又称作组合。struct是 C 和 C++ 的复合类型概念,是一个将字段或成员以
  • 沐月moumoon 是日本歌唱团体。台湾译名为沐月。团名‘moumoon’的由来是法文“mou”(“柔软”之意)+ 英文“moon”(“月”之意)组成。其音乐曲风早期以流行摇滚、流行朋克为主,现以J-