有理数域上的不可约多项式

合集下载

有理数域不可约判别法

有理数域不可约判别法

有理数域不可约判别法
有理数域不可约判别法是指,在有理数域中,对于一个多项式$f(x)$,如果它不能分解为两个次数较低的多项式的乘积,则称$f(x)$在有理数域中是不可约的。

判断一个多项式是否在有理数域中不可约,可以使用以下方法:
1. 欧几里得算法:将多项式$f(x)$除以$x-a$,如果余数为0,则$x-a$是$f(x)$的一个因子。

重复这个过程直到无法继续除下去。

如果最后得到的余数是常数项,则$x-a$是$f(x)$的一个根。

如果最后得到的余数不是常数项,则$x-a$不是$f(x)$的因子。

2. 整除定理:如果$a$是多项式$f(x)$的一个根,则$(x-a)$一定是
$f(x)$的因子。

可以使用这个定理来判断多项式是否有有理根。

3. Eisenstein判别法:设多项式$f(x)=a_nx^n+a_{n-1}x^{n-
1}+\cdots+a_0$,其中$a_i\in\mathbb{Z}$且$a_n\neq 0$。

如果存在一个质数$p$使得$p|a_i(i=0,1,\cdots,n-1),p\nmid a_n,p^2\nmid a_0$且$p|a_{n-1}$,则$f(x)$在$\mathbb{Q}$中不可约。

以上三种方法都可以用来判断多项式是否在有理数域中不可约,但是具体使用哪种方法需要根据多项式的形式和系数来决定。

不可约多项式的判定及应用(黄嘉盛)详解

不可约多项式的判定及应用(黄嘉盛)详解

不可约多项式的判定及应用摘 要多项式理论是高等代数的重要组成部分,而不可约多项式是多项式中重要的概念. 本文主要对有理数域上不可约多项式的判别方法进行整理归纳, 较为系统的给出不可约多项式的判定方法。

对于一般的不可约多项式的判定有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 为非零常数。

有理数域上不可约多项式

有理数域上不可约多项式
第七章 多项式环
§7.8 有理数域上的不可约多项式
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
本节讨论有理数域上多项式的可约性,以及如 何求Q上多项式的有理根,由于 f x 与 cf x 在 Q x 上的可约性相同。因此讨论 f x 在Q上的可约
性可转化为求整系数多项式在Q上的可约性。 一、整系数多项式的可约性 定义1(本原多项式): 若整系数多项式 f x 的系数互素,则称 f x 是一个本原多项式。 例如:f x 3x2 6x 4, g x 5x2 1 是本原多项式。 本原多项式的加、减运算所得的未必是 本原多项式,但相乘之后必是本原多项式。
都是本原多项式
f x g x c0 c1x
p ck , k 1,2,
ci j xi j
cmn xmn .
若 f x g x 不是本原多项式,则存在素数p,使
, m n, 由于 f x , g x 都是本原多
项式,故 f x 的系数不能都被p整除,g x 的系数 也不能被p整除,
n 即 g x g1 x r g1 x . m
提出来, mg x ng1 x , g1 x 是本原多项式,
同理,存在有理数S,使 h x sh1 x , h1 x 也是本原多项式,
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
但两者不能同时成立。

p2
a0
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
不妨设 p b0 但 p 由于 an bk cl , 由 p
c0 。
an 知 g x 的系数不能都被p

关于对整系数多项式在有理数域内不可约问题的研究

