[论文解读] 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] 或其立方相同的问题。通过连分数与类群理论，作者证明了对无穷多个 N = 4a² + 1（a 为大于 3 的奇数），单位指数 e = 1；而对无穷多个 N = a² ± 4（a 为大于 3 的奇数），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，使得 ℤ[√N] 的基本单位与整数环的基本单位相同。
• 利用连分数等价性与代数数论，提供 e = 1 和 e = 3 的显式无穷族 N。
• 通过类群结构，建立 (±√N ± 1)/4 与 √N 的等价性与 ℤ[√N] 中单位指数 e 之间的联系。

提出的方法

• 使用连分数展开分析实二次无理数的等价性，特别是 (±√N ± 1)/4 与 √N 的等价性。
• 应用实二次域中序的类群理论，重点关注从 Cl(ℤ[√N]) 到 Cl(𝒪_N) 的自然映射的阶为 3 的核。
• 采用如下判别准则：当且仅当基本单位不属于 ℤ[√N] 时，e = 3，这恰好发生在理想 [4, √N + 1] 不是主理想时。
• 利用连分数的等价性判断 (±√N ± 1)/4 是否与 √N 等价，这等价于主理想条件。
• 应用 Erdős 的一个定理，证明当 a 为奇数时，N = 4a² + 1 和 N = a² ± 4 的形式中存在无穷多个无平方因子值。
• 分析范数方程 x² - Ny² = ±4（其中 x, y 为奇数），以判断基本单位是否属于 ℤ[√N]，并将其与 e = 1 或 e = 3 联系起来。

实验结果

研究问题

• RQ1 对于哪些无平方因子且满足 N ≡ 5 mod 8 的 N，ℤ[√N] 的基本单位与最大整环的基本单位相同？
• RQ2 N 满足何种条件时，ℚ(√N) 的基本单位属于子环 ℤ[√N]，从而导致 e = 1？
• RQ3 (±√N ± 1)/4 与 √N 在连分数意义下的等价性如何与 ℤ[√N] 中的单位指数 e 相关联？
• RQ4 能否构造出无穷多个 N，使得 e = 1 或 e = 3 分别成立，且满足 N ≡ 5 mod 8？
• RQ5 ℤ[√N] 的类群在判断最大整环的基本单位是否属于该子环中起什么作用？

主要发现

• 对无穷多个大于 3 的奇数 a，N = 4a² + 1 为无平方因子且满足 e = 1，意味着 ℚ(√N) 的基本单位属于 ℤ[√N]。
• 对无穷多个大于 3 的奇数 a，N = a² + 4 为无平方因子且满足 e = 3，意味着 ℚ(√N) 的基本单位不属于 ℤ[√N]。
• 对无穷多个大于 3 的奇数 a，N = a² - 4 为无平方因子且满足 e = 3，同样意味着基本单位不属于 ℤ[√N]。
• 在连分数意义下，(±√N ± 1)/4 与 √N 等价的条件等价于 e = 3。
• ℚ(√N) 的基本单位 ε 满足范数方程 x² - Ny² = ±4（其中 x, y 为奇数）当且仅当 e = 3。
• 自然映射 Cl(ℤ[√N]) → Cl(𝒪_N) 的核是平凡的当且仅当 e = 3；该核是阶为 3 的循环群当且仅当 e = 1。