Abstract
As we have seen before, Catalan’s problem would be solved if we show that a solution of Catalan’s equation gives rise to a nontrivial element in the real part of Mihăilescu’s ideal. It is natural to look for such elements in the annihilator of the class group. (More precisely, we want to annihilate a related group, called here the qth Selmer group.) Unfortunately, Stickelberger’s theorem is not suitable for this purpose, because the real part of Stickelberger’s ideal is uninteresting. In 1988 Thaine discovered a partial “real” analogue of Stickelberger’s theorem, and Mihăilescu showed that Thaine’s theorem is sufficient for solving Catalan’s problem. In this chapter we reproduce Mihăilescu’s argument.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
We do not assume from our reader any knowledge of the theory of elliptic curves.
- 2.
Recall that the q-torsion subgroup of a multiplicatively written abelian group A is \(A[q] =\{ x \in A: x^{q} = 1\}\).
- 3.
Alternatively, one could determine both dimensions using Proposition D.13.
References
Thaine, F.: On the ideal class groups of real abelian number fields. Ann. Math. 128, 1–18 (1988)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Bilu, Y.F., Bugeaud, Y., Mignotte, M. (2014). Selmer Group and Proof of Catalan’s Conjecture. In: The Problem of Catalan. Springer, Cham. https://doi.org/10.1007/978-3-319-10094-4_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-10094-4_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10093-7
Online ISBN: 978-3-319-10094-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)