关于对整系数多项式在有理数域内不可约问题的研究
在有 理数 域上 不可 约 的充 分必要 条件 是 , ( a x+6 )
在有 理数 域上 不可 约.
2 主 要 结 果
定理 2 设 )为 一 个 有 理 系 数 多 项 式 ,
g ( x )为任 意次数 大 于 等 于 l有 理 系数 多项 式 , 则 )在 有 理 数 域 上 可 约 的 充 分 必 要 条 件 是 g ( ) )在 有理数 域上 可约. 证 充 分性
( , ( g ( ) ) )>
( g ( ) ) ) , ( ( g ( ) ) )
由于 g ( 戈 ) 为任意次数大于等于 1 有理系数多
项式 , 取g ( x )= , 从 而有厂 ( )= ( x ) A( ) , 易知 ) )> ( ( ) ) , ( ( ) ) . 综上 数 域上可 约. ) 在有理
个 整系数 多项 式. 且 )没有 有理 根 , 如果 b , c , 证 假设 )在有 理数 域上是 可 约 的 , 由 已
厂 ( )= ( x ) A( )其 中 ( 厂 ( ) )> ( ( ) ) , ( ( ) ) ,将 换 成 g ( x ) 可 得 g ( x ) ) =
第3 3卷 第 1 期
2 0 1 5 年 O 1月
佳 木 斯 大 学 学 报 (自 然 科 学 版 )
J o u na r l o f J i a mu s i U n i v e r s i t y( N a t u r a l S c i e n c e E d i t i o n )
1 预 备 知识
定理 I …( E i s e n s t e i n 判 别法 ) 设 )=a n x “
+ an
_

多项式在有理数域上不可约判定,

多项式在有理数域上不可约判定,

