Extension of a theorem of Cauchy and Jacobi
type: Item
instance of: scholarly article
title: Extension of a theorem of Cauchy and Jacobi
zbMATH Open document ID: 0551.12014
DOI: 10.1016/0022-314X(84)90075-1
author: Duncan A. Buell
author: Richard H. Hudson
author: Kenneth S. Williams
published in: Journal of Number Theory
publication date: 1984-01-01T00:00:00Z
review text: Cauchy (1840) and Jacobi (1846) determined the products \(\prod_{k}kf!\) modulo a prime \(p=qf+1\) \((q=a^ 2+b^ 2,\) a prime \(\equiv 1 (4)\), \(a\equiv 1 (4))\), where k runs through the quadratic residues and the quadratic non-residues mod q respectively, in terms of parameters in representations of \(p^ h\) or \(4p^ h\) by binary quadratic forms. The most striking feature of this business is the tie up between the exponent h and the class number of the related quadratic field. If only the above products of factorials were either more natural to look at in the first place or tied up with yet another facet of the subject, this tie up would be most exciting! In the present paper the authors determine four similar products of factorials modulo \(p=qf+1,\) \(q\equiv 5 (8)\), \(q>5\), (where k runs through the group S of quartic residues mod q and the 3 cosets of S respectively) in terms of parameters in representations of \(16p^ h\) by quaternary quadratic forms (cf. Dickson's solution to the cyclotomic problem for the modulus 5). This determination is far more complicated than the corresponding classical one. There is again this intriguing tie up between the exponent h and the class number of the imaginary quartic field \({\mathbb{Q}}(i\sqrt{2q+2a\sqrt{q}}),\quad q=a^ 2+b^ 2\equiv 5 (8),\) a odd, which the authors achieve by using a variety of clever means and complicated manipulations. Examples are given at the end and special cases of congruences for binomial coefficients are discussed.
reviewed by: A. R. Rajwade
Mathematics Subject Classification ID: 11T55
Mathematics Subject Classification ID: 11A15
Mathematics Subject Classification ID: 11E20
Mathematics Subject Classification ID: 11T22
zbMATH DE Number: 3877314
zbMATH Keywords: exponential sums
zbMATH Keywords: finite fields
zbMATH Keywords: representation of prime powers by binary quadratic forms
zbMATH Keywords: class number
zbMATH Keywords: quadratic field
zbMATH Keywords: products of factorials
zbMATH Keywords: quartic residues
zbMATH Keywords: quaternary quadratic forms
zbMATH Keywords: cyclotomic problem
zbMATH Keywords: imaginary quartic field
zbMATH Keywords: congruences for binomial coefficients
MaRDI profile type: Publication
cites work: Sums of Gauss, Jacobi, and Jacobsthal
cites work: The determination of Gauss sums
cites work: Cyclotomy and Trinomial Congruences
cites work: An application of a formula of Western to the evaluation of certain Jacobsthal sums
cites work: Binomial Coefficients and Jacobi Sums
cites work: On Euler's criterion
cites work: Some conjectures concerning Gauss sums.
cites work: Gauss sums and elliptic functions. II: The quartic sum
cites work: On the Uniqueness of Solutions of Certain Diophantine Equations
cites work: The Determination of all Imaginary, Quartic, Abelian Number Fields With Class Number 1
cites work: On a conjecture of hasse concerning multiplicative relations of Gaussian sums
description: scientific article; zbMATH DE number 3877314