一类整系数不可约多项式.pdfVIP

第16卷第1期 高等数学研究 V01．16，No．1 2013年1月 STUDIESINCOLI。EGEMATHEMATICS Jan．，2013 一类整系数不可约多项式 殷晓斌，吴俊 (安徽师范大学数学与计算机科学学院，安徽芜湖241000) 摘 要 运用抽象代数的知识，对整系数多项式进行模P处理，给出判别一类特殊多项式不可约的两种方法 关键词 剩余类域；不可约多项式；整数环 中图分类号0151．2；0156．2 文献标识码 A 文章编号 整系数多项式不可约性的判定有很多方法，也 g(cr+6)三gCr)(roodp)， 有大量研究成果出现，“，但利用这些方法很难判 则通过比较m一1次项系数可得 定整系数多项式 mb+am-1三a。1(roodP)． ／1(z)一z9一z+以 又由于1≤mP，故 的不可约性，其中P是素数且P斗D．本文运用抽象代 b三0(rood户)， 数的理论，将整数环上的多项式转化到了一个有限 即有Pb，此与1≤bP矛盾． 域上去，给出判别该多项式不可约的两种方法，这两 命题1 设g(z)为首1的整系数多项式，且 种方法对于判断一些其他类型的整系数多项式的不 deg(g(x))≤P． 若对任意的b一1，2，…，P—l都有 可约性也是十分有效的． g(z+6)三gCr)(rood户)， 设P是素数，Z。表示整数环Z的模P剩余类 则存在a∈7／，使得 域，7／。[z]表示有限域Z，上的一元多项式环． g(T)三z9一z+1(rood户)． 引理1：53 域z。上的一元多项式环7／正T]是 证明 由引理4，可设 唯一分解整环． g(cr)一z’+以plz旷1+…+ao 3 引理2(Fermat定理)u若P是素数，则 (n：∈7／，i一0，1，2，…，P一1)， 丑’三a(rood p)． 由条件知 引理3[71设P为素数，且 乜rl p)， ／(z)∈7／[z]，厂(T)≠0(roodp)， (6—1，2，”·，P一1)． 若厂(z)(rood户)在涩止z]中不可约，则厂(T)在 根据Crammer法则有 7／止z]中不可约． 以P1兰…三日2三a1+1(rood户)， 引理4 设P为素数，m为小于P的正整数， 因此 gCr)是首1的Ⅲ次整系数多项式，则 E7／)．