Binomial coefficients and Jacobi sums

Hudson, Richard H.; Williams, Kenneth S.

doi:10.1090/S0002-9947-1984-0722761-X

Binomial coefficients and Jacobi sums
HTML articles powered by AMS MathViewer

by Richard H. Hudson and Kenneth S. Williams PDF

Trans. Amer. Math. Soc. 281 (1984), 431-505 Request permission

Abstract:

Throughout this paper $e$ denotes an integer $\geqslant 3$ and $p$ a prime $\equiv \;1\ \pmod e$. With $f$ defined by $p = ef + 1$ and for integers $r$ and $s$ satisfying $1 \leqslant s < r \leqslant e - 1$ , certain binomial coefficients $\left ( {\begin {array}{*{20}{c}} {rf} \\ {sf} \\ \end {array} } \right )$ have been determined in terms of the parameters in various binary and quaternary quadratic forms by, for example, Gauss [13], Jacobi [19, 20], Stern [37-40], Lehmer [23] and Whiteman [42, 45, 46]. In $\S 2$ we determine for each $e$ the exact number of binomial coefficients $\left ( {\begin {array}{*{20}{c}} {rf} \\ {sf} \\ \end {array} } \right )$ not trivially congruent to one another by elementary properties of number theory and call these representative binomial coefficients. A representative binomial coefficient is said to be of order $e$ if and only if $(r,s) = 1$. In $\S \S 3-4$, we show how the Davenport-Hasse relation [7], in a form given by Yamamoto [50], leads to determinations of ${n^{(p - 1)/m}}$ in terms of binomial coefficients modulo $p = ef + 1 = mnf + 1$. These results are of some interest in themselves and are used extensively in later sections of the paper. Making use of Theorem 5.1 relating Jacobi sums and binomial coefficients, which was first obtained in a slightly different form by Whiteman [45], we systematically investigate in $\S \S 6-21$ all representative binomial coefficients of orders $e = 3,4,6,7,8,9,11,12,14,15,16,20$ and $24$, which we are able to determine explicitly in terms of the parameters in well-known binary quadratic forms, and all representative binomial coefficients of orders $e = 5,10,13,15,16$ and $20$, which we are able to explicitly determine in terms of quaternary quadratic decompositions of $16p$ given by Dickson [9], Zee [51] and Guidici, Muskat and Robinson [14]. Some of these results have been obtained by previous authors and many new ones are included. For $e = 7$ and $14$ we are unable to explicitly determine representative binomial coefficients in terms of the six variable quadratic decomposition of $72p$ given by Dickson [9] for reasons given in $\S 10$, but we are able to express these binomial coefficients in terms of the parameter ${x_1}$ in this system in analogy to a recent result of Rajwade [34]. Finally, although a relatively rare occurrence for small $e$, it is possible for representative binomial coefficients of order $e$ to be congruent to one another $\pmod p$. Representative binomial coefficients which are congruent to $\pm 1$ times at least one other representative for all $p = ef + 1$ are called Cauchy-Whiteman type binomial coefficients for reasons given in [17] and $\S 21$. All congruences between such binomial coefficients are carefully examined and proved (with the sign ambiguity removed in each case) for all values of $e$ considered. When $e = 24$ there are $48$ representative binomial coefficients, including those of lower order, and it is shown in $\S 21$ that an astonishing $43$ of these are Cauchy-Whiteman type binomial coefficients. It is of particular interest that the sign ambiguity in many of these congruences does not arise from any expression of the form ${n^{(p - 1)/m}}$ in contrast to the case for all $e < 24$.

References

Die Lehre von der Kreisteilung

Bruce C. Berndt, Classical theorems on quadratic residues, Enseign. Math. (2) 22 (1976), no. 3-4, 261–304. MR 441835

Gauss and Jacobi sums

Bruce C. Berndt and Ronald J. Evans, Sums of Gauss, Jacobi, and Jacobsthal, J. Number Theory 11 (1979), no. 3, S. Chowla Anniversary Issue, 349–398. MR 544263, DOI 10.1016/0022-314X(79)90008-8

Mémoire sur la théorie des nombres

Beweis der theorems von Hrn. Dr. Stern

8

Die Nullstellen der Kongruenzzetafunktionen in gewissen zyklischen Fällen

172

L. E. Dickson, Cyclotomy, Higher Congruences, and Waring’s Problem, Amer. J. Math. 57 (1935), no. 2, 391–424. MR 1507083, DOI 10.2307/2371217
L. E. Dickson, Cyclotomy and trinomial congruences, Trans. Amer. Math. Soc. 37 (1935), no. 3, 363–380. MR 1501791, DOI 10.1090/S0002-9947-1935-1501791-3
L. E. Dickson, Cyclotomy when $e$ is composite, Trans. Amer. Math. Soc. 38 (1935), no. 2, 187–200. MR 1501808, DOI 10.1090/S0002-9947-1935-1501808-6

History of the theory of numbers

Ronald J. Evans, Resolution of sign ambiguities in Jacobi and Jacobsthal sums, Pacific J. Math. 81 (1979), no. 1, 71–80. MR 543734

Theoria residuorum biquadraticorum

6

Werke

Reinaldo E. Giudici, Joseph B. Muskat, and Stanley F. Robinson, On the evaluation of Brewer’s character sums, Trans. Amer. Math. Soc. 171 (1972), 317–347. MR 306122, DOI 10.1090/S0002-9947-1972-0306122-5

On the law of quartic reciprocity

41