第21卷 第1期 湖南理工学院学报(自然科学版) Vol.21 No.12008年3月 Journal of Hunan Institute of Science and Technology (Natural Sciences) Mar. 2008有理数域上的一类不可约多项式张 卫,史滋福(湖南师范大学 数学与计算机科学学院,长沙 410081)摘 要: 首先介绍了判别有理数域上多项式不可约的常用结论,讨论了形如12()()()()()1n f x x x a x a x a ϕ=−−−+"的多项式的性质,并且得到了定理:若,6n >()0x ϕ>且它的次数小于的一半,则n 12()()()()()1n f x x x a x a x a ϕ=−−−+"在Q 上不可约.关键词: 有理数域; 不可约多项式; 次数中图分类号:O151.23 文献标识码:A 文章编号: 1672-5298(2008)01-0005-03A Class Irreducible Polynomials on Rational Number FieldZHANG Wei , SHI Zi-fu(Department of Mathematics, Hunan Normal University, Changsha 410081, China)Abstract: Some common results which used to decide a polynomial on rational number field irreducible are explained in this paper. Some properties of polynomial such as 12()()()()()1n f x x x a x a x a ϕ=−−−+"are discussed and some theorem is obtained if ,6n >()0x ϕ>and the degree of ()x ϕ is less than a half of ,then n ()f x is irreducible on rational number field.Key words: rational number field; irreducible polynomial; degree研究数域上不可约多项式就如研究整数中的素数一样重要. 如果F 是代数闭域,则F 上的不可约多项式就是全体的一次多项式,而在素域F 上的不可约多项式研究却是一个复杂的工作. 在我们熟悉的有理数域Q 上,存在着任意次的不可约多项式. 到目前为止,在有理数域Q 上,判断多项式不可约的方法主要有以下几类:Ⅰ 通过多项式的系数与某素数的整除关系来判定不可约,如Eisenstein 判别法及其推广形式[1][2]. Ⅱ 通过多项式的系数与某素数的大小关系来判定不可约,如命题1[3]设是一个素数,且整数适合p 12,,,n a a a "10nk k a =p <<∑,则多项式212()n n f x p a x a x a x =++++"在Q 上不可约.Ⅲ 将多项式作为函数所得到的一些特殊取值来判定不可约,如命题2[4] 若整系数多项式()f x 对于无限个整数值x ,其函数值()f x 都是素数,那么多项式()f x 在Q 上不可约.Ⅳ 通过辅助多项式的根的取值来判定不可约,如 命题3[5] 设是n 个两两不同的整数,那么多项式12,,,n a a a "1()()1ni i f x x a ==−−∏在Q 上不可约.本文给出一类可以通过的多项式的次数或者多项式在某点的取值来进行判定的不可约多项式.收稿日期:2007-12-20 基金项目: 湖南省自然科学基金项目(04JJ40003) 作者简介:张 卫(1963− ), 男,江西赣州人,博士,湖南师范大学讲师. 主要研究方向: 多项式代数和环论命题4[5]设是n (n ≥2)个两两不同的整数,如果多项式12,,,a a a "n 1()()1ni i f x x a ==−+∏在Q 上可约,则n 是一个偶数.引理1 设是n (n ≥3)个两两不同的整数,若多项式12,,,n a a a "212()()()()1n f x x a x a x a =−−−"+在Q 上可约,则存在整系数多项式h x ,使得()2()()f x h x =.证明 因为n ,对于任何整数3≥0x ,或者()201020()()0n x a x a x a −−="或者−2201020010203()()()()()()n x a x a x a x a x a x a −−−≥−−−"2≥,所以,因此0()0f x ≠()f x 没有一次有理因式.现设()()()f x g x h x =是()f x 的真因式分解,其中()g x 与都是整系数多项式,且()h x ()g x 与的次数都小于,令()h x n ()()()x g x h x ϕ=−,由()1i f a =,()()1i i g a h a ==±,于是()0,1,2,,i a i n ϕ==".如果()0x ϕ≠,则必有deg(())x n ϕ<,这是不可能的,所以()0x ϕ=. 因此()()g x h x =,即有2()()f x h x =. 由引理1立即可得.定理1 设是n (n ≥3)个两两不同的整数,则当是偶数时,多项式12,,,n a a a "n 212()()()()1n f x x a x a x a =−−−"+在Q 上不可约.定理2 设是n (n ≥3)个两两不同的整数,且12,,,n a a a "212()()()()1n f x x a x a x a =−−−+".若存在0x , 使得,则0()0f x <()f x 在Q 上不可约.引理2 设是n (n ≥3)个两两不同的整数,且12,,,n a a a "222121()()()()()()1r r n f x x a x a x a x a x a +=−−−−−+"".若()f x 有真因式()g x ,则()g x 的次数至少是的一半.n 证明 设()()()f x g x h x =,且deg(())g x <[2n],由于()1,1,2,,i f a i n ==",所以, ,于是()1i g a =±1,2,,i n ="()g x 至少在[个点恒取值]deg(())12ng x ≥+1+或者1−,此时()g x 是常数,矛盾.推论1 设是n (n ≥3)个两两不同的整数,若多项式12,,,n a a a "222121()()()()()()1r r n f x x a x a x a x a x a +=−−−−−+""有真因式()g x ,则()g x 的次数deg(())[]2ng x r n ≤+−.引理3 设是n (n ≥3)个两两不同的整数, 12,,,n a a a "[]2nr <,且222121()()()()()()1r r n f x x a x a x a x a x a +=−−−−−+"".如果()f x 在Q 上可约,则一定存在整系数多项式,使得()h x 2()()f x h x =.证明 设()f x 的真因式分解()()()f x g x h x =,(),()g x h x 都是整系数多项式,且次数[]2n deg(()),deg(())g x h x r n ≤≤+−[]2n . 令()()()x g x h x ϕ=−,和引理1相仿,由于也有deg(())x n ϕ<,所以()0x ϕ=,即2()()f x h x =.类似地可以证明引理4设是n (n ≥3)个两两不同的整数,且12,,,n a a a "12()()()()()1n f x x x a x a x a ϕ=−−−"+ 6 湖南理工学院学报(自然科学版) 第21卷.第1期 张 卫等:有理数域上的一类不可约多项式 7如果deg(())[]2nr x ϕ=<,且()f x 在Q 上可约,则一定存在整系数多项式,使得()h x 2()()=f x h x .定理3 设是n (n ≥3)个两两不同的整数,且12,,,n a a a "12()()()()()1n f x x x a x a x a ϕ=−−−"+.如果deg(())[]2nr x ϕ=<,且 deg(())x n ϕ+是奇数,则()f x 在Q 上不可约.定理4 设是n (n ≥3)个两两不同的整数,且12,,,n a a a "12()()()()()1n f x x x a x a x a ϕ=−−−"+.如果deg(())[]2nr x ϕ=<,且存在实数0x ,使得0()0f x <,则()f x 在Q 上不可约.定理5 设是n (n >6)个两两不同的整数,且12,,,n a a a "12()()()()()1n f x x x a x a x a ϕ=−−−"+,如果deg(())[]2nr x ϕ=<,且()0x ϕ=没有有理根,则()f x 在Q 上不可约.证明 不妨设,令12n a a a <<<"012n x a =−,因为0()0x ϕ≠,所以01()2r x ϕ≥,从而0001010()()()()()1ϕ−=−−−+"n n f x x x a x a x a <123311()()()()122222124211()()()(122222−⋅⋅⋅⋅⋅−+<−⋅⋅⋅⋅⋅−+""r r n n =222((2)!122−++−−⋅−+=−+n n r r n n 2)!1>. 因为当n 时,62deg(())[]log (2)!22nr x ,所以n ϕ=<<−−0()0f x <,再由定理4即得定理5.鉴于在定理证明中关于()x ϕ其实只利用了01()2r x ϕ≥,所以有推论2 若, 且,那么212()()()()1n f x x a x a x a =−−−+"6n >()f x 在Q 上不可约.最后提出两个问题作为本文的结束. 问题1 定理5在的时候是否也成立?6n =问题2 推论2中由于()x ϕ的次数仅等于1,是否的条件可以去掉? 6n >参考文献[1] 张海山. Eisenstein 判别法的推广[J]. 首都师范大学学报(自然科学版), 2001,22(3):13~15 [2] 陈 侠. 关于整系数不可约多项式[J]. 沈阳航空工业学院学报, 2004,21(1): 77~78 [3] 冯克勤,余红兵. 整数与多项式[M]. 北京: 高等教育出版社, 1999: 138~142[4] 黎伯堂,刘桂真. 高等代数解题技巧与方法[M]. 济南: 山东科学技术出版社, 1999:154~171 [5] 王品超. 高等代数新方法[M]. 济南: 山东教育出版社, 1989: 11~44李克安教授被评为第三届湖南省“双十佳期刊编辑”为了进一步加强编辑队伍建设,鼓励期刊出版行业出人才,出好人才,繁荣和发展期刊出版事业,中共湖南省委宣传部、湖南省新闻出版局联合组织评选了第三届湖南省“双十佳期刊编辑”。

