[论文解读] Solvability criteria for the equation $x^q=a$ in the field of $p$-adic numbers

J. M. Casas, B. A. Omirov+1 more|arXiv (Cornell University)|Feb 10, 2011

advanced mathematical theories参考文献 14被引用 11

一句话总结

本文为所有 $ q $ 建立了在 $ p $-进数域 $ \mathbb{Q}_p $ 中方程 $ x^q = a $ 的显式可解性准则，将一般情况约化为两个基本情形：(i) $ q $ 不被 $ p $ 整除，以及 (ii) $ q = p $。当解存在时，本文提供了构造性算法来求解，并证明了每个 $ p $-进数均可表示为 $ x = \varepsilon\delta y^q $ 的形式，其中 $ \varepsilon $ 和 $ \delta $ 取自依赖于 $ p $ 的特定有限集合。关键贡献在于对 $ \mathbb{Q}_p $ 中 $ q $ 次幂可解性的完整、算法化的刻画。

ABSTRACT

We establish the solvability criteria for the equation $x^q=a$ in the field of $p$-adic numbers, for any $q$ in two cases: (i) $q$ is not divisible by $p$; (ii) $q=p$. Using these criteria we show that any $p$-adic number can be represented in finitely many different forms and we describe the algorithms to obtain the corresponding representations. Moreover it is showed that solvability problem of $x^q=a$ for any $q$ can be reduced to the cases (i) and (ii).

研究动机与目标

• 为任意 $ q $ 在 $ \mathbb{Q}_p $ 中建立方程 $ x^q = a $ 的完整可解性准则。
• 将 $ x^q = a $ 的一般可解性问题约化为两个基本情形：$ q $ 不被 $ p $ 整除，以及 $ q = p $。
• 提供当解存在时计算解的构造性算法。
• 描述任意 $ p $-进数表示为 $ x = \varepsilon\delta y^q $ 的所有可能形式，其中 $ \varepsilon $、$ \delta $ 属于显式定义的有限集合。
• 将关于 $ x^2 = a $ 的已知结果推广至 $ p $-进域中的高次方程 $ x^q = a $，对代数中的分类问题具有相关性。

提出的方法

• 使用 $ p $-进赋值和 $ p $-进展开来分析 $ x^q = a $ 的结构。
• 应用离散对数和模 $ p^k $ 的原根，将可解性条件约化为指数上的同余条件。
• 利用 Hensel 引理和提升技巧，在 $ p $-进设定下迭代构造解。
• 定义有限集合 $ \mathcal{E}_1 $ 和 $ \mathcal{E}_2 $，分别作为 $ p $-进单位和 $ p $-幂的代表元集合，以参数化所有 $ q $ 次幂类。
• 通过代换 $ y = x^{p^s} $、$ z = x^{p^{s-1}} $ 等，将一般情形 $ q = m p^s $（其中 $ p \nmid m $）约化为对两个基本情形的连续应用。
• 使用定理 3.7（关于 $ p $ 次幂剩余）和定理 3.2（关于 $ p \nmid q $ 时的 $ q $ 次幂剩余）作为约化与构造的基础工具。

实验结果

研究问题

• RQ1 当 $ q $ 不被 $ p $ 整除时，方程 $ x^q = a $ 在 $ \mathbb{Q}_p $ 中有解的充要条件是什么？
• RQ2 方程 $ x^p = a $ 在 $ \mathbb{Q}_p $ 中的可解性准则是什么？解如何显式构造？
• RQ3 如何将 $ x^q = a $ 的可解性约化为两个基本情形 $ p \nmid q $ 和 $ q = p $？
• RQ4 所有 $ p $-进数中 $ q $ 次幂的集合的结构是什么？每个 $ a \in \mathbb{Q}_p $ 如何表示为 $ \varepsilon\delta y^q $？
• RQ5 对于给定的 $ p $，哪些显式有限集合 $ \mathcal{E}_1 $ 和 $ \mathcal{E}_2 $ 可以参数化 $ p $-进数中非 $ q $ 次幂分量？

主要发现

• 当 $ q $ 不被 $ p $ 整除时，方程 $ x^q = a $ 在 $ \mathbb{Q}_p $ 中可解当且仅当模 $ \varphi(p^k) $ 的指标 $ \mathrm{ind}_r(a) $ 被 $ \gcd(q, \varphi(p^k)) $ 整除，其中 $ r $ 是模 $ p^k $ 的原根。
• 当 $ q = p $ 时，方程 $ x^p = a $ 在 $ \mathbb{Q}_p $ 中可解当且仅当 $ a $ 满足定理 3.7 的条件：$ \gamma(a) \geq 0 $，且 $ a $ 模 $ p^2 $ 的首项属于特定的非 $ p $ 次幂剩余集合。
• 任意 $ p $-进数 $ a \in \mathbb{Q}_p $ 均可唯一表示为 $ a = \varepsilon \delta y^p $，其中 $ \varepsilon \in \mathcal{E}_1 $，$ \delta \in \mathcal{E}_2 $，且 $ \mathcal{E}_1 $ 和 $ \mathcal{E}_2 $ 是依赖于 $ p $ 的有限集合。
• 当 $ p = 3 $ 时，集合 $ \mathcal{E}_1 = \{1, 4, 5\} $，$ \mathcal{E}_2 = \{1, 3, 9\} $，因此每个 $ a \in \mathbb{Q}_3 $ 均可表示为 $ a = \varepsilon \delta y^3 $，其中 $ \varepsilon \in \mathcal{E}_1 $，$ \delta \in \mathcal{E}_2 $。
• 当 $ p = 5 $ 时，$ \mathcal{E}_1 = \{1, 11, 12, 13, 14\} $，$ \mathcal{E}_2 = \{1, 5, 25, 125, 625\} $，因此每个 $ a \in \mathbb{Q}_5 $ 均有唯一的表示形式 $ a = \varepsilon \delta y^5 $。
• 一般情形 $ q = m p^s $（其中 $ p \nmid m $）可约化为先解 $ y^m = a $，再依次解 $ z^p = \tilde{y} $、$ w^p = \tilde{z} $ 等，其可解性条件继承自两个基本情形。