{"entities":{"Q2586151":{"pageid":2596894,"ns":120,"title":"Item:Q2586151","lastrevid":44409147,"modified":"2025-11-22T18:10:54Z","type":"item","id":"Q2586151","labels":{"en":{"language":"en","value":"Sur les nombres \\(x^2 - 1\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2505800"}},"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":"Q2586151$060FC37A-36B9-4D6C-96C5-1762635EECB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2456655671bf9dfd35dcde29b635d686698c3b91","datavalue":{"value":{"text":"Sur les nombres \\(x^2 - 1\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2586151$F2F53BB4-6710-4AF1-9D5C-D0A2861C1C32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca6f9bb6b6048bb20d6ee5d8b223a58b33791bb5","datavalue":{"value":"66.0146.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586151$1D2640FD-55AB-4C6E-BED9-04E0EA900DCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d212584923eb796be2e3337b47ba6b833184b16","datavalue":{"value":{"entity-type":"item","numeric-id":572214,"id":"Q572214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586151$929D061F-0506-4F8F-BD33-3964A4B05098","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae60a4ef1761ab9a2c91187277eb65def923cc2","datavalue":{"value":{"entity-type":"item","numeric-id":563080,"id":"Q563080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586151$A490EB6E-7CEF-400C-B1D6-A1FCACF08734","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1701512ca85d58575d88b06da5ab938c2d9a4cd9","datavalue":{"value":{"time":"+1940-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2586151$BA682197-5AA8-44E7-B526-49DDB8DBD413","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f5b8674377f537670ea9c4d16388b4e30919079","datavalue":{"value":"Es handelt sich um den Nachweis der Unm\u00f6glichkeit von (1) \\(x^2 - 1 = y^n\\) in ganzen rationalen Zahlen \\(n\\) (\\(\\geqq 5\\), ungerade), \\(x(\\neq \\pm 1, \\pm 3), y\\). (Den Fall \\(n = 3\\) hat \\textit{Euler} erledigt.) Nach \\textit{Nagell} (Norske Vid. Selsk. Forhdl. 7 (1935), 136-139; F. d. M. \\(61_{\\text{I}}\\), 148) ist (1) sicher unl\u00f6sbar, au\u00dfer wenn \\(n\\) eine Primzahl \\(\\equiv 1\\) (mod 8) und in der Grundeinheit \\(\\varepsilon = u + v\\sqrt{n}\\) (\\(> 1\\)) des K\u00f6rpers \\(k(\\sqrt{n}) u - v \\equiv -1\\) (mod 8) ist. (Ref. bemerkt, da\u00df letztere Bedingung sich auch in der Form \\(\\dfrac u4 \\equiv \\dfrac{n-1}{8}\\) (mod 2) angeben l\u00e4\u00dft.) Verf. beweist eine Reihe S\u00e4tze verschiedener Natur, die \\(n\\) noch weiter, au\u00dferdem \\(x\\) und \\(y\\) einschr\u00e4nken. Dabei ist ihm entgangen, da\u00df f\u00fcr eine Primzahl \\(p\\) und eine zu \\(p\\) prime ganze rationale Zahl \\(c\\) die Zahlen \\(c\\) und \\(c^r\\) (\\((r, p) = 1\\)) nur gleichzeitig \\(p\\)-te Potenzreste mod \\(p^2\\) sein k\u00f6nnen. Auch verga\u00df er, auf das Eulersche Kriterium f\u00fcr Potenzreste R\u00fccksicht zu nehmen. So kam es, da\u00df er mehr bewiesen hat, als er es selber meinte. Satz \\(1\\alpha\\)) l\u00e4\u00dft sich einfach so formulieren (nachher bedeutet \\(n\\) eine Primzahl): \\ (I) Es ist (1) unl\u00f6sbar, wenn \\(2^{n-1} \\not\\equiv 1\\) (mod \\(n^2\\)) (im Originaltext stehen zwei Bedingungen, die einander und der angegebenen inhaltlich gleich sind). Satz 2 lautet (in unver\u00e4nderter Form): \\ (II) Es ist (1) unl\u00f6sbar, wenn \\(3^{n-1} \\not\\equiv 1\\) (mod \\(n^2\\)). Satz \\(1\\beta\\)) \\ ``(1) ist unl\u00f6sbar, wenn \\(2^{n-2}\\) ein \\(n\\)-ter Potenzrest mod \\(n^2\\) und \\(2^{n-1} \\not\\equiv 1\\) (mod \\(n^2\\)) ist'' ist inhaltlos, weil die zwei Bedingungen gegens\u00e4tzlich sind. Satz 3 sollte sich auf regul\u00e4re \\(n\\) beziehen, ist aber nur ein Teil von (I). Aus (I) und (II) folgt, da\u00df (1) f\u00fcr \\(n < 3529\\) unl\u00f6sbar ist. Von den \u00fcbrigen S\u00e4tzen seien noch erw\u00e4hnt: \\ (1) hat bei festem \\(n\\) h\u00f6chstens eine L\u00f6sung. In einer L\u00f6sung mu\u00df \\(x\\) (im Zehnersystem) wenigstens \\(14\\,000\\) Ziffern haben. Es werden noch einige verwandte Fragen ber\u00fchrt. Die einfachen Beweise beruhen auf S\u00e4tzen von Lubelski, Nagell, Siegel und Vandiver. Ref. mu\u00df noch auf den st\u00f6renden Fehler hinweisen, da\u00df an einigen Stellen statt ``\\(p\\)-ter Potenzrest'' falsch ``Potenzrest'' steht.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2586151$DD1BC5BF-19EF-4F48-BCD5-BE1106A4B7D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d0f79dfbdeb07c980dd3c22d4827c71599c4ea9","datavalue":{"value":"2505800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586151$55BB4054-30C2-488E-8F07-A14019174B73","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":"Q2586151$7DB78FD3-27EF-4DE0-B527-F97D1A957EB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2586151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2586151"}}}}}