整理资料的时候发现一年前交换代数课上最后的期末报告,感觉还是一个很有意思的话题。于是整理于此,与大家分享讨论下。
文章结构如下:
- 介绍引入Gröbner basis的动机:高斯消元法的推广,辗转相除法的推广,多元多项式方程组的求解。
- Gröbner basis的定义,一些例子
- 与多元多项式方程组一些基本定理和应用,包括代数基本定理的推广,多元多项式方程组的求解。
介绍
考虑以下几个算法:
1、求两个一元多项式的最大公约数的Euclid's algorithm
2、求解线性方程组的Gaussian elimination
3、整数线性规划
这些算法都有一个共同的特征,输入一些多项式
输出的基础解系也是一些多元一次多项式
于是我们会想是否可以从中抽象处一些特征,将其推广到更广的领域。比如多元多项式方程组。这个推广的结果就是Gröbner basis。
定义
理想:
偏序:我们需要一个对单项式