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 Free Access

Abstract | References | Similar Articles | Additional Information

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 *k*th 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 .

**[1]**Raymond Ayoub,*An introduction to the analytic theory of numbers*, Mathematical Surveys, No. 10, American Mathematical Society, Providence, R.I., 1963. MR**0160743****[2]**L. E. DICKSON,*History of the Theory of Numbers*. Vol. 3, Washington, 1919.**[3]**William Judson LeVeque,*Topics in number theory. Vols. 1 and 2*, Addison-Wesley Publishing Co., Inc., Reading, Mass., 1956. MR**0080682****[4]**Leo Moser,*A theorem on quadratic residues*, Proc. Amer. Math. Soc.**2**(1951), 503–504. MR**0041159**, https://doi.org/10.1090/S0002-9939-1951-0041159-7**[5]**Karl K. Norton,*Upper bounds for 𝑘𝑡ℎ power coset representatives modulo 𝑛*, Acta Arith.**15**(1968/1969), 161–179. MR**0240065**

Retrieve articles in *Mathematics of Computation*
with MSC:
10A10

Retrieve articles in all journals with MSC: 10A10

Additional Information

DOI:
https://doi.org/10.1090/S0025-5718-1976-0404112-2

Article copyright:
© Copyright 1976
American Mathematical Society