多项式环的因子分解课件.ppt

1、5.多项式环的因子分解多项式环的因子分解5.1 基本结论基本结论5.2 引理引理5.3 结论的证明结论的证明5.1 基本结论基本结论 我们将要得到的结果是：一个唯一分解环 上的多元多项式环 本身也是唯一分解环。I12,nI x xx5.2引理引理把一个素多项式叫做不可约多项式，把一个有真因子的多项式叫做可约多项式。定义定义 的一个元 叫做一个本原多项式本原多项式，假如 的系数的最大公因子是单位。I x fx f x引理引理 1 假定 。那么 是本原多项式，当而且只当 和 都是本原多项式的时候。f xg x h x f x g x h x 0,0g xh xI证明 若是 是本原多项式，显然 和

2、也都是本原多项式。现在假定 是两个本原多项式。如果 不是本原多项式，那么有一个最大公因子d，d不是 的单位。由于（B），因而 。这样，由于 是唯一分解环，有一个 的素元 可以整除d，因而可以整除每一个 。这个 不能整除所有的 ，也不能整除所有的 ，不然 和 不会是本原多项式。假定 和 各是 和 的头一个不能被 整数的系数。是系数 可以写成以下形式 f x g x h x 0101g xaa xh xbb x 01f xg x h xccx01ccIIpkcpiajb g x h xrasb g x h xp f xr sc 0,0f xd 在这个式子里除了 以外，每项都能被 整除，所以 也能被

3、 整除，因而由于 是唯一分解环，或 能被 整除，与这两个元的取发相反。这样 必须是本原多项式。证完。现在我们用 的商域Q来做Q上的一元多项式环 ，那么 包含 。我们知道 是唯一分解环，我们要由这一件事实来证明 也是唯一分解环。11221122rsrsrsrsrsrsca bababababrsa bprsa bpIrasbp f xI Q x Q x Q x I x I x引理引理 2 的每一个不等于零的多项式 都可以写成 的样子，这里 是 的本元多项式。若是 也有 的性质，那么 Q x f x 0bfxfxa 0,a bI fx I x 0gx 0fx 00gxfxI是 的单位证明证明 Q的

4、元都可以写成 的样子，因此 叫 ，那么 叫 b 是 的一个最大公因子，那么 ，是本原多项式（，2习题2）假定另一方面 ，是 的本原多项式，那么 是 的一个多项式。由于 和 都是本原多项式，bc和ad一定同是 的系数的最大公因子（，2，习题2），因而 这样 证完,ba bIaa，0 0101,nniinbbbfxxxa bIaaa01naa aa 011nnif xcc xc xcIa01,nc cc0bfxfxa 0fx 0dfxgxc 0,c d gx I x00hxb cfxa d gx I x 0fx 0gx h xbcadI是 的单位 00fxgx引理3 的一个本元多项式 在 里可约的

5、充分而且必要条件：在 里可约。I x0fxIx 0fx Q x证明 假定 在 里可约。这时，因为 显然也是的本原多项式，由（C）。和 都属于 ，并且它们的次数都大于零。由引理2，和 都是 的本原多项式。由引理1，还是本原多项式；由引理2，因此 ，但 和 的次数各等于 的次数，因而都大于零：；由（A），和 都不是 的单位。这样，由，1，定理3，在 里可约。0fx 0fx Q x Q x Q x g x h x00000bbbbfxgxhxgxhxaaaa 0hx 0,a b a bI gx I x 00gx hx 000fxgx hxI是 的单位 00gxhxI x，0gx 0hx g xh x

6、和 00g xh xI，0gx 0hx I x I x 0fx假定 在 里可约。这时，由（C），都属于 ，并且他们的次数都大于零。这样，由（A），把 看作的元，这两个多项式也不是 的单位；由，1，定理3，在 里 可约。证完。0fx I x I x 0fxg x h x g xh x和 g xh x和 Q x Q x 0fx引理引理 4 的一个次数大于零的本原多项式 在 里有唯一分解。I x I x 0fx证明证明 我们先证明 可以写成不可约多项式的乘积。若是 本身不可约，我们用不着再证明什么。假定 可约。由（C）和引理1，都是本原多项式，并且他们的次数都小于 的次数。这样，假如 还是可约，我们

7、又可以把他们写成次数更小的本原多项式的乘积。由于 的次数是有限正整数，最后我们可以得到（1）。是不可约本原多项式。0fx 0fx 0fx 0fx 0fx 000f xg x h x 00gxhx和 00gxhx和 120000rfxpx pxpx 0ipx假定还有一个分解（2）。那么由引理1，是不可约本原多项式。由引理3，和 在 里还是不可约，这就是说，（1）和（2）也是 在 里的两种分解，但 是唯一分解环，所以我们有并且由（A），我们可以假定这样，由引理2，在 里有唯一分解。证完 120000tfxqx qxqx 0ipx 0ipx 0iqx Q x Q x 0fx 0fx Q xrt 00

8、,iiiiiibqxpxa bIa 00iiiiqxpxI是 的单位 I x5.3 结论的证明结论的证明定理定理 1 若是 是唯一分解环，那么 也是。I I x证明证明 我们看 的一个不是零也不是单位的多项式 。若 ，那么由于 是唯一分解环，显然有唯一分解。若 是本原多项式，由引理4，也有唯一分解。这样，我们只需看 d不是 的单位，是次数大于零的本圆多项式时的情形。I x f x f xII f x f x f x 0f xdfxI 0fx这时，因d有分解 有分解 是不可约本原多项式，所以 在 里有分解：假定在里有另一种分解：都是 的不可约多项式。这时，一定是 的素元，一定是不可约多项式。12

9、midp pppI是 的素元 0fx 120000rfxpx pxpx 0ipx f x I x 1212000rmf xp pp px pxpx 1212000tnf xq qq px pxpx 00,itiiqI qxq qx I xiqI 0iqx因为：若不是 的素元，显然也不会是 的不可约多项式；若不是本原多项式，它的系数的最大公因子 显然是它的一个真因子，因而 也不会是不可约多项式，这样由引理1和2，我们有（3）是 的单位；因而（4）iqI I x 0iqxid 0iqx 112000000rtfxpxpxqxqxqxI11212mndp ppqqq（3）式表示的是本原多项式 的两种分解，因而由引理4，而且我们可以假定（4）表示的是唯一分解环 的元d的两种分解，因而而且我们可以假定这样，是唯一分解环。证完。0fxtr 00iiiiqxpxI是 的单位InmiiiiqpI是 的单位 I x12,nx xx由定理 1，应用归纳法立刻可以得到定理定理 2 若 是唯一分解环，那么 也是，这里 是 上的无关未定元。I12,nI x xx12,nx xxI由定理1，当 是整数环的时候，是一个唯一分解环。但我们知道，这个多项式环不是一个主理想环（，7，例3）。这样，我们有了一个分解环不是主理想的例子。I I x