关于子群指数和及孤立数的一些新结果.docxVIP

2007上海大学硕士学位论文 2 Y．V．Malykhin从新的角度出发，研究了Heilbronn型子群指数和，并取 得比较好的结果； 1．1．2设G为名的一个子群，且#G=t．n∈名，我们把s(a，G)= ExeGeg(口z)叫做遍历子群G的指数和．并且有 s(G)。罂笏阢，G)l 为了求得S(G)的最好的界，我们要借助于以下同余等式解数的估计 瓦(G)：=嚣{(z1，z2 Z2k)：。l+ +z膏=尘七+l+ +=2k(mod q)如∈G} 引理0 (主要的不等式)．对于任意的正整数，七，Z，我们有以下不等式成立 s(c)≤(qTk(G)Tt(G))1／2Mtl—1／t一1／z 同样的不等式可参阅I。M。Vinogradov([13】)，也可以在A．A．Karatsuba([11】f12】) 的文章里找到，在s．V．Konyagin和I．E．Shparlinski[10]的书里，有这个不等式 严格的证明和推理． 注： 在引理0里，我们取k=z=1，我们可以得到s(c)≤min(t，ql／2)，(因 为乃(G)=亡)，所以引理0在我们的实际应用当中是非常方便的． 1．1．2．1 我们先来考虑最为简单的情形，当q=P时∞为素数)，我们发 现Gauss slimsa，P)=∑：：1 ep(a=n)可以很简单用我们的遍历子群指数和 来表示，令G={扩：z∈零)，有 (Q，P)=1+(几，P～1)s(a，G) 利用S．A．Stepanov方法[23】对死(G)的估计，D．R．Heath-Browm和S．V．Konyagin 得到下面的著名的指数和的估计G c磊 s(G)《{p1／8t5／8，讧 p1／3tp1／2； lpU4∥4 if pV2tp2／3； 因此当tpV3+‘时，有非显然估计s(c)《切一6(“，在这之前的最好的估计 是由I．E．Shparlinski得到的t矿／7牝 2007上海大学硕士学位论文 3 对于任意的正整数k，S．V．Konyagin得到了死(G)的界，从而得到当 tpl／珠时，有以下不等式成立 s(a)≤C(E)扣一6(‘) (1) 对于一般的的情况可以在Bourgain的文章里【1】得到： 定理(Bourgain，【1】)如果G c毛，￡0，和t旷，则有下面不等式成立 S(G)≤C(e)幻一6(‘) 注：在文章【1】和[2】里的6(E)比较小． 1．1．2．2设G为任意的一个子群％，#G=￡，当tP时，比较容易的有 S(G)=0，我们假设在tP下，Y．Malykhin[17]得到以下结果 当q=p2时 定理0．1 Tz(G)《pX／2t2 i，pl／2tP 死(G)《{矿74t772， 汀 p172。矿74(1。gp)一l-I矿／2 logp，if 矿／4(109p)-1t弘 ∞7t26)1／36， if ／／10tp3／4009p)一1： pl／9t5／6(109p)1／9． if p3／4(109p)一1tp719； s(c1《 ∽t17)1／24(109p)m／2， 矿／8tm／，  if pT／9tp4／5： if p4／5亡p； 从Malykhin的定理， if]不难看出只有当矿／10tP时，才可以得到s(a) 的非显然界． 2DD7上海大学硕士学位论文 4 ——————————————————————————————————一_一—— 另外利用【171的111理1，作者得到Sh(a)《(^，P一1)1／知啪，／X而改 进了J．C·Puchta的结果，只是，由【1T]的结果很轻易it可以得出鼠(o)《(^，P一1)1／2p7／8． 为了下面文章表达的方便，首先取(定理1．1．1的证明中将阐述这样取法的原 因) 秒，=箬善 钕=p和硒蕊丽(109p)一再爿孙丽 注意到当七≥4时，有老1，也就是说墩(忌为正整数)为关于七的 严格单调递减函数． 对于任意的正整数k≥4，我们得到了死(G)一般的表达式 定理1．1．1 当q=p2，七≥4时 仁嚣：)lo酝‘；iff笔篡； 定理1．1．2 当pi／3+gtp时，可以得到S(G)的非显然界． 定理1．1．3 当口=P时，类似的有 疋(G)《≯。2+2卜‘ z，t≤囟(1。gp)一1j南 另外瓦(G)的估计和Erdos．Szemeredi猜想有着比较密切的联系． Erdos-Szemeredi提出以下猜想 猜想对于任意的非空的有限集合A c Z和对于任意的∈0，是否有 maX{IA+AI，IAAI，》e IAl2一‘ (2) 他们证明了，对于一些Q0 max{IA+AI，IAAl)》。lAll扣 M-Nathanson[19]得到了a=1／31，最近由J．Solymosi得到了Q=3／11一E 2007上海大学硕士学位论文 5 很自然的，我们不禁要问：