6
$\开始组$

美元$是既不是正方形也不是正方形的整数$-1$.Artin猜想表明有无穷多个素数美元$对于其中美元$是基元根模美元$我的问题是文献中是否有关于

(1) (推测的)大小最小的此类素数美元$.

(2) 有条件或无条件的上限或下限。

关于(2),我们可以追查Hooley论文中的隐含常数(Hooley,Christopher(1967))。“关于阿廷的猜想。”J.Reine Angew。数学。225,209-220),以表明他的渐近必须在之后开始$x\geq x_0=|a|^{C\log\log 3|a|}$对于一些绝对的$C>0$因此,在GRH下,最小素数最多$$|a|^{C\log\log 3|a|}$$

$\端组$
  • $\开始组$ 启发性地,人们可能会期望有一个常数$k$,这样最小素数最多为$|a|^k$。不幸的是,我不知道这是否出现在文献中。我也愿意冒险说$|a|^{2+\epsilon}$可能是正确的界限。 $\端组$
    ——约书亚Z
    2021年3月16日12:43
  • $\开始组$ 不使用实质性内容的上限是不可能的。如果每个非$-1$的整数$a$或一个完美平方都是一个本原根模,至少有一个素数$p$不是费马素数,那么可以显示每个非$-1-$的整数$a$或完美平方是一个无穷多素数的本原根模数,这是Artin本原根猜想的定性形式。这类似于证明当$(a,m)=1$时,如果至少有一个$p\equiva\bmodm$当$(a,m)=1$时,存在无穷多个素数$p\Equiva\fmodm$。所以得到一个素数一般来说很难! $\端组$
    ——康拉德
    2021年3月19日23:11
  • $\开始组$ 这就是我写条件句时的想法。 $\端组$
    ——Pi博士
    2021年3月20日10:36

1答案1

重置为默认值
8
$\开始组$

人们可能会猜得更小。如果p=2q+1,其中p和q是素数,则a是基元根mod p IFF(a/p)=-1,p不除a+1。一旦测试了c log|a|loglog|a|中的c log|a,人们就会从通常的启发式中猜出有这样一个素数p。因此,我们希望找到这样的p,即<<log|a|(log-log|a|)^3。对于大多数人来说,前100个苏菲-日尔曼素数中的一个会起作用;事实上,我很怀疑你能计算出一个他们不会计算的例子。

$\端组$
2
  • $\开始组$ 这太棒了,非常感谢!如果$(p-1)/2$是两个不同素数的乘积,你猜$\log|a|(\log_2|a|)^3$会怎么样?我会天真地猜测$\log|a|(\log_2|a|)^a$代表$a<3$。我认为一般来说,实际大小应该是$o(\log|a|)$,但不知道如何证明这一点。 $\端组$
    ——Pi博士
    2021年3月20日11:35
  • 1
    $\开始组$ 由于最小素二次残差mod p的猜想是<<logp-loglog-p $\端组$ 2021年3月21日12:36

你的答案

单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览标记的其他问题问自己的问题.