多项式环

1.定义

对于整环$R$，在$R$上定义一个含有为定元$x$的多项式
$$f(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+...+a_{1}x+a_0,n\ge 0$$$m$是使得$a_m̸=0$的最大的整数，那么定义$deg(f(x))=m$。$a_m$称为首项系数，默认取$a_m=1$。当$f(x)=0$时，规定$deg(f(x))=-\infty$。
把$R$上全体多项式的集合记作$R[x]$。
定义两个多项式相等如下：
$$f(x)=\sum _{i=0}^n{a}_i{x}^i$$$$g(x)=\sum _{i=0}^m{b}_i{x}^i$$$f(x)=g(x)$等价于$m=n$且$a_i=b_i,0\le i\le n$。

2.运算

（1）加法：
$$f(x)+g(x)=\sum _{i=0}^M(a_i+b_i)x^i$$其中$M=max(n,m)，a_i=0(i>n)，b_i=0(i>m)$
（2）乘法：
$$f(x)\cdot g(x)=\sum _{s=0}^{m+n}(\sum _{i+j=s}{a}_i{b}_j)x^s$$$R[x]$对于多项式的加法和乘法构成的环称为多项式环。和整数环相比较，多项式环是无限的（因为多项式的$deg$是无限的）。
规定$x^0=1$是$R[x]$中的单位元，逆元$-f(x)={\sum }_{i=0}^n(-a_i)x^i$。更为重要的一点，多项式相加没有进位，而整数相加有进位，这是多项式优于整数的一大原因。

3.多项式的带余除法

类比整数的带余除法，理解多项式的带余除法。设$f(x),g(x)\in F[x],g(x)̸=0$，那么是一定有$q(x),r(x)\in F[x]$，满足
f ( x ) = q ( x ) ⋅ g ( x ) + r ( x ) f(x)=q(x)\c