2.有限域上的不可约多项式有限域上的不可约多项式

2.有限域上的不可约多项式有限域上的不可约多项式


3.域 扩域,代数元 求 3 5 在有理数域上的极小多项式. 4.根域 确定根域,及扩张次数 有限域的根域存在性,唯一性证明方法 重根与形式微商 Zp上n次不可约多项式根域
Zp上的n次不可约多项式f(x)的根域是什 么? 定理:Zp上的n次不可约多项式f(x)的根域 是GF(pn)=Zp()
定 理 2( 艾 森 斯 坦 (Eisenstein) 判 别 法 ) : 设 f(x)=a0+a1x+…+anxn 是 整 系 数 多项 式 , 若 能 找到一个素数p,使得 (1)p不能整除an; (2)p|a0,a1,┅,an-1; (3)p2不能整除a0; 那么,f(x)在有理数域上不可约。 1.证明2xn+9x2+6(n>2)是有理数域上的不可约 多项式。 p=3
艾森斯坦判别法是充分条件,不满足定理2的 多项式,不一定就可约。 如x2+3x+2和x2+1,都不满足定理2条件, 前者在有理数域上可约,后者不可约。
2.有限域上的不可约多项式 有限域上的不可约多项式,最直观的就是将 域上所有n次多项式按次数列成表, 次数小的在前面,大的在后,次数相等的按 某种规定排列先后,排在最前面的多项式就 是不可约的,把它圈出来, 再把该多项式倍式的多项式从表中划去。 剩下没有圈和划去的多项式中排在最前的就 是不可约的, 重复这一过程即可,但当n适当大时,工作量 就很大。
如何判别一个多项式不可约,并没有一个行 之有效的方法 1.在无限数域上的不可约多项式问题 复数域上的任何多项式都是可约的。 实数域上任何多项式,根据复根共轭的性质, 知道实数域上只有2次不可约多项式。 有理数域,存在任意次不可约多项式。

