中多元线性方程组_Gr?bner basis与多元多项式方程组

整理资料的时候发现一年前交换代数课上最后的期末报告，感觉还是一个很有意思的话题。于是整理于此，与大家分享讨论下。

文章结构如下：

1. 介绍引入Gröbner basis的动机：高斯消元法的推广，辗转相除法的推广，多元多项式方程组的求解。
2. Gröbner basis的定义，一些例子
3. 与多元多项式方程组一些基本定理和应用，包括代数基本定理的推广，多元多项式方程组的求解。

---

介绍

考虑以下几个算法：

1、求两个一元多项式的最大公约数的Euclid's algorithm

2、求解线性方程组的Gaussian elimination

3、整数线性规划

这些算法都有一个共同的特征，输入一些多项式

,输出一些满足某些特征的多项式

。比如在求最大公约数的算法中，输入时两个多项式

，输出是他们的最大公约数。在求线性方程组中，输入是多元一次多项式

输出的基础解系也是一些多元一次多项式

于是我们会想是否可以从中抽象处一些特征，将其推广到更广的领域。比如多元多项式方程组。这个推广的结果就是Gröbner basis。

定义

理想：

是一个多项式集合，其生成的理想为集合元素的线性组合，组合系数也是多项式

其中

是在域K上的多项式环。

偏序：我们需要一个对单项式

之间的排列的规则。为了简单起见，