Abstract:It is known that all terms $U_n$ of a classical regular Lucas sequence have a primitive prime divisor if $n>30$. In addition, a complete description of all regular Lucas sequences and their terms $U_n$, $2\leq n\leq 30$, which do not have a primitive divisor is also known. Here, we prove comparable results for Lucas sequences in polynomial rings, correcting some previous theorem on the same subject. The first part of our paper develops some elements of Lucas theory in several abstract settings before proving our main theorem in polynomial rings.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the existence and properties of primitive prime factors of Lucas sequences in polynomial rings. Specifically, the author aims to prove results similar to those of the classical integer Lucas sequences and correct some mistakes in previous research.
### Core problems of the paper
1. **Existence of primitive prime factors**:
- For the classical regular Lucas sequence \( U_n \), it is known that when \( n > 30 \), all terms \( U_n \) have a primitive prime factor (that is, a prime number that does not divide \( U_k \), where \( k < n \)).
- The goal of this paper is to prove that similar results are applicable to Lucas sequences in the polynomial ring \( R[T] \) and correct some previous theorems on this topic.
2. **Classification of special cases**:
- For the cases where \( 2\leq n\leq30 \), the regular Lucas sequences without primitive prime factors and their terms \( U_n \) have been fully described.
- This paper also attempts to perform a similar classification for Lucas sequences in polynomial rings, to find out which sequences and which values of \( n \) make \( U_n \) have no primitive prime factor.
### Main contributions
- **Theoretical development**: The first part of the article develops some theories of Lucas sequences in an abstract environment, laying the foundation for subsequent proofs.
- **Proof of the main theorem**: In the polynomial ring \( R[T] \), it is proved that for \( n\geq1 \), if \( p\nmid n \), then \( U_n \) almost always has a primitive prime factor, except for \( n = 1 \) and possibly \( n\in\{2, 3, 4, 6\} \).
- **Condition analysis**: For each \( n\in\{2, 3, 4, 6\} \), the conditions for \( U_n \) having no primitive prime factor are given.
### Formula representation
The formulas involved in the paper use the standard Markdown format:
For example, the defining formula of the Lucas sequence is:
\[ U_{n + 2}=PU_{n + 1}-QU_n \]
The characteristic polynomial is:
\[ f(X)=X^2 - PX+Q \]
The discriminant is:
\[ \Delta = P^2 - 4Q \]
The general term formula of the Lucas sequence is:
\[ U_n=\frac{a^n - b^n}{a - b}\quad\text{or}\quad U_n = na^{n - 1} \]
Through these formulas and theoretical derivations, the author finally obtains the existence and classification results of primitive prime factors of Lucas sequences in polynomial rings.