×

纯亚循环场的微分主因子和Pólya性质。 (英语) 兹比尔1443.11225

设\(K)是一个代数数域,\(R)是它的整数环。如果(R)中多项式映射(R)的环(文本{Int}(R)子集K[X]\)具有带(deg f_n=n)的基(f_0,f_1,dots\),则该字段称为Pólya字段。这在[J.Reine Angew.Math.149,117-124(1919;JFM 47.0163.05号)]由A.奥斯特罗斯基(K\)是Pólya域当且仅当对于每个素幂\(P^a\),所有素理想与范数\(P^a\)的乘积都是主的H.赞蒂玛【马努斯克数学40,155-203(1982;Zbl 0505.12003年)]表明如果(K)是正态的,那么就可以检查分支素数(p)的这个性质。
当\(K\)是纯立方场\(L=\mathbbQ(\sqrt[3]{D})\)(无立方\(D\))的正规闭包时A.勒里奇[J.数论133,第1期,59–71(2013;Zbl 1296.11136号)]证明了(K)是Pólya域当且仅当对于(L/mathbbQ)中的每个素数分支,在范数(P)的(L)中存在一个元素。作者证明了(定理1.1),当\(L=mathbbQ(\sqrt[5]{D})\)(其中\(D\)不可被五次幂整除)和\(K\)是\(L\)的正规闭包时,相同的断言成立。
最近发布了一个更普遍的结果G.基恩特加等【海湾数学杂志,第6期,第3期,12-24页(2018年;Zbl 1404.11125号)],通过将素数(3)替换为任意奇数素数来推广Leriche定理。
接下来,作者研究了任意扩展(K/K)中的模糊理想,称理想(I<Z_K)为模糊的,如果对某些(n)有(I^n<Z_K)。定理3.1描述了这种分数理想,定理3.4描述了具有单位范数的分数理想(I)。
本文的定理6.1根据延拓(N/K)(其中K=mathbbQ(zeta_5))及其子群的不同主因子组的结构,给出了纯域(L=mathbb Q(sqrt[5]{D})(D\inmathbbZ),无五次幂因子的Galois闭包)的域(N\)的分类,和在索引\([U_K:N_{N/K}(U_N)]\)上,其中\(U_K,U_N\)分别是\(K\)和\(N\)的单位组。此分类中有13种可能的字段类型。
作者介绍了这一分类的各种结果,给出了所有类型的示例,并描述了它们在范围(2\leD\le10^3)内的统计分布。

MSC公司:

