1. 引言
Eisenstein不可约判别法是一种用于判断多项式是否可约的方法。这个方法以19世纪德国数学家Eisenstein命名。Eisenstein不可约判别法的基本含义是,如果一个多项式的系数都是整数,且存在一个素数p,使得这些系数中除了最高次项系数外,其余各项系数都是p的倍数,而常数项不是
的倍数,那么这个多项式在有理数域上就是不可约的。Eisenstein不可约判别法在代数学中有着广泛的应用。在高等代数中,Eisenstein判别法是整系数多项式的不可约性判定中最重要的判别法之一(参见 [1] [2] [3] 等),在抽象代数中,Eisenstein判别法也有在更一般的唯一分解整环上的表述形式(参见 [2] )。有许多Eisenstein判别法的推广及应用(参见例如 [1] [2] [4] [5] 等)。本文中用
代表有理数域,用
表示有理系数一元多项式环。Eisenstein判别法的陈述如下:
定理1 [1] [2] [3] 给定n次整系数多项式
若存在素数p,使得
,但
,
,则
在
中不可约。
Eisenstein判别法有如下熟知的推广形式,这一结论给出了多项式的不可约因式的次数估计(参见 [1] )。
定理2 [1] 给定n次整系数多项式
若存在素数p及正整数k,使得
,但
,
,则
在
中有次数不小于k的不可约因式。
注1 当
时,定理2可以立即推出Eisenstein判别法。因此,定理2可以视为Eisenstein判别法的推广。
当素数p的平方可以整除整系数多项式的常数项时,对奇数次多项式有进一步的判别法(参见 [1] )。
定理3 [1] 给定
次整系数多项式
若存在素数p,使得
,
,但
,
,则
在
中不可约。
注2 文献 [5] 中的定理2给出了
整除多项式常数项时的另一个不可约判别法:给定n次整系数多项式
,若存在素数p,使得
,
,其中
,
,但
,则
在
中不可约。我们指出,当n为奇数时,容易看出该结论与定理3等价;但当n为偶数时,文献 [5] 中定理2的结论并不正确,
就是一个反例。
本文按照定理2的思路,将定理3加以推广,并给出文献 [5] 中定理2的正确形式。
2. 主要定理
下面我们对素数p的平方可以整除常数项的整系数多项式,给出其不可约因式的次数估计。
定理4 给定n次整系数多项式
若存在素数p及正整数k,使得
,
,但
,
,其中
,则
在
中有次数不小于
的不可约因式。
证 若
不可约,则结论显然成立。若
可约,设
在
中的不可约因式分解形如
。
情形1 若存在(不妨设为)
,使得
能整除
的常数项,则根据条件p不能整除
的常数项。设
则
,
。由
知,存在正整数
,使得对任意的
,有
,但
。由
知,
。同理,可以证明对任意的
,有
。根据假定条件和正整数k的唯一性知
,故存在不可约因式
,它的次数
。特别地,这个次数不小于
的不可约因式的常数项是
的倍数,其他不可约因式的常数项都不能被p整除。
情形2 若存在(不妨设为)
,
,使得p恰好整除
和
的常数项,且p不能整除
的常数项。设
则
,
。由
知,存在正整数
和
,使得对任意的
,有
,但
;对任意的
,有
,但
。不妨设
。令
分析
的各项系数,易知对任意的
,有
,但
。同样地,进一步分析
的各项系数可知
,但对任意的
,有
。根据假定条件知
,从而
。又因为
,则
,此与假定条件矛盾。故情形2不可能出现。
综上所述,
在
中有次数不小于
的不可约因式,证毕。
3. 应用
在定理4中,当
时即得定理3。因此,定理4可以视为定理3的推广。对于偶数次多项式,我们有如下的不可约判别法,它可以视为文献 [5] 的定理2的修正。
定理5 给定
次整系数多项式
若存在素数p,使得
,
,但
,
,则
的有理根至多只有一个。当
有有理根时,它必形如
的形式,其中a,b是互素的整数且
;当
没有有理根时,
在
中不可约。
证 在定理4中,取
,
。由定理4知,
有次数不小于
的不可约因式。故
至多有一个一次因式,即
至多只有一个有理根。当
有有理根时,根据定理4证明中的情形1,
的一次因式的常数项不能被p整除,即
的有理根必形如
,其中a,b是互素的整数,且
。
当
没有有理根时,即
没有一次因式,而
有次数不小于
的不可约因式,因此
在
中不可约,证毕。
注3 若一个偶数次多项式
的各项系数满足定理5中的整除关系,则
的有理根有严格的限制,这可以使验证多项式有无有理根的过程更简单。
注4 若一个偶数次多项式
的各项系数满足定理5中的整除关系,则
在
中不可约当且仅当
没有有理根。
例1 设
,因为
的首项系数是1,所以
的有理根只能是整数,且
的整数根只可能为
,
或
(参见 [1] [3] )。经检验,
不是
的根。由定理5知,
和
都不是
的根,从而
在
中不可约。
4. 结论
当素数p的平方整除整系数多项式的常数项时,本文给出了多项式的不可约因式的次数的估计,并对偶数次多项式给出了一个新的不可约判别法。这一判别法可以视为Eisenstein判别法的变种。当偶数次多项式的系数满足特定的整除关系时,该多项式在有理数域上不可约等价于它没有有理根,而且对多项式的有理根有更进一步地严格的限制,这使得验证多项式有无有理根更加简单。
传统的Eisenstein判别法处理的是素数p的平方不整除多项式常数项的情形,本文中给出的判别法处理的是素数p的立方不整除多项式常数项的情形,但是如果按照本文中的证明方法考虑更高次的整除条件是极其繁琐的。在这方面,有更一般的Dumas判别法(参见 [6] )可以处理任意次方的整除情形,但Dumas判别法并不涉及有理根的讨论,因此本文给出的判别法具有一定的意义和价值。
基金项目
感谢国家自然科学基金(批准号11901390),上海高校青年教师培养资助计划(“互联网+”背景下课程思政融入《高等数学》的路径研究),“高地大”创新本科人才培养类项目——上海市级一流专业建设点项目(数学与应用数学)的支持。
NOTES
*通讯作者。