The prime factors of Wendt’s binomial circulant determinant
HTML articles powered by AMS MathViewer
- by Greg Fee and Andrew Granville PDF
- Math. Comp. 57 (1991), 839-848 Request permission
Abstract:
Wendt’s binomial circulant determinant, ${W_m}$, is the determinant of an m by m circulant matrix of integers, with (i, j)th entry $\left ( {\begin {array}{*{20}{c}} m \\ {|i - j|} \\ \end {array} } \right )$ whenever 2 divides m but 3 does not. We explain how we found the prime factors of ${W_m}$ for each even $m \leq 200$ by implementing a new method for computations in algebraic number fields that uses only modular arithmetic. As a consequence we prove that if p and $q = mp + 1$ are odd primes, 3 does not divide m, and $m \leq 200$, then the first case of Fermat’s Last Theorem is true for exponent p.References
- David W. Boyd, The asymptotic behaviour of the binomial circulant determinant, J. Math. Anal. Appl. 86 (1982), no. 1, 30–38. MR 649851, DOI 10.1016/0022-247X(82)90250-5
- Bruce W. Char, Keith O. Geddes, and Gaston H. Gonnet, GCDHEU: heuristic polynomial GCD algorithm based on integer GCD computation, EUROSAM 84 (Cambridge, 1984) Lecture Notes in Comput. Sci., vol. 174, Springer, Berlin, 1984, pp. 285–296. MR 779134, DOI 10.1007/BFb0032851
- Don Coppersmith, Fermat’s last theorem (case $1$) and the Wieferich criterion, Math. Comp. 54 (1990), no. 190, 895–902. MR 1010598, DOI 10.1090/S0025-5718-1990-1010598-2
- Peter Dénes, An extension of Legendre’s criterion in connection with the first case of Fermat’s last theorem, Publ. Math. Debrecen 2 (1951), 115–120. MR 47068
- G. Faltings, Endlichkeitssätze für abelsche Varietäten über Zahlkörpern, Invent. Math. 73 (1983), no. 3, 349–366 (German). MR 718935, DOI 10.1007/BF01388432
- J. S. Frame, Factors of the binomial circulant determinant, Fibonacci Quart. 18 (1980), no. 1, 9–23. MR 570658
- Gilbert Fung, Andrew Granville, and Hugh C. Williams, Computation of the first factor of the class number of cyclotomic fields, J. Number Theory 42 (1992), no. 3, 297–312. MR 1189508, DOI 10.1016/0022-314X(92)90095-7 P. Furtwängler, Letzter Fermatscher Satz und Eisensteinsches Reziprozitätsprinzip, Sitzungsber. Akad. Wiss. Wien. Abt. IIa 121 (1912), 589-592. A. Granville, Diophantine equations with varying exponents (with special reference to Fermat’s Last Theorem), Doctoral thesis, Queen’s University, Kingston, Ontario, 1987.
- Andrew Granville and Barry Powell, On Sophie Germain type criteria for Fermat’s last theorem, Acta Arith. 50 (1988), no. 3, 265–277. MR 960554, DOI 10.4064/aa-50-3-265-277 G. H. Hardy and S. Ramanujan, The normal number of prime factors of a number n, Quart. J. Math. 48 (1917), 76-92.
- M. Krasner, À propos du critère de Sophie Germain-Furtwängler pour le premier cas du théorème de Fermat, Mathematica, Cluj 16 (1940), 109–114 (French). MR 0001751 A. M. Legendre, Recherches sur quelques objets d’analyse indéterminée et particulièrement sur le théorème de Fermat, Mém. Acad. Sci. Inst. France 6 (1823), 1-60.
- Michael A. Morrison and John Brillhart, A method of factoring and the factorization of $F_{7}$, Math. Comp. 29 (1975), 183–205. MR 371800, DOI 10.1090/S0025-5718-1975-0371800-5
- J. M. Pollard, Theorems on factorization and primality testing, Proc. Cambridge Philos. Soc. 76 (1974), 521–528. MR 354514, DOI 10.1017/s0305004100049252
- Paulo Ribenboim, 13 lectures on Fermat’s last theorem, Springer-Verlag, New York-Heidelberg, 1979. MR 551363, DOI 10.1007/978-1-4684-9342-9 M. A. Stern, Einige Bemerkungen über eine Determinante, J. Reine Angew. Math. 73 (1871), 379-380.
- Jonathan W. Tanner and Samuel S. Wagstaff Jr., New congruences for the Bernoulli numbers, Math. Comp. 48 (1987), no. 177, 341–350. MR 866120, DOI 10.1090/S0025-5718-1987-0866120-4 E. Wendt, Arithmetische Studien über den letzten Fermatschen Satz, welcher aussagt, dass die Gleichung ${a^n} = {b^n} + {c^n}$ für $n > 2$ in ganzen Zahlen nicht auflösbar ist, J. Reine Angew. Math. 113 (1894), 335-347. A. Wieferich, Zum letzten Fermat’sehen Theorem, J. Reine Angew. Math. 135 (1909), 293-302.
Additional Information
- © Copyright 1991 American Mathematical Society
- Journal: Math. Comp. 57 (1991), 839-848
- MSC: Primary 11Y50; Secondary 11C20, 11D41, 11R18, 11Y40
- DOI: https://doi.org/10.1090/S0025-5718-1991-1094948-8
- MathSciNet review: 1094948