F=Q（ξ7＋ξ7^-1）中素理想P在F（7（√）μ）中的分解.pdfVIP

辽宁大学学报 JoURNAL oF uAoNING UNIvERSITY 自然科学版 NaturalSciencesEdition 第4l卷 第3期 2014年 Vo1．41 No．3 2014 F=Q( + )中素理想P在 F( )中的分解 曲 洋，曲 艺 (辽宁大学 数学院，辽宁 沈阳 110036) 摘 要：代数数论是研究代数数域(即有理数域的有限次扩域)和代数整数的--Iq学问，其中素理想分解问题 是代数数论中较为重要的课题，尤其是判断素理想在域的有限扩张中的分解状况具有重要意义．借鉴其他素 理想分解的理论基础上，讨论了F=Q( + )中素理想P在F( ，，+ )中的分解条件以及分解形式． 关键词：素理想分解 ；素的；完全分裂 ；全分歧的 中图分类号：O156．2 文献标志码：A 文章编号：1000—5846(2014)03-0205-04 TheDecompositionofPrimeIdealPinF=Q(岛 + ) overDomainF ．考1+考i1、 QuYang，QUYi (DeptartmentofMathematics，LiaoningUniversity，Shenyang110036，China) Abstract： Algebr~cnumbertheoryishtestudyofalgebraicnumberfieldandaknowledgeof algebraicinteger．Itisavery impo~anttopichtatdecompositionofprimeidealinalgebraicnumber theory．Especiallyimportanttojudgelotsofhteissueofdecompositionofprimeidealinhte limitedextended．Inhtispaper，throughsutdyingohterdecompositionbasedonhtehteoryofprime ideal，htedecompositionofprimeidealPinF=Q(7+ )overdomain，( ， + )has beenresolvedanddiscussed． Keywords： primeidealdecomposition；prime；fullyramified；completesplitting 0 引言 设F为域，P为R的极大理想(素理想)，R为其赋值环． -x／为F上不可约多项式， ∈R，‘为 素数． 为 。次本原单位根，与域F的特征互素．若 为 。次Gal。is扩张．则有下述： 收稿 日期：2014—06—05 作者简介：曲洋(1982一)，女，中级实验师，工程硕士，从事计算机技术方向 曲艺(1987一)，女，硕士研究生，从事代数研究． 206 辽宁大学学报 自然科学版 2014年 引理 1E6] (P)在 中的分解只能为下列三种形式：(1)全分歧的，即(P)=p；‘(2)素的，即(P) =p；(3)完全分裂，即(P)：PP ，…，P． 引理2 设P，P：为(p)在F()中的任意两个扩张，则P。，P在F( ，)中的分解形式相 同，其中 为 。次本原单位根． 引理3 (p)在 F( )中为全分歧的(素的)充要条件 ：(p)在 (。)中的某一扩张在 F( ， )中为全分歧的(素的)． 引理4 设 为代数数域 F关于素理想P的完备化域，X‘一 在 上分解为 ，．个不可约因 式的乘积 ： X‘一 =pl(x)p2(X)，…，P，(X)