分圆域Q（ζ40）的幂元整基.pdfVIP

第33卷第4期 南京师大学报 (自然科学版) Vo1．33No．4 2010年 l2月 JOURNALOFNANJINGNORMALUNIVERSITY(NaturalScienceEdition) Dec，2010 分圆域 Q(0)的幂元整基 施 俊 ，夏建国 (1．江苏技术师范学院数理学院，江苏 常州213001) (2．南京师范大学数学科学学院，江苏 南京 210097) [摘要] 讨论了分圆域 Q( )的幂元整基问题．证明了对于任何代数整数 Z[4o]，当O／+ 岳Z时，Z[O／]= z[ ]当且仅当a与 等价． [关键词] 幂元整基 ，分圆域，生成元，单位 [中图分类号]O156．1 [文献标识码]A [文章编号]1001-4616(2010)04-0028-05 PowerIntegralBasesofCyclotomicFieldQ( ) ShiJun ，XiaJianguo (1．SchoolofMathematicsandPhysics，JiangsuTeachersUniversityofTechnology，Changzhou213001，China) (2．SchoolofMathematicalSciences，NanjingNormalUniversity，Nanjing210097，China) Abstract：Inthispaper，wediscussthegeneratorsofpowerintegralbasesofthecycloyomicfieldQ( )．Weprovethat foranyalgebraicinteger ∈z[ ]，if + z，thenz[]=z[ ]ifandonlyif isequivalentto ． Keywords：powerintegralbases，cyclotomicfield，generator，unit 对于一个数域K，其幂元整基不一定存在，Dedekind给出了不具有幂元整基的三次域的例子．但对于 分圆域 Q( )，幂元整基总是存在的，这里 是一个n次本原单位根， 就是幂元整基的一个生成元，我们 感兴趣的是找出它的所有幂元整基生成元． 对于一个伽罗华数域 K，幂元整基生成元集在整数平移、伽罗华 自同构、乘以一1的情况下是不变的． 即若 是 的幂元整基生成元，则 ：n±rO(O／)仍是 的幂元整基生成元，其中n∈z， ∈Gal(K／Q)， 我们称 与OL等价． Bremner…猜测分圆域Q(srp)(P为奇素数)的幂元整基生成元在等价意义下仅有 与1／1+ 两个， 并证明了P=7时结论成立．RobertsonL_2证明了Bremner猜测在P≤23且P≠17时成立．Robertson_3J 找出了2的幂次分圆域的所有幂元整基．本文研究的是分圆域Q( )，我们要证明的是：当O／+ 盛z时， z[O／]=Z[4o]当且仅当 与 等价．以下我们用 表示 ．G表示Gal(Q()／Q)． 1 主要结论研究 由参考 文献 [4]，G = {rO】，or3，7，9，l1，or13，17，or19，rO2l，23，27，29，O-31，33，37，39}，其 中 or()= ，‘进而G=(or一)X(or)×(。)． 引理 1 设 是zE~]的单位，则 ／ 是 ]的单位根． 引理2 设 ∈z[]，H={3，7，9，11，13，17，19，21，23，27，29，31，33，37，39}，则下列几个结论是 等价的： (i)Z[]：Z[]。 收稿 日期 ：200912．16． 基金项 目：国家 自然科学基金、江苏省 自然科学基金(BK2007220)． 通讯联系人 ：夏建国，博士 ，教授 ，研究方 向：代数数论．E—mail：xiajianguo@hotmail．com 一 28 —