有理系数多项式

有理系数多项式

§9有理系数多项式一. 引入1) 在复数域上只有一次多项式才是不可约的。

2) 在实数域上不可约多项式只有一次的和某些二次的。

对于有理数域1) 每个次数≥1的有理系数多项式都能唯一地分解成不可约的 有理系数多项式的乘积2) 要具体地作出它的分解式是一个很复杂的问题,3) 要判别一个有理系数多项式是否可约也不是一个容易解决的 问题。

4) 可以归结为整(数)系数多项式的因式分解问题,并进而解决求 有理系数多项式的有理根的问题。

5) 在有理系数多项式环中有任意次数的不可约多项式。

问题:如何判断Q 上多项式的不可约性呢? 有理系数多项式可归结为整系数多项式的问题. 设110()n n n n f x a x a x a --=+++,则i )可选取适当整数c ,使()cf x 为整系数多项式.Ii )若()cf x 的各项系数有公因子,提出来,得 ()()cf x dg x =, 即()()df xg x c=,其中()g x 是整系数多项式,且各项系数没有异于1±的公因子.如 4242222()2(5153)3515f x x x x x x x =--=-- 二.本原多项式1.定义:设 1110()0n n n n g x b x b x b x b --=++++≠,,0,1,2.i b Z i n ∈=若110,,n n b b b b -没有异于1±的公因子,即110,,n n b b b b -是互素的,则称()g x 为本原多项式.2.有关性质1) ()[],f x Q x r Q ∀∈∃∈,使()()f x rg x =,其中()g x 为本原多项式(除了相差一个正负号外,这种表示法是唯一的).2) 定理10 (Gauss 引理)两个本原多项式的积仍是本原多项式. 证:设 110()n n n n f x a x a x a --=+++,110()m m m m g x b x b x b --=+++是两个本原多项式.而110()()()n m n m n m n m h x f x g x d x d x d ++-++-==+++,反证法,若()h x 不是本原的,则存在素数p ,|,0,1,.r p d r n m =+又()f x 是本原多项式,所以p 不能整除()f x 的每一个系数,令i a 为01,n a a a 中第一个不能被p 整除的数,即11|,.||,i i p a p a p a -同理,()g x 本原,令j b 为0m b b 中第一个不能被p 整除的数,即011|,|,||,.j j p b p b p b p b -又11i j i j i j d a b a b ++-=++,这里11||,,|i j i j i j p d p a b p a b ++-,矛盾.二. 整系数多项式的因式分解定理11 若一非零的整系数多项式可分解成两个次数较低的有理系数多项式,则它一定可分解成两个次数较低的整系数多项式的乘积.证:设整系数多项式()f x 有分解式()()()f x g x h x =,其中 (),()[]g x h x Q x ∈,且()()()(),()()g x h x f x ∂∂<∂. 令 1()()f x af x =,1()()g x rg x =,1()()h x sh x =这里,111(),(),()f x g x h x 皆为本原多项式,,,a Z r s Q ∈∈, 于是 111()()()af x rsg x h x =⇒由定理10,11()()g x h x 本原,从而有rs a =±即 rs Z ∈,()11()()()f x rsg x h x ∴=.得证.推论:1)(),()f x g x 是整系数多项式,2)()g x 是本原的, 3)()()(),()[],f x g x h x h x Q x =∈则()h x 必为整系数多项式.证:令1111()(),()(),,,(),()f x af x h x ch x a Z c Q f x h x ==∈∈本原⇒111()()()()()af x g x ch x cg x h x ==c a ⇒=±⇒,c Z ∈1()()h x ch x ∴=为整系数.定理12 设1110()n n n n f x a x a x a x a --=++++是一个整系数多项式,而rs是它的一个有理根,其中,r s 是互素的,则必有0|,|.n s a r a 证:()rf x s 是的有理根,∴在有理数域上,()|()rx f x s-从而 ()|(),sx r f x -,又,r s 互素,sx r ∴-本原.由上推论,有1110()()(),,0,1,, 1.n n i f x sx r b x b x b b Z i n --=-+++∈=-.比较两端系数,得 10,n n a sb a rb -==-. 所以, 0|,|n s a r a(注意:定理12是判断整系数多项式有理根的一个必要条件,而非充分条件.)例1 求方程432230x x x -+-=的有理根,解:可能有理根为131,3,,22±±±±,用综合除法可知,只有1为根. 例2 证明3()51f x x x =-+在Q 上不可约.证:若()f x 可约,它至少有一个一次因子,也即有一个有理根,但()f x 的有理根只可能是1±,而(1)3,(1)5f f =--=,所以()f x 不可约.定理13 艾森斯坦因Eisenstein 判别法 设 1110(),,0,1,,n n n n i f x a x a x a x a a Z i n --=++++∈=,若有一个素数p ,使得1)|n p a 1202)|,,,n n p a a a --023)|.p a则()f x 在有理数域上是不可约的.证:若()f x 在Q 上可约,由定理11. ()f x 可分解为两个次数较低的整系数多项式的积111010()()(),,,,,l l m m l l m m i j f x b x b x b c x c x c b c Z l m n l m n----=++++++∈<+= 000,.n l m a b c a b c ∴==0|p a ,∴ 0|p b 或0|p c ,又20|p a ,p ∴不能同时整除00,b c .不妨设0|p b 但0|p c .另一方面,|.n p a |,|.l m p b p c ∴假设01,l b b b 中第一个不能被p 整除的数为k b ,比较两端kx 的系数,得0110k k k k a b c b c b c -=+++式中10,k k a b b -皆能被p 整除,0|k p b c ∴,0||.k p b p c ⇒或 矛盾. (注意: Eisenstein 判别法是判断不可约的充分条件非必要条件,所以有些多项式需作线性变换.)例3 证明:2n x +在Q 上不可约. 证:(令2p =即可).(可见存在任意次数的不可约有理系数多项式) 例4 证明:2()1f x x =+在Q 上不可约.证:作变换1x y =+,则2()22f x y y =++,取2p =,由Eisenstein 判别法知222y y ++在Q上不可约,所以()f x 在Q上不可约.例5 判断23()12!3!!px x x f x x p =+++++在Q 上是否可约. 解:令()!()g x p f x =21!!!!2(1)!p p p p p p x x x x p -=+++++-, 则()g x 为整系数多项式.!!|1,|,,!(1)!(2)!p p p p p p p --,, 但2|!p p ,()g x ∴在Q 上不可约,从而()f x 在Q 上不可约.说明:许多Q 上的不可约多项式都可经过适当线性代换或化整系数多项式后用等森斯坦因判别法判定它是否不可约,但是,也存在Q #上不可约多项式()=+∈≠都不能x ay b a b Q af x,无论作怎样的代换,(,,0)使()()+=满足爱森斯坦因判别法的条件,即找不到相应的素数f ay bg yp.如,3=++.()1f x x x但可用反证法:若()f x有有理f x可约,则必有一次因式,从而()根,但()=≠-=≠∴不可约.f f f xf x的有理根只能是1±,而(1)30,(1)10,()总结:不可约多项式的3种判断法:1. 艾森斯坦因Eisenstein判别法2.做变换后再用上法3.试根法小结:i)有理系数多项式与复系数、实系数多项式分解的区别,ⅱ)整系数多项式的分解法,有理系数多项式的分解法,ⅲ)不可约多项式的判定。

