[论文解读] Mersenne Primes in Real Quadratic Fields

Sushma Palimar, B. R. Shankar|arXiv (Cornell University)|May 2, 2012

Analytic Number Theory Research参考文献 9被引用 4

一句话总结

本文将梅森素数推广至实二次域，聚焦于$\mathbb{Q}(\sqrt{2})$，并证明当广义梅森素数的范数为有理素数时，其可表示为$x^2 + 7y^2$，其中$x \equiv 0 \pmod{8}$且$y \equiv \pm 3 \pmod{8}$，利用阿廷互惠律推广了莱默迈尔的结果。

ABSTRACT

The concept of Mersenne primes is studied in real quadratic fields of class number 1. Computational results are given. The field $Q(\sqrt{2})$ is studied in detail with a focus on representing Mersenne primes in the form $x^{2}+7y^{2}$. It is also proved that $x$ is divisible by 8 and $y\equiv \pm3\pmod{8}$ generalizing the result of F Lemmermeyer, first proved in \cite{LS} using Artin's Reciprocity law.

研究动机与目标

• 将梅森素数在形式$ x^2 + 7y^2 $中的表示从有理整数推广至类数为1的实二次域。
• 研究$\mathbb{Q}(\sqrt{2})$中广义梅森素数的算术结构，其定义为$M_{p,\alpha} = \frac{\alpha^p - 1}{\alpha - 1}$，其中$\alpha \in \mathcal{O}_K$不可约且$\alpha - 1$为单位元。
• 在表示$N(M_{p,\alpha}) = x^2 + 7y^2$中建立对$x$和$y$的同余条件，将莱默迈尔的结果推广至$\mathbb{Q}(\sqrt{2})$。
• 应用阿廷互惠律证明相关理想之阿廷符号为平凡，从而支持对$x$和$y$的同余结果。

提出的方法

• 在类数为1的实二次域$K = \mathbb{Q}(\sqrt{d})$中定义广义梅森素数为$M_{p,\alpha} = \frac{\alpha^p - 1}{\alpha - 1}$，其中$\alpha \in \mathcal{O}_K$不可约且$\alpha - 1$为单位元（非$\pm 1$）。
• 利用范数$N(M_{p,\alpha}) = N\left(\frac{\alpha^p - 1}{\alpha - 1}\right)$判断其在$\mathbb{Z}$中的素性，视其为有理素数。
• 对于$K = \mathbb{Q}(\sqrt{2})$，分析满足$u^n = v_n + w_n\sqrt{2}$的$v_n$和$w_n$的递推关系，其中$u = 1 + \sqrt{2}$为基本单位。
• 计算$N(M_{p,\alpha}) \equiv 2^{\frac{p+3}{2}}w_p - 2^p - 1 \pmod{7}$，并利用模运算证明$N(M_{p,\alpha}) \equiv 1$或$4 \pmod{7}$，从而表明其可表示为$x^2 + 7y^2$。
• 通过计算理想$v_p\mathcal{O}_K$和$\bar{v}_p\mathcal{O}_K$的阿廷符号，应用阿廷互惠律，利用模7约化证明其符号为平凡。
• 利用模8和模16的同余分析证明$x \equiv 0 \pmod{8}$且$y \equiv \pm 3 \pmod{8}$，利用$x$为偶数、$y$为奇数且$x^2 \equiv 0 \pmod{8}$的性质。

实验结果

研究问题

• RQ1 当$\mathbb{Q}(\sqrt{2})$中梅森素数的范数为有理素数时，其是否总能表示为$x^2 + 7y^2$的形式？
• RQ2 此类表示中对$x$和$y$的必要同余条件是什么？这些条件是否推广了有理梅森素数的已知结果？
• RQ3 阿廷互惠律如何促进对$\mathbb{Q}(\sqrt{2})$中$x$和$y$同余条件的证明？
• RQ4 基本单位$1 + \sqrt{2}$在生成广义梅森素数及其范数表达式中起什么作用？
• RQ5 是否存在对$w_p$和$v_p$的特定模约束，以确保$N(M_{p,\alpha})$可表示为$x^2 + 7y^2$？

主要发现

• 在$\mathbb{Q}(\sqrt{2})$中，若$N(M_{p,\alpha})$为有理素数，则其总可表示为$x^2 + 7y^2$，此结论由模7的分析得出。
• 当$p \equiv 1 \pmod{6}$时，范数$N(M_{p,\alpha}) \equiv 1 \pmod{7}$；当$p \equiv 5 \pmod{6}$时，$\equiv 4 \pmod{7}$，二者均可表示为$x^2 + 7y^2$。
• 已证明$x \equiv 0 \pmod{8}$且$y \equiv \pm 3 \pmod{8}$，将莱默迈尔关于有理梅森素数的结果推广至$\mathbb{Q}(\sqrt{2})$。
• 由范数$\equiv -1 \pmod{16}$推导出同余$y^2 \equiv 9 \pmod{16}$，从而推出$y \equiv \pm 3 \pmod{8}$。
• 理想$v_p\mathcal{O}_K$的阿廷符号为平凡，因当$\sqrt{2} = 4$时$v_p \equiv 1 \pmod{7}$，同理对$\bar{v}_p$亦然，确认阿廷互惠律的适用性。
• 递推关系$v_{n+1} = v_n + 2w_n$，$w_{n+1} = v_n + w_n$，初始值$v_1 = w_1 = 1$，生成单位$u^n = v_n + w_n\sqrt{2}$，这对计算$N(M_{p,\alpha})$至关重要。