多项式环
多项式环是由一个或多个不定元以及以基础环为系数的多项式组成的环，它是自由交换代数，用于模拟将未知数添加到环中。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
给定一个交换环R，多项式环R[x]由不定元x的幂的有限形式和（系数在R中）组成，并具有通常的加法和乘法；迭代此过程可得到多变量多项式环。
Scope
本主题涵盖了单变量和多变量多项式环的构造、域上的除法算法、因式分解和不可约性判别准则（如高斯引理和艾森斯坦判别法），以及性质（唯一因式分解、诺特条件）从基础环到多项式环的转移。
Core questions
- 多项式环是如何构造的，它满足什么泛性质？
- 多项式何时可以相除，这如何使域的多项式环成为欧几里得环？
- 如何检测多项式的不可约性？
- 基础环的哪些性质可以被多项式环继承？
Key theories
- 除法算法和泛性质
- 在一个域上，多项式允许带余除法，使得单变量多项式环成为欧几里得整环；更一般地，R[x]是R上一个生成元的自由交换R-代数，对于将x映射到R-代数的任何元素具有泛性。
- 高斯引理
- 如果R是唯一因式分解整环，那么R[x]也是，并且一个在分式域上可分解的原多项式在R上也可分解，从而将不可约性问题简化为基础域。
- 艾森斯坦判别法
- 一个准首一多项式，其非首项系数可被一个素数整除，且常数项不能被该素数的平方整除，则是不可约的，这提供了一个快速充分的不可约性检验方法。
Clinical relevance
多项式环是求解方程和代数几何的代数舞台，其中多项式环的商是簇的坐标环。它们是计算机代数（格罗布纳基）、编码理论以及域扩张和有限域构造的核心。
History
多项式的形式化操作早于抽象代数，但高斯关于分圆和整数多项式的工作以及艾森斯坦的不可约性判别准则塑造了现代理论。希尔伯特基定理随后揭示了域上的多项式环具有有限生成理想，从而奠定了代数几何的基础。
Key figures
- Carl Friedrich Gauss
- Ferdinand Eisenstein
- David Hilbert
- Leopold Kronecker
Related topics
Seminal works
- dummit2004
- lang2002
- atiyah1969
Frequently asked questions
- 为什么域上的多项式环表现得如此良好？
- 在一个域上，除法算法成立，因此单变量多项式环是欧几里得整环，从而也是主理想整环和唯一因式分解整环。这使得它的算术运算与整数的算术运算非常相似。
- 多项式环的泛性质是什么？
- 将不定元映射到R-代数的任何元素可以唯一地扩展为从R[x]到该R-代数的环同态。这种自由性使得多项式环能够模拟添加一个通用未知数，这是求值和代换的基础。