×

Prime divisors of linear recurrences and Artin’s primitive root conjecture for number fields. (English) Zbl 1044.11005

Let \(S\) be a linear integer recurrent sequence of order \(k\geq 2\), and define \(P_S\) as the set of primes that divide at least one term of \(S\). We say that \(S\) is degenerate if the associated characteristic polynomial is either inseparable or has two different roots whose quotient is a root of unity. Pólya proved in 1921 that the set \(P_S\) is infinite for all non-degenerate linear recurrences \(S\) of order \(k\geq 2\). The author is interested in the question of whether \(P_S\) has a natural density (Pólya’s method seems inadequate to determine this). In case \(k=2\) there are many results available, cf. C. Ballot [Density of prime divisors of linear recurrences, Mem. Am. Math. Soc. 551 (1995; Zbl 0827.11006)]. However, essentially nothing is known for sequences of order larger than two (the main focus of this paper).
The author associates a free \(R\)-algebra \(O\) to \(f\) and shows that \(p\in P_S\) iff the intersection of a certain coset \(C\) of the multiplicative subgroup \((O/pO)^*\) and \(H\) is non-empty, where \(H\) denotes the kernel of the trace map from \(O/pO\) to the finite field with \(p\) elements, and is an additive subgroup of the ring \(O/pO\). The mixture of an additive and multiplicative structure is notoriously difficult to study and this forces the author into a more conjectural approach. He uses his criterion for \(p\) to be in \(P_S\) to heuristically study the divisibility of \(S\) (in case the associated characteristic polynomial is separable). Two cases are distinguished; either \(f\) splits completely into distinct linear factors modulo \(p\), or not. Denote these sets of primes by \(T_1\) and \(T_2\) respectively. The author argues that the set of primes in \(T_1\) that divide \(S\) has a positive lower density, strictly less than \(1\) and that the primes in \(T_2\) that do not divide \(S\) have zero density.
Using some results from algebraic geometry the author proves that if \(S\) is a linear recurrent sequence of order \(k\geq 3\) such that its associated characteristic polynomial satisfies a certain generalization of Artin’s primitive root conjecture, and contains a \(k\)-cycle in its Galois group, then \(P_S\) contains a set of positive density.
This well-written paper ends with a discussion of some numerical examples.

MSC:

11B37 Recurrences
11R45 Density theorems

Citations:

Zbl 0827.11006

References:

[1] Ballot, C., Density of prime divisors of linear recurrent sequences. Mem. of the AMS551 (1995). · Zbl 0827.11006
[2] Brown, H., Zassenhaus, H., Some empirical observations on primitive roots. J. Number Theory3 (971),306-309. · Zbl 0219.10003
[3] Hartshorne, R., Algebraic geometry. Springer-Verlag, New York, 1977. · Zbl 0367.14001
[4] Hasse, H., Über die Dichte der Primzahlen p, für die eine vorgegebene ganz-rationale Zahl a ≠ 0 von gerader bzw. ungerader Ordnung mod.p ist. Math. Ann.166 (1966), 19-23. · Zbl 0139.27501
[5] Hooley, C., On Artin’s conjecture. J. Reine Angew. Math.225 (1967), 209-220. · Zbl 0221.10048
[6] Lagarias, J.C., The set of primes dividing the Lucas numbers has density 2/3. Pacific J. Math.118 (1985), 449-461; Errata Ibid.162 (1994), 393-397. · Zbl 0569.10003
[7] Lenstra, H.W., JR, On Artin’s conjecture and Euclid’s algorithm in global fields. Inv. Math.42 (1977), 201-224. · Zbl 0362.12012
[8] Lang, S., Weil, A., Number of points of varieties in finite fields. Amer. J. Math.76 (1954), 819-827. · Zbl 0058.27202
[9] Moree, P., Stevenhagen, P., Prime divisors of Lucas sequences. Acta Arith.82 (1997), 403-410. · Zbl 0913.11048
[10] Pólya, G., Arithmetische Eigenschaften der Reihenentwicklungen rationaler Funktionen. J. Reine Angew. Math.151 (1921), 99-100. · JFM 47.0276.02
[11] Roskam, H., A Quadratic analogue of Artin’s conjecture on primitive roots. J. Number Theory81 (2000), 93-109. · Zbl 1049.11125
[12] Roskam, H., Artin’s Primitive Root Conjecture for Quadratic Fields. Accepted for publication in J. Théor. Nombres Bordeaux. · Zbl 1026.11086
[13] Stephens, P.J., Prime divisors of second order linear recurrences. J. Number Theory8 (1976), 313-332. · Zbl 0334.10018
[14] Wagstaff, S.S., Pseudoprimes and a generalization of Artin’s conjecture. Acta Arith.41 (1982), 141-150. · Zbl 0496.10001
[15] Ward, M., Prime divisors of second order recurring sequences. Duke Math. J.21 (1954), 607-614. · Zbl 0058.03701
[16] Ward, M., The maximal prime divisors of linear recurrences. Can. J. Math.6 (1954), 455-462 · Zbl 0056.04106
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.