×

关于艾森斯坦的评论。 (英语) Zbl 1326.11064号

设(K)是一个度为(d)的数字字段,(M_K)是(K)的绝对值集,并将其归一化以扩展(Q)的标准绝对值。(M_K\)-除数\({mathcal A}=(A_v){v\ in M_K}\)是(M_K \)的实值函数,在M_K中的每一个\(v)都关联一个正数\(A_v\),因此除了有限多个\(v\)之外,我们都有\(A_ v=1\)。\(M_K\)-除数\(\mathcal A\)的高度定义为数量\[h({mathcal A})=\frac{1}{d}\sum_{v\ in M_K}d_v\max\{log A_v,0\},\]其中,\(d_v\)是\(v\)的绝对局部度。设K[z,w]中的(P(z,w)是不可约多项式,且(f(z)=sum_{K=0}^{infty}a_kz^K\)是一个幂级数,其系数在满足(P(z,f(z))的代数闭包\(\bar{K}\)中。然后Eisenstein的一个经典定理断言,对于M_K中的每一个v,都有一个(M_K)-除数,即(|a_K|v\leqA_v^{K+1})((K=0,1,\ldots)。
本文给出了上述结果的一个显式定量版本,改进了以往的结果。更准确地说,本文的主要结果如下:如果(P(z,w)和(f(z))如上所述,则存在有效的(M_K\[|a_k|_v\leq a_v^{k+1};\;\;(k=0,1,\ldots)\]对于任何\(v\ in M_K\)anyhow扩展到\(\bar{K}\),这样\[h({mathcal A}^{prime})\leq h_p(p)+\log 3,\quad h({mathcal A})\ leq(3n-1)h_p(p)+3n\log(mn)+7n,\]其中,\(m=\deg_zP\),\(n=\dec_wP\)和\(h_p(p)\)是\(p(z,w)\)的投影高度。此外,作者还获得了关于分支级数Laurent级数的更一般的结果,并计算了由级数的系数生成的数域的判别式的显式上界。

MSC公司:

2011年9月 多项式(不可约性等)
11国集团50 高度
12E05型 一般领域中的多项式(不可约性等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] DOI:10.1023/A:1000172615719·Zbl 1044.11593号 ·doi:10.1023/A:1000172615719
[2] 贝里赫特·科尼格尔·艾森斯坦。普劳斯。阿卡德。威斯。柏林第441页–(1852)
[3] 内政部:10.1142/S1793042108001298·Zbl 1158.11324号 ·doi:10.1142/S1793042108001298
[4] 内政部:10.1215/S0012-7094-84-05118-4·Zbl 0579.14035号 ·doi:10.1215/S0012-7094-84-05118-4
[5] Schmidt,复合数学。第33页第81页–(1992年)
[6] 数字对象标识码:10.1016/0022-314X(91)90044-C·Zbl 0764.11046号 ·doi:10.1016/0022-314X(91)90044-C
[7] 施密特,《阿里斯学报》。第56页,161页–(1990年)
[8] DOI:10.1215/S0012-7094-92-06502-1·Zbl 0770.11051号 ·doi:10.1215/S0012-7094-92-06502-1
[9] 数字对象标识码:10.1142/S179304210800147X·Zbl 1165.11035号 ·doi:10.1142/S179304210800147X
[10] 德沃克,Trans。阿默尔。数学。Soc.256页199–(1979)
[11] 伊利诺伊州罗斯J.数学。第64页第6页–(1962年)
[12] 科尔瓦哈,J.莱茵·安格尔。数学。565页,第27页–(2003年)
[13] 内政部:10.1016/j.jnt.2003.08.006·Zbl 1055.11046号 ·doi:10.1016/j.jnt.2003.08.006
[14] 数字对象标识码:10.1017/S030500410000110·doi:10.1017/S0305004100001110
[15] 翻译:Hilliker。阿默尔。数学。Soc.280第637页–(1983年)
[16] 海涅,《库格弗伦基翁理论》(1878)
[17] Bombieri,《丢番图几何的高度》(2006)
[18] 内政部:10.3336/gm.38.2.03·Zbl 1056.11019号 ·doi:10.3336/gm.38.2.03
[19] 内政部:10.1017/S0305004100045904·文件编号:10.1017/S0305004100045904
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。