Abstract:Let $U_n=U_n(P,Q)$ be a nondegenerate Lucas sequence with $Q=\pm 1$ and discriminant $\Delta=P^2+4Q>0$. We study Diophantine equations \[ A y^k=\prod_{i=1}^r U_{n_i}(P,Q), \qquad k\geq 2, \] where the indices $n_1,\ldots,n_r$ are pairwise coprime. The strong divisibility property implies that the factors $U_{n_i}$ are pairwise coprime, and hence a global $k$-th power condition separates into local valuation conditions on the individual factors. For $k=2$, this gives a termwise square-class restriction: each $U_{n_i}$ has signed squarefree part supported on the primes dividing $A$. In particular, the equation $\Delta y^2=U_mU_n$, with $\gcd(m,n)=1$, reduces to a finite square-class compatibility condition together with an integrality condition. Assuming the number-field $abc$ conjecture over $\mathbb Q(\sqrt{\Delta})$, we prove that only finitely many Lucas terms have squarefree part supported on a fixed finite set of rational primes. Consequently, the coprime product equations above admit an $abc$-conditional finite reduction. We also give the corresponding $k$-th power analogue and a primitive-divisor obstruction.
| Comments: | 18 pages, 0 figures |
| Subjects: | Number Theory (math.NT) |
| MSC classes: | Primary 11B39, Secondary 11B37, 11D61 |
| Cite as: | arXiv:2605.24909 [math.NT] |
| (or arXiv:2605.24909v1 [math.NT] for this version) | |
| https://doi.org/10.48550/arXiv.2605.24909 arXiv-issued DOI via DataCite (pending registration) |
From: Dongyeon Kym [view email]
[v1]
Sun, 24 May 2026 07:30:03 UTC (14 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。