素数p在Q（6√u）中的素理想分解.pdfVIP

第30卷 第 l朗 高 师 理 科 学 刊 Vo1．30 No．1 2O10年 1 JournalofScienceofTeachers CollegeandUniversity Jan． 20l0 文章编号：1007—983l(2010)01—0009—03 素数P在Q()中的素理想分解 占金虎，藤燕辉 (西安市铁一 中学 ，陕西 西安 7l(x)54) 丫 、l旦 ． 摘要：设Q为有理数域，利用局部域的方法，讨论了P在Q的6次根扩张Q( )(“∈ )中的分解 问题．并完全确定了(p，6)=1，(p，“)=1时的分解所有可能的形式． 关键词：素理想；全分歧；素的；Eisenstein多项式 中图分类号 ：0156．2 文献标识码：A 设F为含有 次本原单位根的代数数域，文献[1]完全解决了F中素理想在F(“)的分解问题，文献 [2]通过扩张平移的方法讨论了该问题，当F=Q(f√“)， 为奇素数时，文献[31运用局部域方法解决了该问 题．本文采用局部域方法，利用同余方程，给出当F=Q( )((p，6)=1，(p，H)=1))时，素数P在Q的6 次根扩张Q( )中的分解． 在本文中，将采用一些记号：Q为有理数域；P为素数；R为其赋值环；F=Q( )；Q 为P—adic 局部域；P为F上素理想；对于P／P，f(P／p)为剩余类次数，e(P／p)为分歧指数；d()是域 的判别 式． 引 理1IjJ 设 (p，，z)=1，则 =u(modP)在z中有解的充分必要条件是 “∈Q：． 引理2 若p≠2，dlm(od4)，则：半 的极小多项式，()：z—+ 在上有分解 Pld 厂()= dEa2(modp) + () cm 引理3 设 是代数数域，n=[K ：Q]，K=Q()， ∈0 ，f(x)= +bix +…+b ∈Z[x】 是 在Q上的最小多项式，则对每个素数P： (1)，()在Q 上分解成g个不可约多项式之乘积 ，()=厂1()… ()，其中： ()(1 g)是 z 中不同的首一多项式．而g为P在0 中的不同素理想因子的个数．令ni=degf；()则 十…+n= ，2． (2)记 为 ()在Q 的代数闭包Q 中的一个根，则 对于素除子 (1 i g)的局部化为 (同构 于)K 兰Q ()(1 i g)．并且Q ()对于Q 的分歧指数和剩余类域分别为P( ／p)和f(P／／p)，而 f(Pi／P)=n． 收稿日期：2009一ll一04 基金项 目：国家 自然科学基金项目 作者简介：占金虎 (1978一)，男，陕西渭南人，西安市铁一中学教师，硕士，从事数论研究 l0 高 师 理 科 学 刊 第30卷 引理 4 (Dedekind判别式定理 ) 有理素数P在数域 中分歧的充要条件是PI ()． 引理 5 设素数P不整除”z，则P在K=Q( )不分歧且分解为pO = 尸1… ，剩余类次数 f=f(Pi／p)是使P 兰l(modm)的最小正整数(1ig)，fg= ( ，特别，素数P在Q()完全分裂当且 仅当P l(modm)． 引理6弼 如果域F含有m次本原单位根，那么多项式g()=X 一“在上可约当且仅当U∈F ，n是 的约数． 定理 设F：Q( )，P为奇素数， “∈z，(p，10)：l，(p，“)=1． (1)当、、P【l／／=1和fl：l时，若Plm(od3)，则pOF=尸0 只，厂(／p)=l(i：0，l，…，5)； 2 P／3 若P；2(mod3)，贝0pOF=P0 尸3，厂(eo／p)