ISSN 1088-6842(online) ISSN 0025-5718(print)

Generalizations of a classical theorem in number theory

Author: Richard H. Hudson
Journal: Math. Comp. 30 (1976), 649-656
MSC: Primary 10A10
DOI: https://doi.org/10.1090/S0025-5718-1976-0404112-2
MathSciNet review: 0404112
Full-text PDF

Abstract: A classical theorem conjectured by Jacobi asserts that for an odd prime p, the sum of the quadratic residues in the interval (0, p) is less than the sum of the quadratic nonresidues if and only if . We generalize Jacobi's problem to kth powers , and we consider in some detail a generalization of Jacobi's conjecture to quadratic residues and nonresidues , n an arbitrary integer . From the set of least positive residues , let denote the subgroup of quadratic residues and let be the cosets which can be formed with respect to this subgroup. Computer data supports the following generalized Jacobi conjecture: The sum of the elements in is less than or equal to the sum in any of the other cosets for every integer , a surprising conjecture, especially in view of the fact that counterexamples are easily obtained for , etc. (The coset sums are identical for odd k and prime modulus.) We resolve the generalized Jacobi conjecture in the affirmative when, for example, n is an integer admitting a primitive root, or . (Here we give explicit formulae for the four coset sums.) For , our proof that the quadratic residues and the quadratic nonresidues have the same sum for odd prime p if and only if is purely, elementary. On the other hand, we need Dirichlet's class number formula for quadratic number fields with discriminant to show that the sum of the quadratic nonresidues strictly exceeds the sum of the quadratic residues if . Computer data gives rise to a host of interesting problems we are unable to resolve. For example, if , we conjecture that a sufficient condition that the coset sums not be identical is that we have for every i. It is not hard to show that the coset sums are identical if every . However, the problem of finding a necessary condition is very difficult since, e.g., the coset sums are not identical for when if , but the sums are identical if .

References [Enhancements On Off] (What's this?)

Retrieve articles in Mathematics of Computation with MSC: 10A10

Retrieve articles in all journals with MSC: 10A10