伽罗瓦群

✍ dations ◷ 2025-09-18 09:49:40 #域论,群论,伽罗瓦理论

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

相关

  • 超新星核合成超新星核合成是阐明新的化学元素如何在超新星内产生,主要发生在易于爆炸的氧燃烧和硅燃烧的爆炸过程产生的核合成。这些融合反应创造的元素有硅、硫、氯、氩、钾、钙、钪、钛
  • 银河银河星系(古称银河、天河、星河、天汉、银汉等),是一个包含太阳系 的棒旋星系。直径介于100,000光年至180,000光年。估计拥有1,000亿至4,000亿颗恒星,并可能有1,000亿颗行星。太
  • 正丙醇1-丙醇(Propan-1-ol)是一种有三个碳原子的醇类有机化合物。 简单的化学式为C3H7OH。分子式为CH3CH2CH2OH,依按IUPAC命名法称作丙-1-醇。是一氧化碳和氢合成甲醇时的副产物。其
  • 众议院议长执政党 (77)最大反对党 (68)中立议员 (6)澳大利亚主题澳大利亚众议院(英语:Australian House of Representatives)是澳大利亚议会的两院之一。众议院也被称作下院,同时,参议院被
  • 阿尔伯特·比尔施塔特阿尔伯特·比尔施塔特(Albert Bierstadt,1830年1月7日至1902年2月18日)是一位德裔美国风景画家,以其绘制的美国西部风景画名噪一时。他参与了多次的西部扩张旅行,是最早开始绘制
  • 拉希莉·阿塞马尼拉希莉·阿塞马尼(波斯语:راحله آسمانی‎,1989年6月21日-)生于伊朗卡拉季,是一名比利时籍女子跆拳道运动员。她曾代表伊朗在2010年亚洲运动会中获得女子62公斤级银牌。
  • 蒂莫西·奥利芬特蒂莫西·奥利芬特(英语:Timothy Olyphant,1968年5月20日-)出生于美国夏威夷州檀香山,为美国男演员。1968年,奥利芬特出生在美国夏威夷州檀香山,母亲凯瑟琳,父亲约翰·弗农·贝文奥利,
  • 基态原子电子组态列表这是一个关于基态电中性原子的电子组态──即原子核外电子排布方式的列表。此列表按照原子序数的递增顺序进行排列,列表表头由左至右依次为原子序数、元素名称和由1至7的电子
  • 昆明榆昆明榆(学名: var. )为榆科榆属下的一个变种。
  • 王国忠王国忠(?-1862年),中国清朝水师将领。嘉义人,本籍福建,行伍出身,于1859年(咸丰九年)奉旨接替黄礼�,于台湾担任台湾水师协副将。而隶属台湾镇之下的此官职是台湾清治时期的这阶段,全台湾的