资源描述：
《不可约多项式的判定及应用(黄嘉盛)详解》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、不可约多项式的判定及应用摘要多项式理论是高等代数的重要组成部分，而不可约多项式是多项式中重要的概念.本文主要对有理数域上不可约多项式的判别方法进行整理归纳,较为系统的给出不可约多项式的判定方法。对于一般的不可约多项式的判定有Eisenstein判别法、Kronecker判别法、Perron判别法、Browm判别法等。研究了各判定方法的等价和包含关系。此外，我们还给出了不可约多项式的一些应用。关键词不可约多项式；判定方法；应用2.不可约多项式的概念及性质2.1整除的概念设P是一个数域，对于中任意两个多项式与，其中，一定有中的多
2、项式，存在，使得成立，其中或者，并且这样的，是唯一决定的。定义2.1数域P上的多项式称为能整除，如果有数域P上的多项式使等式=成立，我们用“
3、”表示整除，用“”表示不能整除。定理2.1对于数域P上的任意两个多项式,,其中,
4、的充分必要条件是除的余式为零。13证明:如果=0那么=,即
5、。反过来，如果
6、，那么==+0，即=0。注1:带余除法中必须不为零。下面介绍整除性的几个常用性质:（1）如果
7、,
8、,那么，其中为非零常数。（2）如果
9、,
10、，那么
11、（整除的传递性）。（3）
12、,
13、，那么
14、，其中是数域P上任意多项式。2.2本原多项式若
15、是一个整系数多项式的系数互素，那么叫做一个本原多项式。2.3有理数域上多项式的等价设有理数域上的一个多项式，若的系数不全是整数，那么以系数分母的一个公倍数乘就得到一个整系数多项式。显然，多项式与在有理数域上同时可约或同时不可约。2.4多项式的不可约相关概念在中学我们学过一些具体方法，把一个多项式分解为不能再分的因式的乘积，但并没有深入探讨和讨论这个问题，并没有严格地论证它们是否真的不可再分，所谓不可再分的概念，其实不是绝对的，而是相对于系数的数域而言，有例如下把进行分解，可分解为13但这是相对于有理数域而言的，对于实数域来说
16、还可分进一步为而在复数域上，还可以再进一步分解为由此可见，必须明确系数域后，所谓的不可再分，才有确切的涵义。在下面的讨论中，仍然须选定一个数域P作为系数域，数域P上多项环P中多项式的因式分解相关的不可约定义如下定义2.4.1数域P上的次数1的多项式称为域P上的不可约多项式，如果它不能表示成数域P上两个次数比的次数低的多项式的乘积。我们要谈的多项式的不可约性问题的相关事实如下（1）一次多项式总是不可约多项式;（2）一个多项式是否不可约是依赖于系数域的;（3）不可约多项式与任一多项式之间只能是有两种关系，或者或者，事实上，如果，
17、那么或者是1，或者是，当=时，就有。2.5有理数域上不可约多项式的定义如果是有理数域上次数大于零的多项式且不能表示成有理数域上两个次数比它低的多项式的乘积，则称为有理数域上的不可约多项式。3.有理数域上不可约多项式的判定方法3.1Eisenstein判别法在高等代数中，Eisenstein13判别法是最为经典和著名的，也是现行有理数域上不可约多项式判定判定方法中最为实用的。而人们长久以来的研究衍生出了许多不同的方法。3.1.1直接判别法定理3.1.1设是一个整系数多项式，其中，设存在一个素数，使得不整除，整除（）但不整除，那
18、么多项式在有理数域上不可约。3.1.2间接判别法对于分圆多项式不能直接应用Eisenstein判别法，可以做适当的变形之后便可以应用了。在学习的过程中，面对此类问题，因为其系数较高，不能用定义法去判定。我们所学的也只有Eisenstein判别法，但不能直接运用。考虑到多项式的等价，对多项式我们可以做适当代换，这样产生了Eisenstein判别法的间接判别法。定理3.1.2有理系数多项式在有理数域上不可约的充分必要条件是:对于任意的有理数和，多项式在有理数域上不可约。例1证明在Q上不可约。证明:取，则不整除1，整除4,6,2，
19、不整除2由Eisenstein判别法知在Q上不可约，因此在Q上不可约。3.1.3其他派生出的判别法这种由Eisenstein判别法派生出的方法与Eisenstein判别法相类似，能够用来判定Eisenstein判别法所不能判定的一类有理数域上的不可约多项式。定理3.1.3设13是一个整系数多项式，如果存在一个素数，使整除常数项但整除其他各项系数且不整除最高次数项系数，那么多项式在有理数上不可约。例2下列多项式在有理数域上是否可约？；(2)；，为奇素数；，为整数.解:(1)令，则有取素数=2，由于21,2
20、2,但是2故由Eis
21、enstein判别法可知，在有理数上不可约，从而=在有理数域上也不可约。(2)取素数=2,则21,2
22、-8,2
23、12，但是2故由Eisenstein判别法可知，该多项式在有理数域上也不可约。(3)令，代入=,得取素数=3。由于31,3
24、6,3
25、15,3
26、21,3
27、18,3
28、9,3
29、3，但是
