{"entities":{"Q2482911":{"pageid":2493654,"ns":120,"title":"Item:Q2482911","lastrevid":50344373,"modified":"2026-01-13T20:57:05Z","type":"item","id":"Q2482911","labels":{"en":{"language":"en","value":"Catalan's conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5268085"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482911$8FD77E0D-1A8C-41E2-869A-466882D8C84F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad1246abf4b25066ecb9506b69037ede9ad2e237","datavalue":{"value":{"text":"Catalan's conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2482911$F099C2CE-1FDD-4C47-87C8-4F7570E8A2F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ccd0f1012f4cb0e118215ca78fc53ab0c5f6b3b","datavalue":{"value":"1186.11018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482911$2698D5BF-44F0-4DEE-AA77-1EB5F2E1EFB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8add31f26cdbf28161a196bae4082822a85ebe4b","datavalue":{"value":{"entity-type":"item","numeric-id":166422,"id":"Q166422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482911$9EFAA4EF-3806-42B5-97BD-5AD52EA9C151","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e04dc5261c233b410a9337ed726ed89fa4df984","datavalue":{"value":{"time":"+2008-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2482911$1BB8880D-8F1D-4AE3-949F-E99A402BDD35","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"581338bc5daee9a5911d1892d5875b74b4e0e503","datavalue":{"value":"The Catalan Conjecture (1844) asserts that the only consecutive integers which are both pure powers are \\(8\\) and \\(9\\); in other words, the only solution of the Diophantine equation  \\[  x^p - y^q = 1 \\tag{E} \\]  in integers \\(x\\), \\(y\\), both \\({}>1\\), and \\(p\\) and \\(q\\) are prime numbers, is given by \\(3^2 - 2^3 = 1\\). It appeared in a letter of Eug\u00e8ne Catalan to the Editor of Crelle's Journal.   This conjecture was proved in 2002 by \\textit{P. Mih\u0103ilescu} [``Primary cyclotomic units and a proof of Catalan's conjecture'', J. Reine Angew. Math. 572, 167--195 (2004; Zbl 1067.11017)], see also the Bourbaki lecture given by \\textit{Yu. Bilu} [Catalan's conjecture (after Mih\u0103ilescu). Bourbaki seminar. Volume 2002/2003. Expos\u00e9s 909--923. Paris: Soci\u00e9t\u00e9 Math\u00e9matique de France. Ast\u00e9risque 294, 1--26, Exp. No. 909 (2004; Zbl 1094.11014)].   In this booklet the author gives a complete proof of this theorem in less than 120 pages.    First, the author treats the case where \\(pq\\) is even, solved elementarily by V. A. Lebesgue (1850) for \\(q=2\\), and by Ko Chao (1965) for \\(p=2\\), respectively. From now on we assume that \\(p\\) and \\(q\\) are odd.   Then the author goes on with Cassels' fundamental result (1960) -- that is, \\(p\\) divides \\(y\\) and \\(q\\) divides \\(x\\) -- which uses Diophantine approximation; more precisely he shows that Cassels' proof belongs to Runge's method, which is rather surprising for a divisibility result. This result is used in all the proofs of Mih\u0103ilescu's theorems. In particular, it easily implies that the solutions of (E), if any, must be very large.   In the two following chapters, using the elementary theory of cyclotomic fields and especially the minus class group, by an argument of Mih\u0103ilescu, it is proved -- without any computer verification -- that if there is another solution than \\(9-8=1\\) then \\(p\\) and \\(q\\) are \\({}\\geq 41\\).   After a chapter devoted to Stickelberger's theorem, the first of the main three steps of \\textit{P. Mih\u0103ilescu}'s proof is obtained: his nice class number free criterion involving the double Wieferich pairs [J. Number Theory 99, No. 2, 225--231 (2003; Zbl 1049.11036)]:   Theorem 1. If \\(p\\) and \\(q\\) are odd primes such that (E) has a non trivial solution then  \\[  p^{q-1}\\equiv 1 \\pmod{q^2}\\quad \\text{and}\\quad q^{p-1}\\equiv 1 \\pmod{p^2}.  \\]   The next chapter contains a proof of the following result:   Theorem 2. -- (Mih\u0103ilescu, 2003) If \\(p\\) and \\(q\\) are odd primes such that (E) has a non trivial solution then  \\[  p < 4q^2 \\quad \\text{and}\\quad q < 4 p^2.  \\]   The proof uses subtle cyclotomic properties and an ``Archimedean'' argument (namely that \\(x\\) and \\(y\\) must be very large, as noticed above).   Then, to conclude the proof, following Mih\u0103ilescu, it remains to prove that  \\[  p \\equiv 1 \\pmod q\\quad \\text{and}\\quad q \\equiv 1\\pmod p. \\]  [It is easy to see that this result contradicts the inequalities of Theorem 2, proving that Catalan's equation has no other solution than \\(9-8=1\\).] This step is by far the most difficult one, its proof uses the deep Thaine's theorem and a very tricky application of Runge's method.   This nice booklet is very well written, with a lot of useful remarks, comments and exercises.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482911$22C4F7A1-15E5-406E-89BE-6BC40DEEA471","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5c1bc0c62610848362f0e1b120e8f734298f7305","datavalue":{"value":"11D61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482911$A477D92F-83A6-47BF-8A56-A1D989CDB2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"067dd3e8e57dae9cdb00a71330df035b9357faf5","datavalue":{"value":"11-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482911$877143E2-0072-439E-9874-5DD7B1A3F795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482911$89B1934A-967F-46AE-817E-37A18E46B098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c62dcdab30534531627492ab560a7deb5759228e","datavalue":{"value":"11D41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482911$2DFED0F5-8F42-4986-9AF3-88C0D3E0044F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ad55ebef8d969aea61912bd9248023ecd0a7c39","datavalue":{"value":"5268085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482911$7BDF06BA-E85F-456A-9672-4FFC6645C058","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3b90eeecd2228301769a0830cc8245f08466213","datavalue":{"value":"Catalan's equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482911$4BF55573-2B0F-4B8C-8514-DB7D7AD0B805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0caf5dfaa06e951676a026cc5e3b53ab75a11f40","datavalue":{"value":"cyclotomy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482911$692F0395-1754-440C-91DD-A08A786BE788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a7c9ee3e31ef4962c4c04c00d6b9313ebc7388b","datavalue":{"value":"Stickelberger theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482911$4D7D69BD-B629-4337-AA86-19A9F6F1272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bad0112e17861145238ba2eb8b2e9deceade8ab0","datavalue":{"value":"Thaine theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482911$C776C0A1-4989-4E71-86F3-D31953DE4853","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d99e36eceb4a14dfd4891d4d94c74baa6172d69d","datavalue":{"value":{"entity-type":"item","numeric-id":199207,"id":"Q199207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482911$A45F817B-EA1C-497E-87D6-728E8FF514BD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7b37a6de3a76a2f46603d2a1e14f19e4a44922ce","datavalue":{"value":{"entity-type":"item","numeric-id":168882,"id":"Q168882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482911$322F203A-43FB-4E08-96E8-3694F7307468","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482911$EB2882A7-8258-4A4D-9D0C-F62471AAA5AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215187ca1533db3a40f0f32798e48c9de8b8160","datavalue":{"value":{"entity-type":"item","numeric-id":5489055,"id":"Q5489055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614de54845b3397a0efe32dcdd6792135cc0c2ef","datavalue":{"value":{"amount":"+0.9535278677940368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2482911$88A38E5A-63E8-4D57-A386-137D72B25E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"965a4219738f315d6d74206f44be1c78640fcb62","datavalue":{"value":{"entity-type":"item","numeric-id":4810865,"id":"Q4810865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0f112dff7cf06f18f154196b8dfbdab37c3243","datavalue":{"value":{"amount":"+0.9050612449645996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2482911$33703AEC-74C4-468C-A3A9-D2A63611E7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5ffaf838e3c450386099b92d04765b8b6cd80b","datavalue":{"value":{"entity-type":"item","numeric-id":4452145,"id":"Q4452145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17071473f7963710c812ad3a3fa113a40f2c492d","datavalue":{"value":{"amount":"+0.9041454195976256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2482911$95C1B29A-F3BE-493B-8F05-076E960F2C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd28b6d05ef3be9996b003f4d55aa2b5e4885878","datavalue":{"value":{"entity-type":"item","numeric-id":1874318,"id":"Q1874318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d0f248ce23d0f7fa8e9db1f21fbab12783479c","datavalue":{"value":{"amount":"+0.8906567692756653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2482911$7631E877-760B-4BD8-AAF1-0691655DBF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"242f5dfc7a5aa8fdd581a5b2aef38e425e79424d","datavalue":{"value":{"entity-type":"item","numeric-id":2878854,"id":"Q2878854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383e533d24c679f6a41ae3a09c169f97d5c8d601","datavalue":{"value":{"amount":"+0.8860690593719482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2482911$56FBC433-1495-42E9-AE61-A6F97EFFDF56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2482911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2482911"}}}}}