Abstract:Stewart (2013) proved that the biggest prime divisor of the $n$th term of a Lucas sequence of integers grows quicker than $n$, answering famous questions of Erdős and Schinzel. In this note we obtain a fully explicit and, in a sense, uniform version of Stewart's result.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is how to obtain a completely explicit and unified version of Stewart's theorem regarding the growth of prime factors. Specifically, Stewart proved in 2013 that the growth rate of the largest prime factor of the n - th term of the Lucas sequence exceeds n, which answered the famous problem proposed by Erdős and Schinzel. The author of this paper re - examined Stewart's argument and improved his result, making the conclusion more explicit and general.
### Main Objectives
1. **Unification**: The author shows that \(n_0\) in Stewart's result depends only on \(\mathbb{Q}(\gamma)\), not on \(\omega(\gamma)\); in particular, when \(\gamma\in\mathbb{Q}\), \(n_0\) is an absolute constant.
2. **Explicit Expression**: The author obtains a completely explicit expression for \(n_0\).
### Specific Problem Description
The specific problems involved in the paper are:
- For a non - zero algebraic number \(\gamma\), satisfying specific conditions (such as \(\gamma\in\mathbb{Q}\) or \([\mathbb{Q}(\gamma):\mathbb{Q}]=2\) and \(N_\gamma = \pm1\)), find an \(n_0\) depending on \(\gamma\) such that for all \(n > n_0\), there exists a prime \(p\) such that \(\nu_p(\gamma^n - 1)\geq1\), and this prime \(p\) satisfies a certain lower bound estimate.
### Key Theorems
The paper presents several key theorems, including:
#### Theorem 1.2
For a non - zero rational number \(\gamma\neq\pm1\), let \(n_0=\exp(10^6)\), then for each \(n\geq n_0\), there exists a prime \(p\) such that \(\nu_p(\gamma^n - 1)\geq1\) and
\[p\geq n\exp\left(\frac{0.0005\log n}{\log\log n}\right).\]
#### Theorem 1.3
For a non - zero quadratic algebraic number \(\gamma\) (not a root of unity and with norm \(\pm1\)), let \(n_0 = \exp\exp(\max\{10^9, 3|D_K|\})\), then for each \(n\geq n_0\), there exists a prime \(p\) such that \(\nu_p(\gamma^n - 1)\geq1\) and
\[p\geq n\exp\left(\frac{0.0002\log n}{\log\log n}\right).\]
### Methods and Tools
To prove these theorems, the author uses the following tools and techniques:
- A simplified version of Yu's p - adic logarithmic form bound (see Section 3).
- Basic facts about quadratic fields (see Sections 5 and 6).
- Basic facts about cyclotomic polynomials and primitive prime divisors (see Section 8).
Through these methods, the author successfully improves Stewart's results, making them more explicit and unified.