arxiv: v1 [math.nt] 9 Jan 2019

Transcription

1 NON NEAR-PRIMITIVE ROOTS PIETER MOREE AND MIN SHA Dedicated to the memory of Prof. Christopher Hooley ( ) arxiv: v [math.nt] 9 Jan 209 Abstract. Let p be a prime. If an integer g generates a subgroup of index t in (Z/pZ), then we say that g is a t-near primitive root modulo p. We point out the easy result that each primitive residue class contains a positive natural density subset of primes p not having g as a t-near primitive root and prove a more difficult variant. Given a set of primes S, the limit. Introduction #{p : p S, p x} δ(s) = lim, x #{p : p x} if it exists, is called the natural density of S. (Here and in the sequel the letter p is used to denote prime numbers.) For any integer g {,0,}, let P g be the set of primes p such that g is a primitive root modulo p, that is p g and the multiplicative order of g modulo p, ord p (g), equals p = #(Z/pZ), and so g is a generator of (Z/pZ). In 927, Emil Artin conjectured that the set P g is infinite if g is not a square; moreover he also gave a conjectural formula for its natural density δ(p g ), see [0] for more details. There is no value of g known for which P g can be unconditionally proved to be infinite. However, thanks to Heath-Brown [2] we do know that, given three distinct primes p,p 2 and p 3, there is at least one i such that P pi is infinite. In 967, Hooley [3] established Artin s conjecture under the Generalized Riemann Hypothesis (GRH) and determined δ(p g ). Ten years later, Lenstra [5] considered a wide class of generalizations of Artin s conjecture. E.g., under GRH he showed that the primes in P g that are in a prescribed arithmetic progression have a natural density and gave a Galois theoretic formula for it. This was worked out explicitly by the first author [7, 9], who showed that δ(p g ) = Ar g, with r g an explicit rational number and A the Artin constant. Using a powerful and very general algebraic method, this result was rederived in a very different way by Lenstra et al.[6]. For any integer t, let P g (t) = {p : p g, p (mod t), ord p (g) = (p )/t}. 200 Mathematics Subject Classification. N3, N69. Key words and phrases. Primitive root, near-primitive root, Artin s primitive root conjecture, arithmetic progression.

2 2 PIETER MOREE AND MIN SHA If p is in P g (t), then it is said to have g as a t-near primitive root. Assuming GRH, the first author [] determined δ(p g (t)) in case g > is square-free. A more refined problem is how the primes in P g (t) are distributed over arithmetic progressions. To this end, let a,d be coprime integers and define P g (t,d,a) = {p : p a (mod d), p P g (t)}. By the prime number theorem for arithmetic progressions x (.) #{p : p x, p a (mod d)} ϕ(d)logx, where ϕ denotes Euler s totient function, and so the set P g (t,d,a) is infinite if we drop the condition that p is in P g (t). A straightforward combination of the ideas used in the study of near-primitive roots and those for primitive roots in arithmetic progression, allows one to show, assuming GRH, that δ(p g (t,d,a)) exists and derive a Galois theoretic expression for it (see Hu et al.[4, Theorem 3.]). On the basis of insights from [6], we know that this expression equals a rational multiple of the Artin constant A, where the rational multiple can be worked out in full generality. However, this is likely to produce a result involving several case distinctions (as in the restricted case where t = and in the case where t is arbitrary and g is square-free). In the much less general case g = 4 and t = 2, the expression has been explicitly worked out in [4], see Section. for more background. In this paper we study, motivated by the following questions, the distribution of non near-primitive roots in arithmetic progression. Questions. Let t and g {,0,} be integers. Let a,d be positive coprime integers. A) Is the set Q g (t,d,a) = {p : p a (mod d), p P g (t)} infinite? In other words, does each primitive congruence class contain infinitely many non t-near primitive roots? B) Does the set Q g (t,d,a) have a natural density and can it be computed? Question B can currently be answered only on assuming GRH. Under that assumption, it follows from the above discussion and (.) that Q g (t,d,a) has a natural density given by δ(q g (t,d,a)) = /ϕ(d) δ(p g (t,d,a)). In this approach it is far from evident under which conditions on the parameters g,t,d and a we have δ(q g (t,d,a)) > 0, thus guaranteeing the infinitude of the set Q g (t,d,a). If there exists a prime p 0 t satisfying both p 0 a (mod d) and p 0 (mod t), then all the primes p p 0 (mod dt) are in Q g (t,d,a). By the prime number theorem for arithmetic progressions, there are infinitely many primes p p 0 (mod dt), and they have a positive natural density. Thus, the first question is only non-trivial when p a (mod d) implies p t or p (mod t), which is true if and only if (.2) t d and t (a ). In this note we will see that answering Question A is actually also rather easy in case (.2) is not satisfied. The answer to Question A is yes, and we can be even a little bit