Richard H. Hudson and Kenneth S. Williams, Some new residuacity criteria, Pacific J. Math. 91 (1980), no. 1, 135–143. MR 612893
Richard H. Hudson and Kenneth S. Williams, Cauchy-type congruences for binomial coefficients, Proc. Amer. Math. Soc. 85 (1982), no. 2, 169–174. MR 652435, DOI 10.1090/S0002-9939-1982-0652435-9

De Residuis cubicis commentatio numerosa

2

Uber die Kreistheilung und ihre Anwendung auf die Zahlentheorie

30

Emma Lehmer, The quintic character of $2$ and $3$, Duke Math. J. 18 (1951), 11–18. MR 40338
Emma Lehmer, Criteria for cubic and quartic residuacity, Mathematika 5 (1958), 20–29. MR 95162, DOI 10.1112/S0025579300001303
Emma Lehmer, On Euler’s criterion. part 1, J. Austral. Math. Soc. 1 (1959/1961), no. part 1, 64–70. MR 0108475
Philip A. Leonard and Kenneth S. Williams, The septic character of $2$, $3$, $5$ and $7$, Pacific J. Math. 52 (1974), 143–147. MR 364064
Philip A. Leonard, Brian C. Mortimer, and Kenneth S. Williams, The eleventh power character of $2$, J. Reine Angew. Math. 286(287) (1976), 213–222. MR 422123
Philip A. Leonard and Kenneth S. Williams, A rational sixteenth power reciprocity law, Acta Arith. 33 (1977), no. 4, 365–377. MR 460224, DOI 10.4064/aa-33-4-365-377
J. Myron Masley and Hugh L. Montgomery, Cyclotomic fields with unique factorization, J. Reine Angew. Math. 286(287) (1976), 248–256. MR 429824
J. B. Muskat, The cyclotomic numbers of order fourteen, Acta Arith. 11 (1965/66), 263–279. MR 193081, DOI 10.4064/aa-11-3-263-279
Joseph B. Muskat, Reciprocity and Jacobi sums, Pacific J. Math. 20 (1967), 275–280. MR 210657
Joseph B. Muskat, On Jacobi sums of certain composite orders, Trans. Amer. Math. Soc. 134 (1968), 483–502. MR 232752, DOI 10.1090/S0002-9947-1968-0232752-4
Joseph B. Muskat and Albert L. Whiteman, The cyclotomic numbers of order twenty, Acta Arith. 17 (1970), 185–216. MR 268151, DOI 10.4064/aa-17-2-185-216
Joseph B. Muskat and Yun-cheng Zee, Sign ambiguities of Jacobi sums, Duke Math. J. 40 (1973), 313–334. MR 314776
Budh Singh Nashier and A. R. Rajwade, Determination of a unique solution of the quadratic partition for primes $p\equiv 1$ $(\textrm {mod}$ $7)$, Pacific J. Math. 72 (1977), no. 2, 513–521. MR 460236
A. R. Rajwade, Some congruences in algebraic integers and rational integers, Indian J. Pure Appl. Math. 7 (1976), no. 4, 431–435. MR 480300

Ein Beweis für die Zerlegbarkeit der Primzahlen von der Form

in ein einfaches und ein dreifaches Quadrat

140

Report on the theory of numbers

Aufgaben und Lehrsätze,

7

9

Aufgaben and Lehrsätze, problem

18

Eine Bemerkung zur Zahlentheorie

32

L. Stickelberger, Ueber eine Verallgemeinerung der Kreistheilung, Math. Ann. 37 (1890), no. 3, 321–367 (German). MR 1510649, DOI 10.1007/BF01721360
Albert Leon Whiteman, Cyclotomy and Jacobsthal sums, Amer. J. Math. 74 (1952), 89–99. MR 45758, DOI 10.2307/2372071
Albert Leon Whiteman, The cyclotomic numbers of order sixteen, Trans. Amer. Math. Soc. 86 (1957), 401–413. MR 92807, DOI 10.1090/S0002-9947-1957-0092807-7
A. L. Whiteman, The cyclotomic numbers of order twelve, Acta Arith. 6 (1960), 53–76. MR 118709, DOI 10.4064/aa-6-1-53-76
Albert Leon Whiteman, Theorems on Brewer and Jacobsthal sums. I, Proc. Sympos. Pure Math., Vol. VIII, Amer. Math. Soc., Providence, R.I., 1965, pp. 44–55. MR 0175861
Albert Leon Whiteman, Theorems on Brewer and Jacobsthal sums. II, Michigan Math. J. 12 (1965), 65–80. MR 217037
Kenneth S. Williams, A quadratic partition of primes $\equiv 1$ $(\textrm {mod}\ 7)$, Math. Comp. 28 (1974), 1133–1136. MR 345902, DOI 10.1090/S0025-5718-1974-0345902-2
Kenneth S. Williams, On Euler’s criterion for cubic nonresidues, Proc. Amer. Math. Soc. 49 (1975), 277–283. MR 366792, DOI 10.1090/S0002-9939-1975-0366792-0
Kenneth S. Williams, On Euler’s criterion for quintic nonresidues, Pacific J. Math. 61 (1975), no. 2, 543–550. MR 404113
Koichi Yamamoto, On a conjecture of Hasse concerning multiplicative relations of Gaussian sums, J. Combinatorial Theory 1 (1966), 476–489. MR 213311
Yun-cheng Zee, The Jacobi sums of orders thirteen and sixty and related quadratic decompositions, Math. Z. 115 (1970), 259–272. MR 262202, DOI 10.1007/BF01129976