[논문 리뷰] Solvability criteria for the equation $x^q=a$ in the field of $p$-adic numbers

J. M. Casas, B. A. Omirov외 1명|arXiv (Cornell University)|2011. 02. 10.

advanced mathematical theories참고 문헌 14인용 수 11

한 줄 요약

이 논문은 모든 $q$에 대해 $p$-진수체 $\mathbb{Q}_p$ 내에서 방정식 $x^q = a$의 명시적 가역성 기준을 수립한다. 일반적인 경우는 (i) $q$가 $p$로 나누어지지 않는 경우와 (ii) $q = p$인 경우로 축소되며, 해가 존재할 경우 해를 계산하는 구조적 알고리즘을 제공한다. 또한 모든 $p$-진수는 $\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$로 확장하여, 대수학적 분류 문제에 관련된 것

제안 방법

• $x^q = a$의 구조를 분석하기 위해 $p$-진 순서와 $p$-진 전개를 사용하는 것.
• 지수의 합동 조건으로 가역성 조건을 축소하기 위해 이산 로그와 모듈로 $p^k$의 원시 근을 적용하는 것.
• $p$-진 설정에서 해를 반복적으로 구축하기 위해 헨젤의 보조정리와 올림 기법을 활용하는 것.
• $p$-진 단위와 $p$-거듭제곱을 각각 대표하는 유한 집합 $\mathcal{E}_1$과 $\mathcal{E}_2$를 정의하여 모든 $q$-승 클래스를 매개변수화하는 것.
• $p \nmid m$인 경우 $q = m p^s$의 일반적인 경우를 $y = x^{p^s}$, $z = x^{p^{s-1}}$ 등의 치환을 통해 두 기본 사례에 차례로 축소하는 것.
• 감소 및 구축의 기초 도구로 제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$에 대해, $p$-진수의 비-$q$-승 성분을 매개변수화하는 명시적 유한 집합 $\mathcal{E}_1$과 $\mathcal{E}_2$는 무엇인가요?

주요 결과

• $q$가 $p$로 나누어지지 않는 경우, 방정식 $x^q = a$는 $\mathbb{Q}_p$ 내에서 가역적이며, $r$가 모듈로 $p^k$에서의 원시 근일 때, $\mathrm{ind}_r(a)$가 $\gcd(q, \varphi(p^k))$로 나누어떨어지는 것과 동치이다.
• $q = p$인 경우, 방정식 $x^p = a$는 $\mathbb{Q}_p$ 내에서 가역적이며, 이는 제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\}$이므로, $\mathbb{Q}_3$의 모든 $a$는 $\varepsilon \in \mathcal{E}_1$, $\delta \in \mathcal{E}_2$인 형태로 $a = \varepsilon \delta y^3$로 표현 가능하다.
• $p = 5$인 경우, $\mathcal{E}_1 = \{1, 11, 12, 13, 14\}$이고 $\mathcal{E}_2 = \{1, 5, 25, 125, 625\}$이므로, $\mathbb{Q}_5$의 모든 $a$는 유일하게 $a = \varepsilon \delta y^5$ 형태로 표현 가능하다.
• 일반적인 경우 $q = m p^s$이면서 $p \nmid m$일 때, $y^m = a$를 풀고 나서 $z^p = \tilde{y}$, $w^p = \tilde{z}$ 등의 절차를 반복함으로써 두 기본 사례로 축소되며, 가역성 조건은 두 기본 사례에서 유도된다.