11兰特20 其他阿贝尔和梅塔贝利扩展
2009年2月11日 类号、类群、判别式
13英尺20英寸 多项式环与理想;整值多项式环
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] S.Aouisi,D.C.Mayer,M.C.Ismaili,M.Talbi和A.Azizi,三次Kummer扩张的模糊子群的3-秩;arXiv:1804.00767v4[math.NT]·Zbl 1474.11186号
[2] S.Aoussi,D.C.Mayer和M.C.Ismaili,三次Kummer扩张的相对亏格域的结构;arXiv:1808.04678v1[math.NT]·Zbl 1474.11186号
[3] Barrucand,P.和Cohn,H.,纯三次域的有理亏格、类数可除性和单位理论,J.数论2(1)(1970)7-21·兹比尔0192.40001
[4] Barrucand,P.和Cohn,H.,《关于相对立方场中主因子的备注》,J.数论3(2)(1971)226-239·Zbl 0218.2002号
[5] Besche,H.U.,Eick,B.和O'Brien,E.A.,《千年计划:构建小群体》,《国际代数计算》12(2002)623-644;https://doi.org/10.1142/s0218196702001115。 ·2013年10月10日
[6] H.U.Besche、B.Eick和E.A.O'Brien,《小型团体图书馆-小型团体图书馆》(2005年),也可在MAGMA中找到。
[7] Bosma,W.、Cannon,J.和Playout,C.,《岩浆代数系统》。I.用户语言,J.Symbolic Compute.24(1997)235-265·Zbl 0898.68039号
[8] Bosma,W.、Cannon,J.J.、Fieker,C.和Steels,A.(编辑),《岩浆功能手册》,2.24版(悉尼大学,2019年)。
[9] Cahen,P.J.和Chabert,J.L.,《整值多项式》,第48卷(美国数学学会,普罗维登斯,RI,1997)·Zbl 0884.13010号
[10] G.Gamble,W.Nickel和E.A.O'Brien,ANUPQ-\(p\)-商和\(p~)-群生成算法(2006),也可在MAGMA中获得。
[11] GAP开发小组,GAP-组、算法和编程-计算离散代数系统,4.10.1版,亚琛,布伦瑞克,柯林斯堡,圣安德鲁斯(2019);http://www.gap-system.org。
[12] Halter-Koch,F.,Eine Bemerkungüber kubische Einheiten,Arch。数学27(1976)593-595·Zbl 0352.12005号
[13] Hasse,H.,Berichtüber neuere untere suchungen und problem aus der theorie der algebraischen Zahlkörper。Teil Ia:Beweise zu Teil I,Jber。第DMV36号法令(1927年)233-311·JFM 53.0143.01号
[14] Herbrand,J.、Sur les theéorèmes du genre principal et deséaux principaux、Abh.Math。Sem.Hamburg9(1932)84-92·Zbl 0003.29404号
[15] Hilbert,D.,Die theorie der algebraischen Zahlkörper,Jber。根据DMV4(1897)175-546·JFM 28.0157.05号
[16] Honda,T.,《类数是三的倍数的纯立方域》,J.数字理论3(1)(1971)7-12·Zbl 0222.12004号
[17] Iimura,K.,纯五次域的类数可被5整除的准则,J.Reine Angew。数学292(1977)201-210·Zbl 0351.12003号
[18] Iwasawa,K.,关于代数数域的单位群的注记,数学杂志。Pures应用程序。(9)35 (1956) 189-192. ·Zbl 0071.26504号
[19] Kobayashi,H.,纯五次域的类数,J.Number Theory160(1)(2016)463-477·Zbl 1338.11100号
[20] 小林,纯五次域的类数,大阪大学知识档案馆博士论文;doi:10.18910/56049·Zbl 1338.11100号
[21] A.Leriche,《Pólya集团、军团和扩展:投降问题》,亚眠儒勒·凡尔纳皮卡第大学博士学位(2010年)。
[22] Leriche,A.,《立方、四次和六次Pólya场》,J.Number Theory133(1)(2013)59-71·Zbl 1296.11136号
[23] MAGMA开发小组,MAGMA计算代数系统,2.24-5版,悉尼(2019年);http://magma.maths.usyd.edu.au。
[24] D.C.Mayer,《纯立方数域中的微分主因子和单位》,格拉茨大学和ResearchGate数学系(1988年12月)。
[25] D.C.Mayer,二面体场的分类,马尼托巴大学计算机科学系和ResearchGate(1991年8月)。
[26] Mayer,D.C.,亚循环域的判别法,加拿大。数学。《公牛》36(1)(1993)103-107·Zbl 0739.11043号
[27] D.C.Mayer,纯五次域表;arXiv:1812.02440v1[math.NT]。
[28] Mollin,R.A.,纯场的类数,Proc。阿默尔。数学。Soc.98(1986)411-414·Zbl 2006年6月12日
[29] Neukirch,J.,代数数论,第2章,第322卷(Springer,柏林,1999),第100-202页·Zbl 0956.11021号
[30] 奥斯特罗斯基,A.,《代数中的UL ber ganzwertige Polynome》,J.Reine Angew。数学.149(1919)117-124·JFM 47.0163.05号
[31] PARI开发小组,PARI/GP计算机代数系统,版本64位2.11.1,波尔多(2018);http://pari.math.u-bordeaux.fr。
[32] 帕里,C.J.,《纯五次域中的类数关系》,交响乐。数学15(1975)475-485·兹比尔0331.12003
[33] Parry,C.J.和Walter,C.D.,素数纯场的类数,Mathematika23(2)(1976)220-226·Zbl 0364.12005号
[34] Parry,C.J.和Walter,C.D.,勘误:素数纯域的类数,Mathematika24(1977)133·Zbl 0364.12006号
[35] Pólya,G.,UL ber ganzwertige Polynome in algebraischen Zahlkörpern,J.Reine Angew。数学.149(1919)97-116·联合表格47.0163.04
[36] M.Spickermann,Ganzwertige polynome und Galois-in-variante idealeüber algebraischen Zahlkörpern,论文,Westfälische Wilhelms-Universityät Münster(1986)·Zbl 0628.12002号
[37] Taous,M.和Zekhnini,A.,假想双循环双二次数域的Pólya群,J.数字理论177(2017)307-327·Zbl 1428.11185号
[38] G.F.Voronoi,Ob odnom obobshchenii algorifma nepreryvnykh drobei(关于连分式算法的推广),博士论文,华沙(1896)·JFM 27.0170.02标准
[39] Walter,C.D.,数域Frobenius扩展中的一类数关系,Mathematika24(1977)216-225·Zbl 0358.12004号
[40] Walter,C.D.,类数为素数至3的9度纯场,《傅里叶学院学报》,格雷诺布尔30(2)(1980)1-15·Zbl 0408.2009年8月4日
[41] Williams,H.C.,《确定(Bbb Q(sqrt{D})和(Bbb-Q(\sqrt[3]{D})中的主因子》,数学。Comp.38(157)(1982)261-274·Zbl 0491.12006号
[42] Zantema,H.,数字域上的整值多项式,《数学手稿》40(2-3)(1982)155-203·Zbl 0505.12003年
[43] Zekhnini,A.,形式的虚拟双二次Pólya域(Bbb Q(sqrt{d},sqrt}),《海湾数学杂志》4(2016)182-188·Zbl 1405.11143号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。