{"entities":{"Q1108304":{"pageid":1119053,"ns":120,"title":"Item:Q1108304","lastrevid":49202545,"modified":"2026-01-06T18:28:15Z","type":"item","id":"Q1108304","labels":{"en":{"language":"en","value":"On Fermat's last theorem and the arithmetic of \\({\\mathbb{Z}}[\\zeta _ p+\\zeta _ p^{-1}]\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4067005"}},"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":"Q1108304$51CC72DE-86FD-4BC1-81FB-8227509B1C02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b5caf2b1e16d4f93df8c50b2e301e67f7c6e4bf","datavalue":{"value":{"text":"On Fermat's last theorem and the arithmetic of \\({\\mathbb{Z}}[\\zeta _ p+\\zeta _ p^{-1}]\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1108304$4A8E0ACF-4C03-49F5-8278-C4F0CD0E9C6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"834bcad803e34b6fafdfdc0a1f096aae85f77459","datavalue":{"value":"0654.10018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108304$AB9A3665-C05F-439B-A29B-C2901D001353","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83c2a8c65031de5a6439c0220310ac8b04a3c41f","datavalue":{"value":"10.1016/0022-314X(88)90107-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108304$13FBABDA-1B1F-4645-BD00-C79A669FD7B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3daa6417a12ca9dacee5ec652e1133d523ccc9","datavalue":{"value":{"entity-type":"item","numeric-id":1061762,"id":"Q1061762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108304$ADC1D3DC-F175-4C39-BA19-557B1350B47A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108304$B3E6E87A-5A7F-4DAC-9880-DCF14CD298E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1108304$FAD70D61-6C21-45DB-B0B8-B379162D21F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"798ee67dbd378bdcf44ea0ad0d6aeb9bc425399b","datavalue":{"value":"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}).\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108304$A83EE0F1-4C65-47B3-94EB-96231DB292BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c62dcdab30534531627492ab560a7deb5759228e","datavalue":{"value":"11D41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108304$BF606BBE-5B3F-4DE4-BECE-8FAEA258A96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108304$BA9D323B-0A32-4043-994D-15BAE63F18F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc5a5c9dd2865ab4417f7cabfcec0ef477e1206","datavalue":{"value":"11B39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108304$2290A8CE-DE95-41C2-B6F4-4AC1992F9C7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aedf94ee906387be58712bea2eeb04c7969f8202","datavalue":{"value":"4067005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108304$A6CFEE58-E518-4FDA-931E-F68F170BFC91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18e70fdc1e25c8ab1461841c7666f1f1e7bf426","datavalue":{"value":"annihilation on class group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108304$4179EAD1-1B30-4667-ADC6-9774E295CE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba789499636070f2d2db553b5b3f86a25020897b","datavalue":{"value":"first case of Fermat's last theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108304$1DED84E0-3CC8-4A8C-8EA0-78FD508FB967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083d2f9f3217683f1b6f78d6299477d8b7dfe8de","datavalue":{"value":"Bernoulli numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108304$AA582E55-82C4-4057-9674-596A4F0E5334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"210b1745e51c88c7732953474b18c52875ed4fcd","datavalue":{"value":"Mirimanoff polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108304$7446C768-07C2-4195-B982-553224E5CA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3022d0546df550c9f2ff39f0327e95d7fa57ca3","datavalue":{"value":"Kummer criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108304$242BF9C0-498B-4500-A4CC-60821630BA9B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"11c6ee72db6a1595c302ec495a8cbae324d7c3a3","datavalue":{"value":{"entity-type":"item","numeric-id":551312,"id":"Q551312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108304$578BF7A5-27C4-4EA7-9CD7-9F28B4699984","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":"Q1108304$51FF531C-C9DB-4594-9AFB-92534563DFCC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"595f83fa375be2b3feb18a6cdd45cb1399bf39a2","datavalue":{"value":{"entity-type":"item","numeric-id":3904661,"id":"Q3904661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108304$BA01D3CF-0104-448B-9B59-AF3C8E6E0FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d03ed71298ee9649c6d5be8aa186910c728ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3943047,"id":"Q3943047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108304$85A5EA92-E339-4B3E-9FCF-90B4180DE2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8356b24215dcbfc38e02df27b0ea0c5bcc6e7e07","datavalue":{"value":{"entity-type":"item","numeric-id":1835694,"id":"Q1835694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108304$5562A972-46AE-492D-B068-15BB657DF3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1832e009bcc7dab2db2b79f289b5dc2b4189a00","datavalue":{"value":{"entity-type":"item","numeric-id":1061763,"id":"Q1061763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108304$CF473588-1586-481E-A0F4-DE68A0A8AE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2076a4918a0cc8dd81cc36b177a045d82ac06753","datavalue":{"value":{"entity-type":"item","numeric-id":1115911,"id":"Q1115911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108304$60224586-38B0-43C7-BD94-566094C58C09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0b99f2850378dd473b9d3b3430ba005f1ba8a3","datavalue":{"value":{"entity-type":"item","numeric-id":1061763,"id":"Q1061763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f884d1b60fb944471a40212694cd1b4351f76d1c","datavalue":{"value":{"amount":"+0.8448266386985779","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":"Q1108304$3F282F07-7803-4FDB-8D6C-A8EB884FC55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecfa849eb35bd0e4daffc003c0e8d05128fa8e5","datavalue":{"value":{"entity-type":"item","numeric-id":3757966,"id":"Q3757966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd131211bd193deb0f84d272190f2034b709b8bf","datavalue":{"value":{"amount":"+0.8429327607154846","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":"Q1108304$0E9E5459-68A8-4F98-BF6E-9AB8B1ABE7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53bdc0755c18a5e9f66a2d091af6591b49e1088b","datavalue":{"value":{"entity-type":"item","numeric-id":4325736,"id":"Q4325736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c46aaafd4ee4ac0c8f92db59bf4975d49e4e6ff","datavalue":{"value":{"amount":"+0.8378357887268066","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":"Q1108304$D927A0A6-9E56-4BE3-9AFE-2D280CBC61B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e2aaeaa193d30e7df128d3820a9a2c0a716585","datavalue":{"value":{"entity-type":"item","numeric-id":1074621,"id":"Q1074621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755a434669f4278e0b1d5afb79fa70504f1cdc07","datavalue":{"value":{"amount":"+0.8359717130661011","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":"Q1108304$825732A1-146C-4845-AA5D-0A03A1FCA474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36402a57c2de1ce6282fc43d7685f83859d63445","datavalue":{"value":{"entity-type":"item","numeric-id":2648527,"id":"Q2648527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9060006f55e5860602edda8cf9283e4abe5145f3","datavalue":{"value":{"amount":"+0.8330098390579224","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":"Q1108304$3C887FE4-3594-4D54-B1C6-78DFEA4EE3AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1108304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1108304"}}}}}