[论文解读] Constructing the Primitive Roots of Prime Powers

Nathan Jolly|ArXiv.org|Sep 12, 2008

History and Theory of Mathematics参考文献 7被引用 3

一句话总结

本文提出一种构造性方法，仅使用模 $p^{k+1}$ 下的加法与乘法，从 $p^k$ 的所有原根生成 $p^{k+1}$ 的所有原根，其中 $p$ 为奇素数且 $k \geq 2$。关键结果表明，对每个 $p^k$ 的原根 $g$，$p$ 个值 $g + tp^k$（$0 \leq t \leq p-1$）均为 $p^{k+1}$ 的原根，且这些值共同生成所有 $\varphi(\varphi(p^{k+1}))$ 个原根，无重复。

ABSTRACT

We use only addition and multiplication to construct the primitive roots of $p^{k+1}$ from the primitive roots of $p^{k}$, where $p$ is an odd prime and $k$ is at least 2.

研究动机与目标

• 提供一种显式且初等的构造方法，仅使用加法与乘法生成 $p^{k+1}$ 的所有原根，避免使用幂运算。
• 将 Niven 等人对 $p^2$ 的构造方法扩展至更高阶素数幂 $p^{k+1}$（$k \geq 2$）。
• 证明 $p^{k+1}$ 的所有 $\varphi(\varphi(p^{k+1}))$ 个原根均可从 $p^k$ 的原根通过线性提升 $g + tp^k$ 生成。
• 建立该构造恰好产生 $p \cdot \varphi(\varphi(p^k))$ 个不同的原根，与已知数量 $\varphi(\varphi(p^{k+1}))$ 一致。

提出的方法

• 对每个 $p^k$ 的原根 $g$，在模 $p^{k+1}$ 下生成 $p$ 个候选值 $g + tp^k$（$0 \leq t \leq p-1$）。
• 使用 Hensel 引理分析方程 $x^{\varphi(p^k)} \equiv 1 \pmod{p^{k+1}}$ 的解的提升行为，表明当 $k \geq 2$ 时，$g$ 不会提升为解。
• 通过证明 $\mathrm{ord}_{p^{k+1}}(g + tp^k) = \varphi(p^{k+1})$ 来验证其阶，关键在于排除阶为 $\varphi(p^k)$ 的可能性，依赖于导数条件 $f'(g) \equiv 0 \pmod{p}$。
• 验证构造出的值 $g + tp^k$ 在模 $p^{k+1}$ 下互不相同，且覆盖所有原根无重复。
• 确认构造出的原根总数 $p \cdot \varphi(\varphi(p^k))$ 等于 $\varphi(\varphi(p^{k+1}))$，确保构造的完备性。
• 利用 $g$ 是 $p^k$ 的原根且 $k \geq 2$ 的事实，确保 $g^{\varphi(p^k)} \not\equiv 1 \pmod{p^{k+1}}$，从而排除阶为 $\varphi(p^k)$ 的可能性。

实验结果

研究问题

• RQ1 能否仅使用加法与乘法（避免幂运算）从 $p^k$ 的原根构造出 $p^{k+1}$ 的所有原根？
• RQ2 当 $k \geq 2$ 时，每个 $p^k$ 的原根 $g$ 是否均通过形式 $g + tp^k$ 生成 $p$ 个不同的 $p^{k+1}$ 原根？
• RQ3 为何提升 $g + tp^k$ 不会产生模 $p^{k+1}$ 下阶为 $\varphi(p^k)$ 的元素？这一性质如何确保原根的性质？
• RQ4 此类构造出的原根数量是否等于已知的 $\varphi(\varphi(p^{k+1}))$？
• RQ5 条件 $k \geq 2$ 在确保构造有效性（特别是与 Hensel 引理的关系）中起什么作用？

主要发现

• 对每个满足 $k \geq 2$ 的 $p^k$ 的原根 $g$，所有 $p$ 个值 $g + tp^k$（$0 \leq t \leq p-1$）均为 $p^{k+1}$ 的原根，且不产生其他原根。
• 该构造恰好生成 $p \cdot \varphi(\varphi(p^k))$ 个不同的 $p^{k+1}$ 原根，与已知数量 $\varphi(\varphi(p^{k+1}))$ 一致。
• $g + tp^k$ 模 $p^{k+1}$ 的阶绝不会是 $\varphi(p^k)$，这是确保其为原根的关键，该结论通过 Hensel 引理及导数 $f'(g) \equiv 0 \pmod{p}$ 的消失性条件得以证明。
• 当 $k=1$ 时该构造失效，因为导数条件不足以阻止提升，这解释了为何要求 $k \geq 2$。
• 该方法完全构造性且初等：仅使用加法与乘法，避免幂运算，适用于手算。
• 该结果将 Niven 等人对 $p^2$ 的构造推广至所有满足 $k \geq 2$ 的 $p^{k+1}$，提供了一致的提升机制。