Vandiver revisited
type: Item
instance of: scholarly article
title: Vandiver revisited
zbMATH Open document ID: 0855.11057
author: Sankar Sitaraman
published in: Journal of Number Theory
publication date: 1996-12-03T00:00:00Z
review text: Fermat's last theorem, the assertion that there are no non-zero integer solutions \(x, y, z, n>2\) to \(x^n+ y^n= z^n\), was recently proved by \textit{A. Wiles} [Ann. Math., II. Ser. 141, 443-551 (1995; Zbl 0823.11029)], after several centuries of work by many mathematicians. Vandiver, during the first half of this century, tried to develop the theory of cyclotomic fields to a state that one could finally prove Fermat's last theorem -- indeed Kummer had already shown that if there were to be a solution with \(n=p\) prime then the \(p\)th cyclotomic field would have to have many very strange and unlikely properties. At one point \textit{H. S. Vandiver} mistakenly claimed [Bull. Am. Math. Soc. 40, 118-126 (1934; Zbl 0009.00701)] that he could prove that if a prime \(p\) does not divide the class number, \(h^+\), of \(\mathbb{Q} (\zeta_p+ \zeta_p^{-1})\) (where \(\zeta_p= e^{2i\pi/ p})\) then any solution to \(x^p+ y^p= z^p\) has \(xyz\) divisible by \(p\). It is conjectured (apparently by both Kummer and Vandiver independently) that \(p\) never does divide this class number. Since Vandiver's paper contained many interesting ideas there have been several attempts to resurrect his proof by patching up his mistakes. The paper under review is born from such an attempt. Fix a prime \(p\), and try to find a positive integer \(k\) such that \(x^n+ y^n= z^n\) has no integer solutions where \(p\) does not divide \(x\), \(y\), \(z\), and where \(n= p^k\). \textit{L. C. Washington} [J. Reine Angew. Math. 289, 115-117 (1977; Zbl 0337.10010)] showed that this is so provided \(p^{k+[ \sqrt {p} ]-3}\) does not divide \(h/ h^+\), where \(h\) is the class number of \(\mathbb{Q} (\zeta_p)\). The \(p\)-Sylow subgroup, \(C_p\), of the class group of \(\mathbb{Q} (\zeta_p)\), can be decomposed into a direct sum of eigenspaces \(C_p^{(j)}\). The Herbrand-Ribet theorem states \(C_p^{(j)}\) is non-trivial if and only if \(p\) divides the Bernoulli number \(B_{p-j}\). It was Cauchy who showe…
Mathematics Subject Classification ID: 11R29
Mathematics Subject Classification ID: 11R18
Mathematics Subject Classification ID: 11D41
zbMATH DE Number: 874234
zbMATH Keywords: Fermat's last theorem
zbMATH Keywords: \(p\)-Sylow subgroup of the class group
zbMATH Keywords: cyclotomic fields
zbMATH Keywords: class number
zbMATH Keywords: Herbrand-Ribet theorem
reviewed by: Andrew Granville
MaRDI profile type: Publication
full work available at URL: jnth.1996.0038
OpenAlex ID: W4210609120
DOI: 10.1006/JNTH.1996.0038
Recommended article: On Vandiver’s Best Result on FLT1
Recommended article: Q4203381
Recommended article: Q4751527
Recommended article: On a cyclotomic unit and related products
Recommended article: An observation on the first case of Fermat's last theorem
Recommended article: The first case of Fermat's last theorem
Recommended article: Q4341985
Recommended article: On a Fermat-type Diophantine equation
Recommended article: Q5612613
Recommended article: Q4249722
description: scientific article; zbMATH DE number 874234