matlab有限域多项式除法_有限域(3)——多项式环的商环构造有限域

版权申明：本文为博主窗户(Colin Cai)原创，欢迎转帖。如要转贴，必须注明原文网址

http://www.cnblogs.com/Colin-Cai/p/9489225.html

作者：窗户

QQ/微信：6679072

E-mail：6679072@qq.com

接着上两章内容，我们还是得继续寻找有限域的构造方法。上章证明矩阵环是个单环，自然是没戏了，但我们还可以考虑多项式环。

多项式环

多项式是我们大家熟知的概念，以下都是一元多项式：

1

2x+4

x2+2x+3

3x2+5x2+9

...

所谓的一元就是只有一个未知数，在这里我就不对于一元多项式给出一个严格的定义了，直接解释多项式环。

所谓一个环A的多项式环B，指的是如下：

(1) B的每个元是一个一元多项式

(2) B的每个元(一元多项式)的每一个系数都是A上的元

(3) 系数全是A上的元的一元多项式都是B的元

多项式的加法、减法就是合并同类项，因为系数取自一个环，所以系数间的加法、减法是合法的，会得到别的多项式。

同样，多项式的乘法要麻烦一点，不过也是得到多项式的。多项式的乘法是利用分配律，展开各项。以下整系数多项式的例子可以让我们回忆起多项式的乘法：

(x2+2x+3) * (3x+5)

= (x2+2x+3) * 3x + (x2+2x+3) * 5

= x2 * 3x + 2x * 3x + 3 * 3x + x2 * 5 + 2x * 5 + 3 *5

= 3x3 + 6x2 + 9x + 5x2 + 10x + 15

= 3x3 + 11x2 + 19x + 15

因为系数都在一个环里，所有乘法、加法都是封闭的，所以多项式乘法也是一样合法的。

所以多项式环当然是环。

可能有的人想问，为什么这里非要用一元多项式？

其实我们