chapter1多项式

数域

数域的概念(可以有两种定义)
数集与数域的区别
封闭的概念
几个重要的性质：

• 所有的数域都包含有理数作为其一部分
• 任何一个有理数都可表示成两个整数的商

一元多项式

一元多项式的定义:注意这里我们讨论的是形式多项式，而不是中学的代数多项式
k次项、系数
多项式相等的定义
首项
次数：$\partial (f(x))$

• $\partial (f(x)+g(x))\le max(\partial (f(x)),\partial (g(x))$
• 若$f(x)\ne 0,g(x)\ne 0$
  $\partial (f(x)g(x))=\partial (f(x))+\partial (g(x))$
  连加的形式表示多项式，并用于后续的证明与计算
• $f(x)={\sum }_{i=0}^n{a}_i{x}^i$
• $g(x)={\sum }_{j=0}^n{b}_j{x}^j$
• $f(x)+g(x)$
• $f(x)\ast g(x)$

数域P上的多项式经过加减乘除运算后的结果仍然是数域P上的多项式
多项式乘积的首项系数就等于它的因子首项系数的乘积
满足乘法消去律(在相应位置多项式不为0的情况下)
一元多项式环:$P[x]$

整除的概念

在某一个固定的数域P上的多形式环P[x]中进行的
带余除法(存在性与唯一性的证明):这种形式表达式的形式，我们是很难证的，利用数学归纳法
商式与余式
整除

• $g(x)|f(x)$ :g(x)整除f(x),g(x)为f(x)的因式，f(x)为g(x)的倍式

带余除法推出整除
几个性质

• $f(x)|g(x),g(x)|f(x)$,则$f(x)=cg(x)$，其中c为常数
• $f(x)|g(x),g(x)|h(x)$,则$f(x)|h(x)$
• 多项式的一个组合。
• 多项式$f(x)$与多项式$cf(x)(c\ne 0)$有相同的因式，也有相同的倍式。
• 多项式之间的整除关系不因系数域的扩大而改变。

最大公因式

公因式的概念
最大公因式的概念