[論文レビュー] Mersenne Primes in Real Quadratic Fields

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

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

ひとこと要約

この論文は、Mersenne素数を実二次体に拡張し、特に$ℝ(\sqrt{2})$に焦点を当て、一般化されたMersenne素数のノルムが有理素数である場合、$x^2 + 7y^2$として表現可能であり、$x \equiv 0 \pmod{8}$および$y \equiv \pm 3 \pmod{8}$を満たすことを証明している。これは、Artinの再帰法則を用いてLemmermeyerの結果を一般化したものである。

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.

研究の動機と目的

• 有理整数からクラス数1の実二次体へのMersenne素数の$x^2 + 7y^2$表現を一般化すること。
• クラス数1の実二次体$\mathbb{Q}(\sqrt{2})$における一般化されたMersenne素数の算術的構造を調査すること。ここで、$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$の合同条件を確立し、Lemmermeyerの結果を$\mathbb{Q}(\sqrt{2})$に拡張すること。
• Artinの再帰法則を適用し、関連するイデアルのArtin記号が自明であることを示し、これにより$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$でない））として一般化されたMersenne素数を定義する。
• ノルム$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$として表現可能であることを示す。
• Artinの再帰法則を適用し、$v_p\mathcal{O}_K$および$\bar{v}_p\mathcal{O}_K$のArtin記号を計算し、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})$におけるMersenne素数は、$x^2 + 7y^2$の形に常に表現可能か？
• RQ2 $x$および$y$の表現における必要十分な合同条件は何か？これは既知の有理Mersenne素数の結果を一般化するか？
• RQ3 Artinの再帰法則は、$\mathbb{Q}(\sqrt{2})$における$x$および$y$の合同条件の証明をどのように支援するか？
• RQ4 基本単数$1 + \sqrt{2}$は、一般化されたMersenne素数の生成およびそのノルム表現に果たす役割は何か？
• RQ5 $w_p$および$v_p$に特定のモジュラー制約があると、$N(M_{p,\alpha})$が$x^2 + 7y^2$として表現可能になるか？

主な発見

• $\mathbb{Q}(\sqrt{2})$において、$N(M_{p,\alpha})$が有理素数であれば、7を法とするモジュラー解析により、常に$x^2 + 7y^2$として表現可能であることが示された。
• $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}$が証明され、Lemmermeyerの有理Mersenne素数に関する結果が$\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$のArtin記号は自明である。$\sqrt{2} = 4$のとき$v_p \equiv 1 \pmod{7}$であり、同様に$\bar{v}_p$に対しても同様である。これにより、Artinの再帰法則の適用が確認された。
• $v_1 = w_1 = 1$を満たす再帰的関係$v_{n+1} = v_n + 2w_n$、$w_{n+1} = v_n + w_n$により、$u^n = v_n + w_n\sqrt{2}$が生成され、これは$N(M_{p,\alpha})$の計算に不可欠である。