View PDF HTML (experimental)

Abstract:Let $E/\mathbb Q$ be an elliptic curve, let $P\in E(\mathbb Q)$ be non-torsion, and let $(D_n)$ be the associated elliptic divisibility sequence. For a fixed prime $\rho$, we study when an arbitrary finite product
\[
\prod_{i=1}^k D_{n_i}
\]
can be a $\rho$-th power in $\mathbb Q^\times$. The main result is that, under the hypothesis that $D_1$ is divisible by $2$ or $3$, such product relations impose rigid restrictions on the large prime divisors of the indices $n_i$. More precisely, for every $B\ge 2$, all sufficiently large prime divisors $\ell$ which occur as simple largest prime divisors of the indices and whose complementary cofactors are $B$-smooth must occur in $\rho$-balanced blocks. Equivalently, the corresponding prime-incidence rows over $\mathbb F_\rho$ have pairwise disjoint supports, are linearly independent, and satisfy the packing bound
\[
|\Lambda^*|\le \lfloor k/\rho\rfloor .
\]
In particular, if $n_i=\ell_i a_i$, where the $\ell_i$ are sufficiently large primes and the $a_i$ are $B$-smooth, then a $\rho$-th power product relation can hold only if each prime $\ell$ occurs among the $\ell_i$ with multiplicity divisible by $\rho$.
The proof combines Silverman's valuation law, a fixed finite-prime-set consequence of Reynolds' finiteness theorem, and the Hasse bound. The case $\rho=2$ gives the corresponding square-product obstruction.

Submission history

From: Dongyeon Kym [view email]
[v1] Mon, 25 May 2026 12:48:16 UTC (13 KB)
[v2] Fri, 29 May 2026 10:40:53 UTC (13 KB)