3 NON NEAR-PRIMITIVE ROOTS 3 more precise on using Kummerian extensions of cyclotomic number fields Q(ζ n ) with ζ n = e 2πi/n. Proposition.. Let g {,0,} and t be integers. Let a,d be positive coprime integers. The set of primes p a (mod d) contains a positive natural density subset of primes p, for which g is a non t-near primitive root modulo p, having natural density [Q(ζ d,ζ q,g /q ) : Q], where q 2dt is an arbitrary prime number. We will also establish a more difficult variant of the latter result. Theorem.2. Let g {,0,} and t be integers. Let a,d be positive coprime integers. Suppose that the set of primes p a (mod d) satisfying ord p (g) (p )/t, is infinite. Then the subset of primes p, for which g is a non t-near primitive root modulo p, has a subset having natural density [Q(ζ d,ζ qt,g /qt ) : Q], where q 2dgt is an arbitrary prime number. Itisnotdifficulttocomputethefielddegree[Q(ζ d,ζ qt,g /qt ) : Q] = [Q(ζ lcm(d,qt),g /qt ) : Q] for any given g,t,d and q; see [8, Lemma ] for the general result (which is a direct consequence of [3, Proposition 4.])... An application. Proposition. has an application to Genocchi numbers G n, which are defined by G n = 2( 2 n )B n, where B n is the n th Bernoulli number. The Genocchi numbers are actually integers. If a prime p > 3 divides at least one of the Genocchi numbers G 2,G 4,...,G p 3, it is said to be G-irregular and G-regular otherwise. The first fifteen G-irregular primes [] are 7,3,37,4,43,59,67,73,89,97,0,03,09,3,27. The G-irregularity is related to a divisibility of a certain class number by p. It is easy to show that if ord p (4) (p )/2, then p is G-irregular, see [4, Theorem.6]. Hence, taking g = 4 and t = 2 in Proposition. and noting that [Q(ζ d,ζ q,4 /q ) : Q] = ϕ(d)q(q ), we arrive at the following result. Proposition.3. Let a,d be positive coprime integers. Let q be the smallest prime not dividing 2d. The set of G-irregular primes p satisfying p a (mod d) contains a subset having natural density ϕ(d)q(q ). This result is a weaker version of Theorem. in [4], however its proof is much more elementary, but it still shows that each primitive residue class contains a subset of G-irregular primes having positive natural density.

