×

有理函数域上Kummer扩张的除数类数的不可见性。 (英语) Zbl 1415.11163号

设(K)是度为(ell)的有理函数域(K={mathbbF}_q(T))上的Kummer扩张,其中({mathbb F}_q\)是阶为(q)的有限域,(ell是(q-1)的素除数。在本文的定理1.1和1.2中,作者分别获得了关于(K)的除数类数(h_K)在两种情况下不可分性的结果。
在第一种情况下,他们假设\(k)的无穷素数分支于\(k),并证明\(h_k)不可被\(ell)整除当且仅当存在\(k。此外,当\(h_K\)不能被\(\ell\)整除时,则为\(h.K\equiv 1\pmod\ell)。等价地,\(K\)的除数类数\(h_K\)可被\(\ell\)整除,当且仅当\(K\)存在至少两个在\(K\)中分支的有限素数。
在第二种情况下,假设\(k)的无穷素数在\(k)中是非族的。在这种情况下,作者证明了(h_K\)不可被\(\ell\)整除当且仅当\(K\)的分支在\(K\)中的有限素数最多为2,并且下列三种情况之一成立:
(i)
\(K\)是\(K\)上的未分类扩展;
(ii)
如果在\(k\)中分支的\(k\)只有一个有限素数,那么\(k~)的亏格可以被\(ell\)整除;
(iii)
如果正好有两个阶分别为(d_1)和(d_2)的有限素数\(P_1)和\(P_2),它们分支在\(k)中,那么\(i=\text{1}\)或\(i=\text{2}\)的\(d_i\不等于0\pmod\ell\)。
在所有三种情况下(i)、(ii)和(iii),我们都有(h_K\equiv 1\pmod\ell)。
利用上述不可分性准则,作者在定理1.3中获得了最大实分圆函数域的无穷族,其除数类数可被\(\ ell\)整除,其中\(\ ll\)是\(q-1)的素除数。更准确地说,对于{mathbb F}_q[T]中的不可约一元多项式(P(T)),let(k(Lambda{P})和(k(Lambda{P})^+)分别表示第(P)个分圆函数域及其最大实子域。设\(d)是一个偶数整数,使得\(q^{d/2}+1)是无平方的,并且\(4;|;d)if\(ell=2\)。设{mathbb F}_q[T]\中的(P_0(T)是可被(ell)整除的度为(d)的不可约一元多项式。设(alpha)是({mathbbF}_q\)的代数闭包(上划线{mathbb F}_q)中(P_0(T)的根,设(q=q^d)。然后存在一个满足以下条件的素数\(m\):
(i)
\(阿尔法不在({mathbb F}_Q)^m\中);
(ii)
\(m;|;Q-1)。
现在,对于一个非负整数,设(P_n(T)=P_0(T^{m^n}),并且设(K_n=K(sqrt[\ell]{P_n。然后,对于每个\(n\),\(K_n\)的除数类数可以除以\(\ell\)。此外,对于每个\(n),\(k(\Lambda_{P_n})^+\)都有可被\(ell\)整除的除数类数。
在论文的最后部分,作者给出了一些示例来说明他们的结果。

MSC公司:

11兰特29 类号、类群、判别式
11卢比 代数函数域的算术理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Byeon,D.,虚二次函数域的类数的不可分割性,阿里思学报。,132,4373-376,(2008年)·Zbl 1170.11042号
[2] Daub,M。;朗·J。;梅林,M。;Pacelli,A.M。;北卡罗来纳州皮提万。;Rosen,M.,类数不可被素数分割的函数域《阿里斯学报》。,150, 4, 339-359, (2011) ·Zbl 1263.11098号
[3] Ichimura,H.,关于分圆函数域最大实子域的类数II,J.数论,72,140-149,(1998)·Zbl 1073.11524号
[4] Ichimura,H.,类数不能被三整除的二次函数域,Acta Arith。,91, 2, 181-190, (1999) ·Zbl 0938.11057号
[5] Lee,Y.,有理函数域上Kummer扩张的示例,(2017年10月27日)
[6] Pacelli,A.M。;Rosen,M.,《全局函数域类数的不可分性》,亚里士多德学报。,138, 3, 269-287, (2009) ·Zbl 1242.11094号
[7] Rosen,M.,函数场中的数论,(2002),Springer·Zbl 1043.11079号
[8] Salvador,G.D.V.,代数函数场理论专题,(2006),Birkhäuser·Zbl 1154.11001号
[9] Stichtenoth,H.,代数函数域和代码,(2009),Springer·Zbl 1155.14022号
[10] C.威特曼。,-度循环函数域的除数类群的部分,《国际数论杂志》,3,2,171-190,(2007)·Zbl 1228.11170号
[11] C.威特曼。,-度循环函数域的类群,有限域应用。,13, 2, 327-347, (2007) ·Zbl 1176.11061号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。