zbMATH — the first resource for mathematics

On Fermat’s last theorem and the arithmetic of \({\mathbb{Z}}[\zeta _ p+\zeta _ p^{-1}]\). (English) Zbl 0654.10018
The well-known criterion of Kummer (1857) concerning the first case of Fermat’s last theorem can be formulated as follows: “If a, b, c are integers, p an odd prime, p does not divide abc, and \(a^ p+b^ p+c^ p=0,\) then \(\phi_{p-2h}(t)B_{2h}\equiv 0 (\bmod p)\quad (1\leq h\leq (p-3)/2)\) for each \(t\in G=\{a/b, a/c, b/a, b/c, c/a, c/b\}\).” Here \(B_{2h}\) means the Bernoulli numbers and \(\phi_ i(t)=\sum^{p- 1}_{j=1}(-1)^{j-1} j^{i-1} t\quad j\) is the Mirimanoff polynomial.
The main result of this paper extends the Kummer criterion into the following “complement” form: “Under assumption of the Kummer criterion and if p divides \(B_{p-1-2h}\) for some h \((1\leq h\leq (p-3)/2)\) but \(\prod^{p-1}_{k=1}(1-\zeta \quad k)^{k^{2k}}\) is not a pth power in \({\mathbb{Z}}[\zeta]\) (\(\zeta\) is a primitive pth root of unity), then \(\phi_{p-1-2h}(t)\equiv 0 (\bmod p)\) for each \(t\in G.''\)
Some further assertions on Fermat’s last theorem are mentioned. The proofs are based on a “Stickelberger like” theorem on annihilation of some elements from a special group ring \({\mathbb{Z}}[\Delta]\) on the p-Sylow subgroup of the ideal class group of \({\mathbb{Q}}(\zeta +\zeta^{-1}).\)
Reviewer: L.Skula

11D41 Higher degree equations; Fermat’s equation
11R18 Cyclotomic extensions
11B39 Fibonacci and Lucas numbers and polynomials and generalizations
Full Text: DOI
[1] Ribenboim, P., ()
[2] Washington, L.C., (), Graduate Texts in Mathematics
[3] Mirimanoff, D., L’équation indéterminée xl + yl + zl = 0 et le critérium de Kummer, J. reine angew. math., 128, 45-68, (1905)
[4] Thaine, F., Polynomials generalizing binomial coefficients and their application to the study of Fermat’s last theorem, J. number theory, 15, 304-317, (1982) · Zbl 0504.10009
[5] Thaine, F., On the first case of Fermat’s last theorem, J. number theory, 20, No. 2, 128-142, (1985) · Zbl 0571.10016
[6] {\scF. Thaine}, On the ideal class groups of real Abelian number fields, Ann. of Math. to appear. · Zbl 0665.12003
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.