×

Fermat’s last theorem and Bezout’s theorem in GCD domains. (English) Zbl 0770.13014

The author considers the extent to which cases of Fermat’s “last theorem” may be proved in discretely ordered rings which have some weak form of induction.
J. C. Shepherdson [Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 12, 79-86 (1964; Zbl 0132.247)] constructed models of open induction in which \(x^ n+y^ n=z^ n\) has solutions for every natural number \(n\). Here the author considers models of open induction in which every pair of elements has a gcd. More generally he considers \(\mathbb{Z}\)- rings which have gcd’s (a \(\mathbb{Z}\)-ring is a discretely ordered ring which, when factored by the ideal generated by \(n\) (for any \(n)\), is isomorphic to the integers modulo \(n)\). He shows that Germain’s theorem holds in such rings and deduces that if \(p\) is an odd prime not congruent to 1 modulo 8 then case 1 of Fermat’s last theorem holds in the ring for \(n=2p\) (that is, for any solution to \(x^ n+y^ n=z^ n\), \(n\) must divide \(xyz)\). — The author also proves that in any model of the stronger system of bounded existential induction [G. Wilmers, J. Symb. Logic 50, 72-90 (1985; Zbl 0634.03029)] Fermat’s last theorem holds for \(n=2,6,10\).
The paper is accessible and clearly written.

MSC:

13F15 Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial)
03C62 Models of arithmetic and set theory
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bolker, E. D., Solutions of \(A^k + B^k = C^{k\) · Zbl 0164.04902
[2] Bolker, E. D., Elementary Number Theory (1969), Benjamin: Benjamin New York
[3] Dickson, L. E., History of the Theory of Numbers, Vol. II: Diophantine Analysis (1952), Chelsea, New York
[4] van den Dries, L. P.D., Some model theory and number theory for models of weak systems of arithmetic, (Proceedings of the Conference on Model Theory of Algebra and Arithmetic, Kapacz, 1979. Proceedings of the Conference on Model Theory of Algebra and Arithmetic, Kapacz, 1979, Lecture Notes in Mathematics, 834 (1980), Springer: Springer Berlin), 346-362 · Zbl 0397.06017
[5] Edwards, H. M., Fermat’s Last Theorem (1977), Springer: Springer Berlin
[6] Jacobson, N., Basic Algebra, I (1974), Freeman: Freeman San Francisco, CA · Zbl 0284.16001
[7] Kapferer, H., Archiv. Math. Phys., 3, 21, 143-146 (1913)
[8] Kausler, C. F., Nova Acta Acad. Sc. Petrop., 15, 146-155 (1806), ad annos
[9] (Weil, A., Collected Papers, Vol. I (1975), Springer: Springer Berlin), 135-142, Reprinted in
[10] Lebesgue, V. A., J. de Math., 5, 184-185 (1840)
[11] Mordell, L. J., Diophantine Equations (1969), Academic Press: Academic Press London · Zbl 0188.34503
[12] Pocklington, H. C., Proc. Cambridge Philos. Soc., 17, 119-120 (1913)
[13] Ribenboim, P., 13 Lectures on Fermat’s Last Theorem (1979), Springer: Springer Berlin · Zbl 0456.10006
[14] Shepherdson, J. C., A nonstandard model for a free variable fragment of number theory, Bull. l’Acad. Pol. Sci., 12, 79-86 (1964) · Zbl 0132.24701
[15] S.T. Smith, Building discretely ordered Bezout domains and GCD domains, J. Algebra, to appear.; S.T. Smith, Building discretely ordered Bezout domains and GCD domains, J. Algebra, to appear. · Zbl 0799.13010
[16] Smith, S. T., On the diophantine equation \(x^{10}\) ± \(y^{10} = z^2\), J. Pure Appl. Algebra, 79, 1, 87-108 (1992), (this issue). · Zbl 0779.11018
[17] Tanner, J. W.; Wagstaff, S. S., Math. Comp., 48, 341-350 (1987)
[18] Terjanian, G., Sur l’équation \(x^{2p} + y^{2p\) · Zbl 0373.10012
[19] Wilkie, A. J., Some results and problems on weak systems of arithmetic, (Macintyre, A. J.; etal., Logic Colloquium ’77 (1978), North-Holland: North-Holland Amsterdam), 285-296 · Zbl 0449.03076
[20] Wilmers, G., Bounded existential induction, J. Symbolic Logic, 50, 1, 72-90 (1985) · Zbl 0634.03029
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.