2）u）上的分解.pdfVIP

第30卷第4期 重庆工商大学学报 (自然科学版) 2013年4月 V0l_30 N0．4 JChongqingTechnolBusinessUniv．(NatSciEd) Apr．2013 文章编号：1672—058X(2013)O4—0008—05 素数p在 Q( )上的分解 唐敏卫，向巨波 (重庆师范大学 数学学院，重庆401331) 摘 要：设Q为有理数域，F=Q( )(其中f是奇素数，u∈Ⅳ)，0，为域F对应的代数整数环．运用局部 域的方法彻底解决了任意素数p在代数整数环0，中的素理想的分解问题，并且完全确定素数P在 O，中可 能出现的素理想分解的具体形式． 关键词：素理想；局部域；Eisenstein多项式 中图分类号：0156 文献标志码：A 如果F是含m次本原单位根的代数数域，文献 [1]完全解决了F( )中素理想分解问题，文献[2]通 过平移扩张的方法讨论了该问题．当F=Q(u)时，文献[3]解决了根号次数f和f，进而文献[4]解决了F ： Q( )中PIM中素数P在 F中的分解情况．此处在前人的基础上彻底解决了所有素数P在 F中的分解 情况． 此处将采取一些记号：Q为有理数；Q 为p-adic局部域；p为素数；其他记号见文献 [5]． 引理 1 设 (p，z)：1，(P，)=1，则 u(modP)有解当且仅当M∈Q． 引理2∞ 设 (p，“)=l，-~--U(modP)当且仅当 ∈ ． 引理35【 设E，F是代数数域，rt=[F：E]，F=E()，Ol∈0，．f()= +e1 +…+c∈0E[]是Ol 在E上的极小多项式，P”为E上的素理想． 1)如果 )在局部域E上分解成g个不可约因式的乘积 )= (x)A()·- ()，其中 ()(1≤ i≤g)是E []中不同的首一不可约多项式，则g为P”在 O，中的不同素理想因子的个数，n+n+…+7／, =n，其中n=degf~()． 2)设 为E 的代数闭包 中的一个根，P 为E上素除子P”在F上的扩张，则F，，兰E ( )(1≤i≤ ． g)，eA=rt，e和 分别为F ／E 的分歧指数和剩余类次数． 引理4r 如果域F含有m次本原单位根，则多项式g(x)= 一11,在F上可约的充要条件是 “∈ ，nl 引理56【 设L／K是代数数域的扩张，n=[L：Q]．P为0 中的素理想，且 POL= e1三2… ，e≥1，g≥1 B 为PO在0 中的素理想分解，e=e(B／P),fi=，(B／P)，1≤ ≤g，则： g ∑e ：n i=1 F=Q( )中，u∈Q 或者u∈Q，在文献 [3]已经彻底解决了，所以只需要讨论 u譬Q且 u Q 的 情况． 收稿 日期：2012—10—16；修回日期：2012—10—31． 作者简介：唐敏卫(1988．)，男，湖南张家界人，硕士研究生，从事代数数论的研究 第4期 唐敏卫，等：素数P在 口( )上的分解 9 引理6 设E=Q(~／)，F=E( )(其中 为z次本原单位根)，如果素数P m，且P为E中的素理想， 则pO，=PP…Ps PIp)=，为满足P ；1(roodz)中最小的正整数，s= (m)／f． 证明 由于d(F／E)=m ／兀P神P_¨，而P m，所以由Dedekind判别式定理知P在F中不分歧， pIm 即(lp)