On A Generalization Of D. H. Lehmer Problem
Yi Yuan,Hou Yiwei
2009-01-01
JP Journal of Algebra Number Theory and Applications
Abstract:Let q be an odd number. For each integer x with 1 x q and (x, q) = 1, it is clear that there exists one and only one 7 with 0 < q such that x7 = 1(q). Let k be any fixed integer with k 2, 8, = 1, i =1, 2,..., k, N (q, k; Si, ck) denote the number of all k-tuples with positive integer coordinates (xj, x2,..., xk) such that 1 < x, < q, (x,, q) = 1, = c, and xjx2 " " " xk = 1(q). If q = p is an odd prime and k 2 is an even number, then we let M(p, k; 81,..., ck) denote the number of all k-tuples with primitive roots coordinates (xj, x2,..., xk) such that 1 x, p 1, (-1)xl xl = c, and xjx2 " " " xk = 1(p). The main purpose of this paper is to use the estimates of general Kloosterman's sums and the properties of trigonometric sums to study the asymptotic behavior of the mean values N(q, k; St, 8k) and M(p, k; St, 8k), and to give two interesting asymptotic formulae.