[論文レビュー] Remarks on a Problem of Eisenstein

Roger C. Alperin|ArXiv.org|Aug 30, 2006

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

ひとこと要約

この論文は、平方自由な N ≡ 5 mod 8 に対して、ℤ[√N] の基本単位がその最大整域 ℤ[√N] またはその立方体と同じかどうかを検討するエイゼンシュタインの問題を扱う。連分数と類群論を用いて、a が奇数で 3 より大きい無限個の N = 4a² + 1 に対して単位指数 e = 1 が成り立ち、a が奇数で 3 より大きい無限個の N = a² ± 4 に対して e = 3 が成り立つことを証明した。これにより、代数的数論と連分数の同値性を用いて、このような単位の分類が解決された。

ABSTRACT

The fundamental unit of $\Z[\sqrt{N}]$ for square-free $N=5 mod 8$ is either $ε$ or $ε^3$ where $ε$ denotes the fundamental unit of the maximal order of $\Q(\sqrt{N})$. We give infinitely many examples for each case.

研究の動機と目的

• N ≡ 5 mod 8 のとき、ℤ[√N] の基本単位の単位指数 e が最大整域に対してどのようになるかを解明すること。
• 平方自由な N ≡ 5 mod 8 に対して、ℤ[√N] の基本単位が整数環の基本単位と等しい条件を特定すること。
• 連分数の同値性と代数的数論を用いて、e = 1 および e = 3 を満たす無限族の明示的構成を行うこと。
• 類群構造を通じて、(±√N ± 1)/4 と √N の同値性と単位指数 e の関係を確立すること。

提案手法

• 連分数展開を用いて、特に (±√N ± 1)/4 と √N の実二次無理数の同値性を分析する。
• 実二次体の整域における理想類群の理論を適用し、Cl(ℤ[√N]) から Cl(𝒪_N) への自然な写像の核が 3 階である部分に注目する。
• e = 3 であるための必要十分条件として、ℚ(√N) の基本単位が ℤ[√N] に属さないことがあり、これは [4, √N + 1] が主理想でないときに限り成立することを用いる。
• 連分数の同値性を用いて、(±√N ± 1)/4 が √N と同値かどうかを判定し、これは主理想条件と同値である。
• エラトステネスの定理を応用して、奇数 a に対して N = 4a² + 1 および N = a² ± 4 の形の平方自由な値が無限に存在することを示す。
• x² - Ny² = ±4 かつ x, y が奇数であるようなノルム方程式を解析し、基本単位が ℤ[√N] に属するかどうかを特定する。これにより e = 1 または e = 3 と結びつける。

実験結果

リサーチクエスチョン

• RQ1 平方自由な N ≡ 5 mod 8 に対して、ℤ[√N] の基本単位が最大整域の基本単位と等しいのはどのような場合か？
• RQ2 N にどのような条件を課すと、ℚ(√N) の基本単位が部分環 ℤ[√N] に属し、e = 1 となるか？
• RQ3 (±√N ± 1)/4 と √N の連分数的同値性が、ℤ[√N] の単位指数 e にどのように関係するか？
• RQ4 N ≡ 5 mod 8 に対して、e = 1 または e = 3 を満たす無限族の N を構成可能か？
• RQ5 ℤ[√N] の類群が、最大整域の基本単位が部分環に属するかどうかを決定する上で果たす役割は何か？

主な発見

• 奇数 a > 3 の無限個に対して、N = 4a² + 1 は平方自由であり、e = 1 を満たす。これは ℚ(√N) の基本単位が ℤ[√N] に属することを意味する。
• 奇数 a > 3 の無限個に対して、N = a² + 4 は平方自由であり、e = 3 を満たす。これは ℚ(√N) の基本単位が ℤ[√N] に属しないことを意味する。
• 奇数 a > 3 の無限個に対して、N = a² - 4 は平方自由であり、e = 3 を満たす。再び、基本単位が ℤ[√N] に属しないことを意味する。
• (±√N ± 1)/4 が連分数的同値であるという条件は、e = 3 と同値である。
• ℚ(√N) の基本単位 ε が x² - Ny² = ±4 を満たし、x, y が奇数であることは、e = 3 と同値である。
• 自然な写像 Cl(ℤ[√N]) → Cl(𝒪_N) の核が自明であることと e = 3 が同値であり、核が3階の巡回群であることと e = 1 が同値である。