整数环上的不可约多项式
不可约多项式的判定及应用(黄嘉盛)详解
不可约多项式的判定及应用摘 要多项式理论是高等代数的重要组成部分，而不可约多项式是多项式中重要的概念. 本文主要对有理数域上不可约多项式的判别方法进行整理归纳, 较为系统的给出不可约多项式的判定方法。
对于一般的不可约多项式的判定有Eisenstein 判别法、Kronecker 判别法、Perron 判别法、Browm 判别法等。
研究了各判定方法的等价和包含关系。
此外，我们还给出了不可约多项式的一些应用。
关键词不可约多项式；判定方法；应用2. 不可约多项式的概念及性质2.1 整除的概念设P 是一个数域，对于[]P x 中任意两个多项式()f x 与()g x ，其中()0g x ≠，一定有[]P x 中的多项式()q x ，()r x 存在，使得()()()()f x q x g x r x =+成立，其中(())(())r x g x ∂<∂或者()0r x =，并且这样的()q x ，()r x 是唯一决定的。
定义2.1 数域P 上的多项式()g x 称为能整除()f x ，如果有数域P 上的多项式()h x 使等式()f x =()()g x h x成立，我们用“()g x |()f x ”表示()g x 整除()f x ，用“()g x ()f x ”表示()g x 不能整除()f x 。
定理 2.1[1] 对于数域P 上的任意两个多项式()f x ,()g x ,其中()g x 0≠,()g x |()f x 的充分必要条件是()g x 除()f x 的余式为零。
证明: 如果()r x = 0那么()f x =()()q x g x ,即()g x |()f x 。
反过来，如果()g x |()f x ，那么()f x =()()q x g x =()()q x g x +0，即()r x = 0。
注1: 带余除法中()g x 必须不为零。
下面介绍整除性的几个常用性质:（1） 如果()f x |()g x ,()g x |()f x ,那么()()f x cg x =，其中c 为非零常数。
不可约多项式和互素的区别
不可约多项式和互素的区别在数学领域中，不可约多项式和互素是两个非常基础而重要的概念。
这两个概念分别描述了多项式之间的不同特征，下面将详细讲述不可约多项式和互素的区别。
一、不可约多项式在代数学中，不可约多项式指的是不能分解成两个或更多多项式乘积的多项式。
不可约多项式是有理数系或实数系或复数系上的多项式。
它们的系数是有理数或实数或复数。
这样的多项式具有区别于次数为一次或零次多项式的性质，因为它们不能完全分解成一次或零次多项式的乘积。
不可约多项式的重要性在于它们是多项式环上的基本元素，而且能够用来描述一些数域的性质，比如代数数的阶。
不可约多项式的定义是不可分解的，因此它的因子只能是常数和自身，而不能分解成其他单项式。
不可约多项式的一个重要性质是，它必须是多项式环上的主理想的生成元。
二、互素互素指的是在整数环上，若两个整数的最大公约数为1，则这两个整数互质。
推广到多项式环上可以得到，若两个多项式的最大公因式为1，则这两个多项式互素。
比如，f(x) = x^2+1, g(x) = x+1。
这两个多项式不可约，但它们不互素，因为它们的最大公因式为1，即f(x)和g(x)没有公共因子。
互素的概念可以用于求解线性代数和数学分析中的问题。
比如，假设有两个多项式f(x)和g(x)，它们互素，如何求得f(x)和g(x)的乘积的系数。
可以利用互素的特性，将f(x)和g(x)展开成两个整数m和n的积，再通过展开式转换，求得系数。
这个方法广泛应用于线性代数和数学分析中。
三、不可约多项式和互素的区别虽然不可约多项式和互素都是多项式理论中的基本概念，但它们之间存在着一定的区别。
主要表现在以下几个方面：1、定义不同：不可约多项式指的是不能再分解的多项式，互素指的是最大公因式为1的多项式。
2、性质不同：不可约多项式通常满足一些数学公理，比如它们是多项式环上的主理想的生成元等。
而互素无此性质。
3、用途不同：不可约多项式主要用于表示一些数域的性质，比如代数数的阶。
信息安全数学基础环和域基础知识
在通常的加法和乘法运算下，Q, R 和 C 都是域。
域的例子（2）
令p是一个素数，在模p加法和模p乘法 运算下，Zp是一个域. 也记为Fp或者GF (p).
注意： 整数环Z不是域； 当n是合数时，Zn不是域。 有限群、子群、商群和群的阶的概念可 以直接推广到环和域中。
域的特征
F是域，其特征char(F)定义为单位元1的加法阶, 即使得 的最小自然数n，如果不存在这样的自然数，则记char(F) =∞.
性质：如果char(F)有限，则一定是素数.
域的例子（3）
构造方法
域上的多项式环 不可约多项式
定理
令F为含有p个元素的域，f(x)是F上的n次不可约多项式，则域F[x]/f(x)中元素的个数是pn. F[x]/f(x)是F[x]中所有次数小于deg(f)=n、系数取遍F中所有p个元素的多项式全体构成的集合. 共有pn个这样的多项式.
注意：在此定理中，并没有假设p是素数，事实上，F可以是任意域，称F[x]/f(x)为由基域F通过域扩张得到的扩域.
1）置换密码 2）单表代换密码 3）多表代换密码 4）Vernam密码 5）Playfair密码 6）Hill密码 7）公钥密码 8）私钥密码
教学资料
资料仅供参考
定义: F[x]是域F上的多项式环, f,g,r∈F[x], g≠0, 满足f = gq + r, deg(r)<deg(g), 称r为f除以g的余式, 记为r≡f (mod g). 考虑F[x]中所有多项式模g(x)的余式, 将这些集合称为F[x]模g(x)的多项式, 记为F[x]/g(x).
类似的有环同态基本定理
概念的类比
群
环
正规子群
不同域上的不可约多项式
不同域上的不可约多项式不同域上的不可约多项式摘要：判断一个多项式是否可约是很困难的，在前人的基础上，采用了类比分析的方法，讨论了复数域、实数域、有理数域、有限域上的不可约多项式的状况，对不可约多项式进行了比较完善的总结归纳。
关键字：复数域实数域有理数域有限域不可约多项式中图分类号：O151Irreducible polynomials in the different fields Abstract:It is difficult to judge a polynomial irreducible.In this paper,we discuss the irreducible polynomials in the real number field, complex field,rational number field and finite field.This is a more perfect summary about irreducible polynomials.What is more,this is a simply analysis about irreducible polynomials.Key Words:Complex field Real number field Rational number field Finite field Irreducible polynomials不同域上的不可约多项式1、前言一个多项式是否不可约是依赖于系数域的，虽然因式分解定理在理 论上有其基本重要性，但是它并没有给出一个具体的分解多项式的方法，对于一般的情形，普遍可行的分解多项式的方法是不存在的，即使只是判别一个多项式是否可约都很困难。
所以我们只能在不同的域上讨论多项式是否不可约。
本文主要在前人研究的基础上，将复数域、实数域、有理数域、有限数域上的多项式是否可约的问题进行归纳，采用类比分析的方法进行总结。
第一章 多项式5.因式分解定理 补充.整数环中带余除法 6.重因式 [兼容模式]
![第一章 多项式5.因式分解定理 补充.整数环中带余除法 6.重因式 [兼容模式]](https://img.taocdn.com/s3/m/4dd5a610f18583d0496459e6.png)
§1.5 因式分解定理不可约多项式因式分解及唯一性定理标准分解小结作业12问题把一个多项式多项式不能再分?在有理数域Q 上:分解为不能再分的因式的乘积?44−x )2)(2(4224+−=−x x x 不能再分.在数域:)2Q(上)2)(2)(2(424++−=−x x x x 不能再分.在复数域C 上:)2)(2)(2)(2(44i x i x x x x +−+−=−不能再分.由此可见,必须明确系数域后,不能再分才有明确的含义.3定义7数域P 上次数≥1的多项式p (x )多项式,是否是不可约的?问题为什么?注1一次多项式两个次数比p (x )低的多项称为P 上不可约若p (x )不能表成P 上式的乘积.对次数≥1的多项式p (x ).注3则p (x )不可约⇔p (x )的因式只有非零常数或非零常数倍.22+x 一个多项式是否不可约是依赖于系数域.注2总是不可约多项式.是否是不可约的?4注4则对任一多项式f (x ),p (x )|f (x ),有则d (x )=1或者d (x )=cp (x )(c ≠0).当d (x )=cp (x )时,就有p (x )|f (x ).事实上, 若p (x )为不可约多项式,或者(p (x ),f (x ))=1.若(p (x ),f (x ))=d (x ),5定理5若p (x )是不可约多项式, 则结论已经成立.可得则对任意两多项式由p (x )|f (x )g (x ),证明f (x ),g (x ), 则由上注知由定理4得p (x )|g (x ).p (x )|f (x ),或p (x )|g (x ).若p (x )|f (x ),现设p (x )不整除f (x ),(p (x ),f (x ))=1.定理4若(f (x ),g (x ))=1, 且f (x )|g (x )h (x ), f (x )|h (x ).则6定理6 (因式分解及唯一性定理)都可唯一地分解唯一性指: 且适当排列因式次序后有证明则必有s =t , (其中c i 为非零常数),先证分解式的存在性.数域P 上每个次数≥1的多项式f (x )成数域P 上一些不可约多项式的乘积. 若有两分解式)()()()(21x p x p x p x f s L =)()(x q c x p i i i =.,,2,1s i L =对f (x )的次数n 作数学归纳法.)()()(21x q x q x q t L =7对f (x )的次数n 作数学归纳法.所以n =1时结论成立.并设对次数低于n 的多项式结论成立.都可分解成数域P 上一些不可约多项式的乘积, 由归纳法知结论普遍成立.因为一次多项式总是不可约的,设∂(f (x )) = n , 若f (x )是不可约多项式,结论显然.不妨设f (x )不是不可约多项式,即有 f (x ) = f 1(x ) f 2(x )其中f 1(x ), f 2(x )的次数都低于n , 由归纳假定f 1(x ), f 2(x )把这两分解式合起来可得f (x )的一个分解式.8再证唯一性.对s 作归纳法.现设不可约因式的个数为s –1时设f (x )可分解成不可约多项式的乘积f (x ) = p 1(x )p 2(x )L p s (x ).若f (x )还有另一个不可约分解式f (x ) = q 1(x )q 2(x )L q t (x ).于是, f (x ) = p 1(x )p 2(x )L p s (x )当n =1时,必有s = t = 1, f (x )是不可约多项式,由定义且f (x ) = p 1(x ) = q 1(x ).唯一性已证.= q 1(x )q 2(x )L q t (x ) (1)9由(1)式,且适当排序后有综合(2), (3), (4)即证得唯一性.p 1(x ) | q 1(x )q 2(x )L q t (x ),(1)式两边消去q 1(x ),p 2(x )L p s (x ) = c 1-1q 2(x )L q t (x ).有由归纳法假定,p 2(x ) = c 1’c 1-1q 2(x ),因式分解定理因此,p 1(x )必能除尽其中的一个,不妨设p 1(x ) | q 1(x ).因q 1(x )也是不可约的.故p 1(x ) = c 1q 1(x ) (2)p 1p 2(x )L p s (x ) = q 1(x )q 2(x )L q t (x ) (1)c 1q 1(x )有s -1= t -1,即s = t (3)p i (x ) = c i q i(x )(i = 3, L , s ) (4)c 210定理6 (因式分解及唯一性定理)都可唯一地分解唯一性指: 且适当排序后有则必有s =t , (0 ≠c i ∈P ),数域P 上每个次数≥1的多项式f (x )成数域P 上一些不可约多项式的乘积. 若有两分解式)()()()(21x p x p x p x f s L =)()(x q c x p i i i =)()()(21x q x q x q t L =因式分解定理能分解但未给出具体方法.,,2,1s i L =普遍可行的分解方法不存在!11注:是正整数. 是这种分解称为标准分解式.任意多项式f (x )可分解为其中c 是f (x ) 的首项系数, )()()()(2121x p x p x p c x f s r sr r L =)(,),(),(21x p x p x p s L 互异首1不可约多项式.而s r r r ,,,21L 注:若),()()()(2121x p x p x p c x f s r s r r L =).()()()(2121x p x p x p d x g t l tl l L =则(f (x ), g (x ))),()()(2121x p x p x p m k mk k L =},,min{t s m =}.,min{i i i l r k =12整数环Z和整我们知道, 在整数环Z 中,对取定的非零整数7,有25=3×7+4,此时我们称3是7除25所得的商,4是7除25所得的余数.而21=3×7,此时我们称3整除也称3是21的一个因数(因式),21是3的一个倍数数25,21,(或倍式).13定义1’(1)对a , b ∈Z ),0(≠a 若∃c ∈Z,使b =ac , 则称记为a |b ,此时也称a 是b 的因数(或因式),b 是a 的倍数(2)在Z 中, 若a |b , 且b |a , 则称a , b 为相伴数.(易知:a , b 是相伴数).b a ±=(3)对整数a , 总有a ±±,1为a 的因数,称它们为a 的平凡因数.如果且a 没有非平凡因数,1±≠a 则称a 为素数.a 整除b ,(或倍式).当且仅当14定义2’(I) (1)对a , b ∈Z,若c ∈Z,使得c |a , 则称c 为a , b 的公因数(或公因式).(2)对a , b ∈Z, 若d ∈Z 满足:d 为a , b 的公因式,则d 称为a , b 的最那么有c |d , (3)对a , b ∈Z, 若则称a , b 互素.若c ∈Z,使得a |c , 则称c 为且c |b , 又若c 也是a , b 的公因式,大公因数(式),非负的最大公因数记为).,(b a d =,1),(=b a (II) (1)对a , b ∈Z,且b |c , a , b 的公倍数(式).(2)对a , b ∈Z,d ∈Z 满足:d 为a , b 的公倍数,又若c 也是a , b 的公倍数,那么有d |c , 则称d 为的a , b 最小公倍数(式),非负的最小公倍数记为].,[b a d =15例对12, 18∈Z,3∈Z 为12, 18 的公因数.对3, 5∈Z,有即3, 5 互素.72∈Z 为12, 18 的公倍数.12, 18 的非负最大公因数为6,.6)18,12(=,1)5,3(=对12, 18∈Z,即.36]18,12[=-6, 6∈Z 都是12, 18 的最大公因数.即-36, 36∈Z 都是12, 18 的最小公倍数.12, 18 的非负的最小公倍数为36,16注在Z 中有Euclid 带余除法:),0(≠b 对任给整数a , b 则存在唯一的整数q 和r 满足:(|b |表示整数b 的绝对值).由Euclid 算法我们可以证得:(I)对整数a , b 的最大公因式(a , b ),存在s , t ∈Z,(II)若p 是素数且p |ab , 则必有p |a ,r bq a +=||0b r <≤使得.),(bt as b a +=或p |b .17注(III)算术基本定理),1(±≠a (1)对任意0≠a ∈Z 存在素数使得(2)若诸则必有m =n , 均为素数,n p p p ,,,21L n p p p a L 21=Z,∈(分解的存在性).mn q q q p p p a L L 2121==),,,1(n i p i L =),,1(m j q j L =且适当排列后可得对任意i ,有n i q p i i ,,1,L =±=(分解的唯一性).例,1)8,5(=即5与8互素,且,28)3(51×+−×=,2)8,6(=且).2(8362−×+×=732284×××=为84的素分解.例18,8=f ,5=g 851332=2r 1q =2=1r 112q =13q =设=f =g 11r g q f +=212r r q g +=3231r r q r +=342r q r =),(g f 1=5=3r 4q =220=4r 2131×−=3152×−=)31(513×−×−=5132×−×=5183×−=515)18(2×−×−×=5382×−×=小结1. 不可约多项式.2. 多项式是否不可约依赖于数域P .3.因式分解及唯一性定理.4.整数集上的带余除法.5.整数集上的因式分解及唯一性定理.19作业p4510. 14.20§1.6 重因式重因式单因式微商小结作业2122定义8不可约多项式p (x )如果则p (x )不是f (x )的因式;规定其微商:多项式微商基本公式:若k = 0,设有多项式称为多项式f (x )的k 重因式,),(|)(x f x p k则p (x )称为f (x )的重因式.若k ＞1,,)(0111a x a x a x a x f n n nn ++++=−−L 1211)1()(a x a n x na x f n n n n ++−+=′−−−L )()())()((x g x f x g x f ′+′=′+)())((x f c x f c ′=′)()()()())()((x g x f x g x f x g x f ′+′=′)()())((1x f x f m x f m m ′=′−23注:是单因式. 分别是f (x )的r 1重,L , r s 重的那些不可约因式若f (x )的标准分解为则)()()()(2121x p x p x p c x f s r sr r L =)(,),(),(21x p x p x p s L 因式.指数r i =1的那些不可约因式因式分解定理指数r i >1 是重因式.同样可定义高阶微商的概念.微商f ’(x)称为f (x)的一阶微商,f (x)的k 阶微商记为f (k)(x).等等.它的n +1阶微商是0.它的n 阶微商是一个常数;2425定理7若不可约多项式p (x )则p (x )是f ’(x )的这表明故因此不整除f ’(x ).是多项式f (x )的)(x p k其中p (x )由假设f (x )可分解为证明),()()(x g x p x f k=不整除g (x ).)()()()()()(1x g x p x g x p x p k x f kk ′+′=′−).(|)(1x f x pk ′−))()()()()((1x g x p x g x p k x p k ′+′=−)()()()()(x g x p x g x p k x h ′+′=即p (x )是f ’(x )的k -1重因式.推论1若不可约多项式p(x)则p(x)是f (x), f ’(x),L, f (k-1)(x)的证明不可约多项式p(x)是f (x)的k重因式根据定理7,证明推论22627注:是标准分解.有且若f (x )的标准分解为则由定理7,)()()()(2121x p x p x p c x f s r sr r L =).()()(21x p x p x p c s L =)()()(1121121x p x p x p s r sr r −−−=L (f (x ), f ’(x ))))(),(()(x f x f x f 这是一个去掉重因式的有效方法.小结1. 微商.2.重因式.3.重因式的判定方法.28作业p4515. 16.1)29。
德莫弗定理
德莫弗定理德莫弗定理的内容比较复杂，需要一些基础的数论知识才能理解。
在这篇文章中，我将详细介绍德莫弗定理的内容和证明过程，让读者能够更好地理解这个定理的意义和应用。
首先，让我们来了解一下德莫弗定理的内容。
德莫弗定理主要是关于不可约整系数多项式的研究问题。
在代数数论中，不可约整系数多项式是一种重要的数学对象，它们可以用来表示整数环中的元素，并且在许多数论问题中起着重要的作用。
德莫弗定理的内容可以简单地概括为：对于任意一个不可约整系数多项式P(x)和一个整数n，如果P(x)模n的所有根都是简单的，那么P(x)在整数环上也是不可约的。
换句话说，如果一个不可约整系数多项式在模n的情况下所有根都是简单的，那么它在整数环上也是不可约的。
接下来，让我们来详细介绍一下德莫弗定理的证明过程。
证明德莫弗定理的关键在于构造一个特殊的整系数多项式Q(x)，使得Q(x)在整数环上可以被P(x)整除，但是在模n的情况下Q(x)的所有根都是简单的。
通过构造这样一个多项式Q(x)，我们可以利用整数环的性质来证明德莫弗定理。
首先，我们需要先构造一个整系数多项式Q(x)，使得Q(x)在整数环上可以被P(x)整除。
我们可以通过分解P(x)为不可约整系数多项式的乘积来构造Q(x)。
具体地，假设P(x)=f_1(x)f_2(x)...f_k(x)，其中f_i(x)都是不可约整系数多项式。
我们可以令Q(x)=f_1(x)f_2(x^2)...f_k(x^k)，这样我们就构造出了一个整系数多项式Q(x)，使得Q(x)在整数环上可以被P(x)整除。
接下来，我们需要证明在模n的情况下Q(x)的所有根都是简单的。
假设Q(x)在模n的情况下有一个重根r，即Q(r)≡0(mod n)且Q'(r)≡0(mod n)。
我们可以利用整系数多项式的性质来推导出矛盾，从而证明Q(x)在模n的情况下所有根都是简单的。
通过构造一个特殊的整系数多项式Q(x)并证明Q(x)在模n的情况下所有根都是简单的，我们就可以利用整数环的性质来证明德莫弗定理。
整系数不可约多项式的两个判别法
整系数不可约多项式的两个判别法
在高等代数中，有这样一个问题：一个有理系数的多项式，如何判断它在Q上是否可约？由于一个有理系数的多项式总是与某个整系数多项式相伴（它的本原多项式），同时，若一个整系数多项式在Q上可约，则它可以分解成两个低次的整系数多项式的乘积，所以，我们只要研究整系数多项式在Z[x]上的约化即可（其中Z是整数环）。
对于次数低一些的多项式（比如2次、3次），我们可以找它的根，如果有根，则有一次因式。
或者，另一个很常用的方法就是Eisenstein判别法。
Eisenstein判别法的定理条件并不是天上掉下来的，而是通过一些观察和探索得到的。
我们经常研究首一的多项式，因为它们比较简单，经过大量的观察，我们发现这种多项式是不可约的：
f(x)=x4+5x3+5x2+10x+10
它有一个特点是，首项以外的系数有公共的素因子（即5）。
所以我们可以探索一下，具有这种特点的多项式，假如可约，会得到什么结论？由此即可得到Eisenstein判别法：
类似于Eisenstein判别法的一个结果
这个结果可以用于判断以下形式的多项式是不可约的：
f(x)=x5+2x4+2x3+4x2+4x+4。
反证法证明多项式不可约
反证法证明多项式不可约在有理数域上，直接判别一个多项式是否不可约，是一件及其困难和复杂的事情，此时我们可以利用反证法来判别．例1已知P（x）是一个大于零次的多项式，如果对于任意两个多项式f（x）和g(x)，由p(x)|f(x)g(x)可以推出p(x)|f(x)或p(x)|g(x)，则p(x)是不可约多项目类型证明假设p(x)可约，则必存在次数小于?(p(x))的多项式f(x)与g(x)，使得p(x)?f(x)g(x)，即p(x)|f(x)g(x)，又由已知条件，知p(x)|f(x)，p(x)|g(x)，但?(f(x))??(p(x))，?(g(x))??(p(x))，所以不可能实现，从而p(x)必不为可约多项式．例2如果阶数大于1的整系数多项式f（x）的函数值是任意整数的素数f(x)为有理数域q上的不可约多项式．证明了f（x）不是有理数域Q上的不可约多项式，因为？（f（x））？1，所以f（x）在整数环Z上也是可约的，也就是说，有整系数多项式F1（x）和F2（x），所以f(x)?f1(x)f2(x)，其中?(fi(x))??(f(x))，i?1,2．根据已知条件，如果a是整数，那么f（a）是素数，也就是f（a）？F1（a）和F2（a）是素数，那么F1（a）呢？？1或F2（a）？？1.从a的无穷远，知道F1（a）吗？1，f1（a）？？1或f2(a)?1，f2(a)??1四个式子中至少有一个式子对无限个a成立，即f1(x)与f2(x)中有一个为零次多项式，这与已知条件矛盾，所以结论成立．例3设置f（x）？anxn？一1xn？1.A0是一个整系数多项式，如果有素数P，那么（1）p?|an；（2）潘？1，一个？2.a0（3）p2?|a0，那么f（x）在有理数域中是不可约的证明假设f(x)在有理数域上可约，那么f(x)可以分解成两个次数较低的整系数多项式的乘积，即f（x）？（blxl？bl？1xl？1？？？b0）（cmxm？cm？1xm？1？？？c0）（l？n，m？n，l？m？n）因此an?blcm，a0?b0c0．因为p | a0，p可以除以B0或C0。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
证 明 若 厂 ）在 Ｚ上 能分 解 为其 中一 因式的 （
次数 小 于或等 于 ｋ的 多项 式之 积 ， 妨设 不
厂 ）＝ （ ． ） （ ＝ｇ ）ｌ ， ｝ （
收 稿 日期 ：２ ０ — ０ — ２ ． ０８ ７ ５
其 中
ｇ（ ）一 Ｘ － ， ｚ － ４ － ｔ ＋ ｂ ＋ ｂ ， －ｂ １ －… ｌ ｏ
数学研究 ， Ｅ—ｍａ ：ｈ ｎ ｕ ｗｅ ｌ ＠１ ３ ｃｒｉ ｉ ｃｅ ｘ ｅ ｎ ７ ６ ．ｏ ｌ ｎ 吴晓红（ ９ ６ ） 女 ， 西桂 林 人 ， １８ － ， 广 主要从 事代 数学 研究 ，
Ｅ
—
ｔｑ ， ＜ 一 １ ＋ ｑ＝ 咒 ≤ ｋ ，ｔ ，ｔ ．
弓 理 ５ Ｉ Ｅ 设
＋ … ＋ ｎ ｘ＋ ａ ｌ ｏ ， ）一 ａｘ － ａ （ ”４ ｒ１ －
如果能 找到一 个 素数 Ｐ， 得 使
（） 口 ； １Ｐ
是一个 整 系数 多项 式 ， （ ， 互 素 ）是它 的一 个有 理 ｒ ｒｓ
（ ） 口 １ 口 ２ … ，ｏ ２ 户Ｉ ， ，， ， ａ ； ｒ ｒ （） 、 ， ３ 卜
， ）一 ａｘ （ ＋ ｄ－ｚ ＋ … ＋ ａｘ＋ ａ ， ｗｌ １ ｏ
做 了大 量 的研 究 ， 在 不 可约 多项 式 的判别 法上 取得 并 了大量 的研究 成果 ． 。 ］ 引理 ２。 若 ［
厂ｚ （ ）一 Ｘ ＋ － ｂ ４ ， －
其 中 口， ｋ∈ Ｚ， 一 ０ １ … ， １ａ ， ｉ ，， ｎ一 ，０为素数 ， 以 若
引理 ４。 若 ［
．
厂 ）＝ ＋ 口 ＋ ｂ ＋ ｃ （ ｚ ｘｒ ，
ａ ｂ ｃ∈ ＞ ２ ｃ ， 为素 数 ，、ｂ ｌ ， ｚ 无 ｃ卜 士 ， （ ） 项 式 的乘积 ， 则称 厂 ｚ （ ）为整 数 环 Ｚ上 的不 可 约 多项 其 中 ， ， ， ｚ， 式 ．整数环 Ｚ上 不 可约 多项 式 的常 用 判 别 法 为 以下 整数 根 ， ， ｚ 在 Ｚ上 不可 约． 则 （）
根 ， 么 必有 那
那 么 厂（ ） 有理 数域 Ｑ上不 可 约． ｚ 在
ｓＩ ｒＩ ０ ａ ， ａ． 特别 地 ， 如果 ， ）的首 项 系数 ａ （ ＝ １ 那 么 厂 ｚ 的 ， （） 有理 根都 是整 数根 ， 而且 是 ａ 的 因子． 。
Ｅ ｓｎ ｔｉ 别法 有 一定 的局 限性 ， ｉ ｓｅ ｅ ｎ判 如
（ ） ａ ａ ，『 １ ２ … ， １ ３ ｏＪ ｊ ．一 ， ， ｋ一 ，
则 ， ） Ｚ上 不 能分 解 为其 中一 因式 的次数 小于或 （ 在 等 于 是的多项 式 之积．
其 中 ａｂ，∈ ｚ，＞ ２ｂ ，， ｌ ， ｌ ，为素数 ， 士ｂ｝ １６ 土 １ ｌ ａ ≠ ， 口 ，
Ｅ ｓｎ ｔｉ ｉｅ ｓｅ ｎ判别 法 ．
引 理 １ Ｅ ｓｎ ｔｉ 别 法 ）１ 设 （ ｉ ｓｅｎ判 ｅ ［ ］ ， 一 ｚ ＋ 口 ｌ （ ” ， ｒ ＋ … ＋ ｄＸ＋ ａ ｌ ｏ∈ Ｚ ，
本 文推广 ［］中的结 果 ， 到 不可 约 多项 式 的一 ２ 得
些判 别方 法． 为此 先给 出 以下 引理 ．
判 断 特 殊 不 可 约 整 系数 多 项 式 的方 法 ， 展 原 有 研究 结 果 ， 拓 宽 判 断 不 可 约 ）∈ Ｚ ［ ］是 次 数 大 于 １的 多 项 式 ， 若
， ） 整数 环 Ｚ上不 能分 解成 两 个次 数 比它低 的多 （ 在
下条 件满 足 ： （ ） ， ）在 Ｚ上 无 一 次因式 ； １ （
（ ） ａ ａ ２ ｏ Ｉ土 １ ；
其 中 口 ｂ ∈ Ｚ， ，， 扎＞ １ ｂ为 素 数 ，Ｉａ－ ｂ Ｉ １ ， ４ ≠ ， － 则 ， ）在 Ｚ上 不可 约 ． （ 引理 ３ 若 Ｅ 。
厂（ ｚ）一 Ｘ ＋ 仳 。＋ ｂ ，
２ ２
Ｓ ＴＵＤＩ Ｓ Ｉ Ｃ０ＬＬＥ Ｅ Ｎ ＧＥ Ｍ ＡＴＨ ＥＭ ＡＴＩ ＣＳ
高等 数 学 研 究
Ｖｏ ３。 ． Ｌ １ Ｎｏ １
Ｊｎ ，０ ０ ａ． ２ １
整 数 环 上 的 不 可 约 多 项 式
陈 雪 雯 吴 晓 红。 ，
（ ． 西 经 贸 职 业 技 术 学 院 ， 宁 ，３ ０ １ ２ １广 南 ５ ０ ２ ； ．广 西 师 范 大 学 数 学科 学 学 院 ， 林 ，４ ０ ４ 桂 ５ １０ ）
， ）一 Ｘ 十 ２ （ 。 ｚ＋ ５
不 存在 满 足 Ｅ ｓｎ ｔｉ 别 法 的 素 数 ， ｉ ｓｅｎ判 ｅ 因此 不 能 用 Ｅ ｓｎ ｔｉ 判 别法 来判 定 ． 了克服 这个 局 限性 ， ｉｅ ｓｅ ｎ 为 前人
以下 用 ［］表示 不超 过 的最 大 整数． ｚ
定理 １ 若
摘 要 著名 的 Ｅ ｓｎ ｔｉ ｉ ｓｅ ｅ ｎ判别法为寻求整系数不可约多项式提供 了方法 ， 但此判别法 的三个充分条件具有
一
定 的局 限性 ， 致使对相 当多 的特 殊整系数不可约多项式的判断失效． 在总结前人 研究工作 的基础 上 ， 推导 能有效
关 键 词 整 数 环 ； 可 约 ； 项 式 ． 不 多 中 图分 类 号 ０１ １ ２ ５ ．
基金项 目：国家 自然 科 学基 金 （ ０ ６ ０ ２ １ ５ １０ ）和 广 西 自然 科 学 基 金 （ ６ ０ ６ ）资助． ０４０２
作 者 简 介 ： 雪 雯 （ ９２－） 女 ， 西 南 宁 人 ， 士 ， 师 ， 要 从 事 代 腺 １７ － ， 广 硕 讲 主
＾（ ｚ）一
＋ Ｃ－ ｚ ＋ … ＋ ｃＸ＋ ｃ ， ｑｌ １ ０