域论与伽罗瓦理论
域论研究域及其扩张的算术，伽罗瓦理论在域扩张与对称群之间建立了精确的对应关系，解决了关于多项式方程求解的经典问题。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
域是一个交换环，其中每个非零元素都有乘法逆元。域论研究域及其之间的扩张；伽罗瓦理论通过其自同构群（伽罗瓦群）分析正规、可分扩张。
Scope
该领域涵盖域扩张及其次数、代数元素和超越元素、分裂域和代数闭包、可分性和正规性、中间域与子群之间的伽罗瓦对应、根式可解性以及有限域的结构。它是研究生初级代数课程的顶点。
Sub-topics
Core questions
- 给定域扩张的次数和结构是什么？它是代数的还是超越的？
- 扩张的伽罗瓦群如何对其中间域进行分类？
- 多项式方程何时可以用根式求解？
- 可能的有限域有哪些？它们是如何构造的？
Key theories
- 伽罗瓦理论基本定理
- 对于有限伽罗瓦扩张，中间域与伽罗瓦群的子群之间存在一个包含关系反转的双射，其中正规子群对应于正规子扩张。
- 根式可解性
- 一个多项式当且仅当其伽罗瓦群是可解群时才可用根式求解；这个判据解释了五次及更高次方程不存在一般根式解的原因。
- 有限域的分类
- 对于每个素数幂，都存在（在同构意义下）唯一一个该阶的有限域，并且其乘法群是循环群；有限域形成一个由其次数的整除性所支配的塔状结构。
Clinical relevance
伽罗瓦理论解决了千年以来关于多项式方程求解以及经典的直尺圆规作图问题。有限域在编码理论、密码学和伪随机数生成中不可或缺，而更广泛的理论则构成了代数数论的基础。
History
在阿贝尔证明一般五次方程不可用根式求解的基础上，伽罗瓦在19世纪30年代引入了方程的群以及以他名字命名的对应关系。施泰尼茨于1910年提出了现代抽象域理论，阿廷则用自同构群和特征的线性无关性重新阐述了伽罗瓦理论。
Key figures
- Évariste Galois
- Niels Henrik Abel
- Ernst Steinitz
- Emil Artin
- Leopold Kronecker
Related topics
Seminal works
- lang2002
- dummit2004
- artin2011
Frequently asked questions
- 为什么一般五次方程不能用根式求解？
- 根据伽罗瓦判据，根式可解性等价于伽罗瓦群是可解群。五次一般方程的伽罗瓦群是五阶对称群，它不是可解群，因此不存在一般的根式解公式。
- 伽罗瓦对应实际上匹配了什么？
- 它将基域和顶域之间的每个域与固定该域的自同构子群配对，并反转包含关系。这将关于域的难题转化为关于有限群的更易处理的问题。