4 4 PIETER MOREE AND MIN SHA 2. Preliminaries Given any integers d,n put K n = Q(ζ d,ζ n,g /n ). For a coprime to d, let σ a be the endomorphism of Q(ζ d ) over Q defined by σ a (ζ d ) = ζ a d. Let C n be the conjugacy class of elements of the Galois group G n = Gal(K n /Q) such that for any τ n C n, (2.) τ n Q(ζd ) = σ a, τ n Q(ζn,g /n ) = id, where id stands forthe identity map. Notethat either C n is empty, or C n isnon-empty and C n =. The latter case occurs if and only if (2.2) τ n Q(ζd ) Q(ζ n,g /n ) = id. If this condition is satisfied, then by the Chebotarev density theorem (in its natural density form, cf. Serre [2], the original form being for Dirichlet density), the primes with Frobenius C n satisfying (2.) have natural density /[K n : Q]. With at most finitely many exceptions the first condition on τ n ensures that the primes having τ n as Frobenius satisfy p a (mod d). Likewise the second condition ensures that with at most finitely many exceptions the primes are in P g (n). In particular, in case Q(ζ d ) and Q(ζ n,g /n ) are linearly disjoint over the rationals, that is (2.3) Q(ζ d ) Q(ζ n,g /n ) = Q, we always have C n = and with at most finitely many exceptions, the primes p with Frobenius C n satisfy p a (mod d) and ord p (g) (p )/n. 3. Proofs Proof of Proposition.. Sinceq isodd,theextensionq(ζ q,g /q )ofq(ζ q )isnon-abelian and Q(ζ d ) Q(ζ q,g /q ) = Q(ζ d ) Q(ζ q ) = Q(ζ gcd(d,q) ) = Q, as q d. Thus (2.3) is satisfied and consequently there is a set of natural density /[K q : Q] of primes p satisfying p a (mod d) and ord p (g) (p )/q. Since by assumption q t, it follows that for these primes ord p (g) (p )/t and so for them g is a non t-near primitive root. 3.. Proof of Theorem.2. From now on we assume that g,t,a and d are as in Theorem.2. The proof of Theorem.2 is an easy consequence of the following lemma, where we put V n = {p : p g, p a (mod d), ord p (g) (p )/t}, and recall that K n = Q(ζ d,ζ n,g /n ). Lemma 3.. Let q 2dgt be a prime. Then { 0 if δ(vt ) = 0; δ(v qt ) = [K qt:q] otherwise. The proof of this lemma rests on the Chebotarev density theorem and the following result.

5 NON NEAR-PRIMITIVE ROOTS 5 Lemma 3.2. Put I n = Q(ζ d ) Q(ζ n,g /n ). Let q 2dgt be a prime. Then I qt = I t. Proof. Since I t I qt, it suffices to show that [I qt : Q] = [I t : Q]. Obviously [d,t] = rt for some positive integer r. By elementary Galois theory and noticing that gcd(q, dt) =, we see that [I qt : Q] = [Q(ζ d) : Q] [Q(ζ qt,g /qt ) : Q] [Q(ζ d,ζ qt,g /qt ) : Q] = ϕ(d)[q(ζ qt,g /qt ) : Q], [Q(ζ qrt,g /qt ) : Q] and, similarly, [I t : Q] = ϕ(d)[q(ζ t,g /t ) : Q]/[Q(ζ rt,g /t ) : Q]. Then, using [8, Lemma ] and using that q 2dgt is a prime, it is straightforward to deduce that [I qt : Q] = [I t : Q]. We remark that the condition q 2dgt can not be removed. For example, choosing g = 2,d = 3,t = 0,q = 7 and using [9, Lemma 2.4], we have I t = Q and I qt = Q(ζ d ) = Q( 3) I t. Proof of Lemma 3.. By Lemma 3.2 it follows that (3.) I qt = I t. If δ(v t ) = 0, then clearly δ(v qt ) = 0, as V qt V t. If δ(v t ) > 0. there must be a τ t C t such that τ t It = id, which by (3.) implies the existence of an automorphism τ qt C qt such that τ qt Iqt = id. It follows that δ(v qt ) > 0, and so δ(v qt ) = [K qt : Q] by the Chebotarev density theorem. Finally, we are ready to prove Theorem.2. Proof of Theorem.2. Let n be arbitrary. As in the proof of Proposition. we deduce that the set V nt has a natural density δ(v nt ) satisfying δ(v nt ) = 0 or δ(v nt ) = [K nt : Q]. By assumption the set V t is infinite. This implies that the two automorphisms in (2.) are compatible and hence (2.2) is satisfied, which leads to the conclusion that V t is not only finite, but even has a positive natural density. Now apply Lemma 3.. Acknowledgement The research of Min Sha was supported by a Macquarie University Research Fellowship. The authors thank Christine McMeekin and Peter Stevenhagen for very helpful discussions and feedback. The latter pointed out a serious oversight in an earlier version. References [] Genocchi irregular primes, On-line encyclopedia of integer sequences, sequence A3227. [2] D.R. Heath-Brown, Artin s conjecture for primitive roots, Quart. J. Math. Oxford Ser. (2) 37 (986), [3] C. Hooley, On Artin s conjecture, J. Reine Angew. Math. 225 (967), [4] S. Hu, M.-S. Kim, P. Moree and M. Sha, Irregular primes with respect to Genocchi numbers and Artin s primitive root conjecture, preprint, 208, available at

6 6 PIETER MOREE AND MIN SHA [5] H.W. Lenstra, Jr., On Artin s conjecture and Euclid s algorithm in global fields, Invent. Math. 42 (977), [6] H.W. Lenstra, Jr., P. Moree and P. Stevenhagen, Character sums for primitive root densities, Math. Proc. Cambridge Philos. Soc. 57 (204), [7] P.Moree, On primes in arithmetic progression having a prescribed primitive root, J. Number Theory 78 (999), [8] P.Moree, On the distribution of the order and index of g (mod p) over residue classes I, J. Number Theory 4 (2005), [9] P. Moree, On primes in arithmetic progression having a prescribed primitive root II, Funct. Approx. Comment. Math. 39 (2008), [0] P. Moree, Artin s primitive root conjecture a survey, Integers 2A (202), A3. [] P. Moree, Near-primitive roots, Funct. Approx. Comment. Math. 48 (203), [2] J.-P.Serre, Quelques applications du théorème de densité de Chebotarev, Inst. Hautes Études Sci. Publ. Math. 54 (98), [3] S.S. Wagstaff, Jr., Pseudoprimes and a generalization of Artin s conjecture, Acta Arith. 4 (982), Max-Planck-Institut für Mathematik, Vivatsgasse 7, D-53 Bonn, Germany address: moree@mpim-bonn.mpg.de Department of Computing, Macquarie University, Sydney, NSW 209, Australia address: shamin200@gmail.com