不可约多项式的判定及应用(黄嘉盛)详解

不可约多项式的判定及应用(黄嘉盛)详解

不可约多项式的判定及应用多项式理论是高等代数的重要组成部分,而不可约多项式是多项式中重要的概念.本文主要对有理数域上不可约多项式的判别方法进行整理归纳,较为系统的给出不可约多项式 Perron 判别法、Browm 判别法等。

研究了各判定方法的等价和包含关系。

此外,我们还给 出了不可约多项式的一些应用。

关键词不可约多项式;判定方法;应用2.不可约多项式的概念及性质2.1整除的概念设P 是一个数域,对于P[x]中任意两个多项式f(x)与g(x),其中g(x)H0,定有P[x]中的多项式q(x), r(x)存在,使得f(x) =q(x)g(x)+ r(x)成立,其中c(r(x))<c(g(x))或者r(x)=0,并且这样的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⑴ 对于数域P 上的任意两个多项式f(x) , g(x),其中的判定方法。

对于一般的不可约多项式的判定有 Eisenstein 判别法、Kronecker 判别法、 成立,H0, 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)必须不为零。

F 面介绍整除性的几个常用性质:(1)如果 f(x) | g(x), g(x) | f (x),那么 f(x)=cg(x),其中 c 为非零常数。

(2)如果 f(x) | g(x), g(x) |h(x),那么 f(x) | h(x)(整除的传递性)。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

二、整系数多项式的有理根
定理 3: 设
f x anxn an1xn1 L a0,
是一个整系数多项式,若有理数 u v 是整系数
多项式 f x 的一个根,这里u,v是互素的整数,


f
x
x
u v
q
x
,
q
x
Z
x
,
② v an,u a0
证: (1)Q u v 是 f x 的根,
f x 有一次因式 x u v ,
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
即 f x
xuv
q
x
vx
u
1 v
q
x
vx
u
q1
x
因为 vx u 是本原多项式 q1 x 是整系数多项式,
故 qx vq1 x 是整系数多项式。
(2)设 q1 x bn1xn1 L b1x b0,
b0 , b1,L , bn1 是整数。
例1
xn p 是Q上不可约多项式,p是素数。
解:取素数p即知。
例2
判断 f x x6 10x3 2,
g x 5x4 6x3 12x 6
在Q上是否可约?
解:分别取p=2, p=3即知。
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
注意:Eisenstein是判别多项式在Q上不可约的充分 条件,但不是必要条件。 例: x2 1 不可约,但找不到素数p。
定义1(本原多项式):
若整系数多项式 f x 的系数互素,则称 f x
是一个本原多项式。
例如:f x 3x2 6x 4, g x 5x2 1
是本原多项式。 本原多项式的加、减运算所得的未必是
本原多项式,但相乘之后必是本原多项式。
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
设 u, v 是互素的整数,且 u v 是整系数多项式 f x 的根,则 v u f 1,v u f 1.
证:由f x vx u g x, g xZ x.
把 1 代入得:
f 1 v u g 1, g 1Z x. f 1 v u g 1, g 1Z x.
v u f 1,v u f 1.
引理(高斯定理): 两个本原多项式的乘积仍是本原多项式。
证:设 f x a0 a1x L aixi L anxn,an 0 g x b0 b1x L bj x j L bmxm,bm 0
都是本原多项式
f x g x c0 c1x L ci j xi j L cmnxmn.
设 r s qp(p,q互素且p>0),
由于
q p
g1
x
h1
x
是整系数多项式,
故p能整除q与 g1 x h1 x 的每一系数的乘积,
而p,q互素,故p能整除 g1 xh1 x 的每一系数, 但由引理1知,g1 xh1 x 是本原多项式,
故p=1,从而rs是一个整数。
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
第七章 多项式环§7.8 Nhomakorabea理数域上的不可约多项式
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
本节讨论有理数域上多项式的可约性,以及如
何求Q上多项式的有理根,由于 f x 与 cf x 在 Qx上的可约性相同。因此讨论 f x 在Q上的可约
性可转化为求整系数多项式在Q上的可约性。 一、整系数多项式的可约性
但两者不能同时成立。 Q p2 a0
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
不妨设 p b0 但 p c0 。
由于 an bkcl ,由 p an 知 g x 的系数不能都被p
整除,假设 bs 是第一个不能被p整除的系数,
即 p b0 ,L , p bs1, 但 p bs
若 f x g x 不是本原多项式,则存在素数p,使 p ck , k 1, 2,L , m n, 由于 f x, g x 都是本原多
项式,故 f x 的系数不能都被p整除,g x 的系数
也不能被p整除,
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
可设 p ar , r 0,1,L ,i 1, 但 p ai ,
现考虑
as bsc0 bs1c1 L b0cs , s n.
p bs , p c0 p bsc0,
但p能整除其它项,故 p as 与已知矛盾。
f x 在 Z x 中不可约
f x 在 Qx 中不可约。
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
由Eisenstein判别法知,Q上存在任意次不 可约多项式。
p bs , s 0,1,L , j 1, 但 p bj ,
现考虑
ci j a0bi j L ai1bj1 aibj ai1bj1 L ai jb0.
除了aibj 这一项外,p能整除其余各项,
因此 p ci j , 这是一个矛盾,
故 f x g x 是本原多项式。
定理 1: 一个整系数n(n>0)次多项式 f x
问题
C上不可约多项式只能是一次,R上不可约多项 式只能是一次和含非实共轭复根的二次多项式,Q上 不可约多项式的特征是什么?下面的Eisenstein的判 别法回答了这个问题。
定理 2(Eisenstein判别法):
设 f x a0 a1x L anxn 是整系数多项式,
若存在素数p,使 ① p an; ② p a0, a1,L , an1,
例 3 求 f x 2x4 5x3 7x2 7x 1 的有理根。
解:2的因数是1, 2, 1的因数是 1,
故 f x可能的有理根只能是 1, 1
对1, 1 用综合除法逐一检验知: 2
2
f x 的有理根只能是 1 2 。
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
定理 4:
比较 f x vx uq1 x 两边n次项与常数项系数得:
an vbn1, a0 ub0
v an,u a0
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
由定理 3,要求整系数多项式 f x 的有理根,
只要求出最高次项系数的因数 v1, v2,L , vk 以及常数项 有a0理的数因用数综u1合,u2除,L法,u来t 。检然验后,对如形果如最高次vuij系这数样为的1,则 整系数多项式f的有理根只能是整根。
③ p2 a0,
则 f x 在Q上不可约。
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
证(反证法):
若f x 在Q上可约 f x 在Z上可约,
即存在:
g x b0 b1x L bk xk ,
h x c0 c1x L cl xl Z x,
使 f x gxhx.
其中 k l n, 0 k, l n. Q a0 b0c0, p a0 故 p b0 或 p c0
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
提出来,mg x ng1 x, g1 x 是本原多项式,

g x
n m
g1 x
r g1 x.
同理,存在有理数S,使 hx sh1 x,
h1 x 也是本原多项式,
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
于是 f x g xhx r sg1 xh1 x
下证 r s 是一个整数,
推论:设 f x g xhx, 若 f x, g x都是
整系数多项式,且 g x 是本原的,则 hx 必是整
系数多项式。特别地,若 f x 是本原的,则 hx
也是本原的。
(若不是 h x qh1 x q f x 的所有系数。)
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
在有理数域上可约的充要条件是它在整数环上可约。
高等代数课件--天津科技大学理学院高等代数精品课程教研小组
证:充分性显然。
下证必要性。
设 f x 可分解成 Qx 中两个次数都小于n的
多项式 g x 与hx 的乘积,即有 f x g xhx.
设 g x 的系数的公分母为m,则 mg x 是
一个整系数多项式,把 mg x 系数的公因式n
相关文档
最新文档