{"entities":{"Q5904221":{"pageid":8015299,"ns":120,"title":"Item:Q5904221","lastrevid":93596318,"modified":"2026-06-05T04:40:29Z","type":"item","id":"Q5904221","labels":{"en":{"language":"en","value":"Units of irregular cyclotomic fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3657901"}},"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":"Q5904221$914D849C-D921-4766-A8AD-6409F8AA4623","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bec728865c05e2eb99f73fca334eddf79a0c0ec","datavalue":{"value":{"text":"Units of irregular cyclotomic fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5904221$B2B04005-B17F-4A2F-BDD5-FF442C70E801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d13e6ccc81fbcb7253d89f6ac6ce6f1cbc15160b","datavalue":{"value":"0423.12005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904221$A5B01987-BB77-4165-A7E8-635E58D27FC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5904221$E5117B98-8546-49C5-85D3-89FCDF2FCE42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q5904221$BE2FCDF8-31E2-4EAE-9BA7-AEB61B4D7874","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf14e42428aade868442ef9027abe000e4a2ab59","datavalue":{"value":"Let \\(B_n\\) denote the \\(n\\)-th Bernoulli number. For even \\(i\\) with \\(2\\le i\\le p-3\\), \\textit{P. D\u00e9nes} [Publ. Math. 3, 17--23 (1954; Zbl 0056.03301); ibid. 3, 195--204 (1954; Zbl 0058.26902); ibid. 4, 163--170 (1956; Zbl 0071.26505)] defined \\(u_i\\) to be the smallest \\(j\\ge 0\\) such that \\(B_{ip^j}\\not\\equiv 0 \\pmod{p^{2j +1}}\\). Under the assumption that \\(u_i\\) is finite, he proved a number of results on units of cyclotomic fields. His proofs used Kummer's logarithmic differential quotient and involved some rather complicated calculations.   In the present paper, it is shown that \\(u_i = v_p(L_p(1;\\omega^i))\\), where \\(L_p\\) is the \\(p\\)-adic \\(L\\)-function and \\(\\omega\\) is the Teichm\u00fcller character. Since \\(L_p(1;\\omega^i)\\ne 0\\) by a result of Ax and Brumer, \\(u_i\\) is finite. The theory of \\(p\\)-adic \\(L\\)-functions is then used to derive D\u00e9nes' results more simple since the logarithmic differential quotient may be replaced by the \\(p\\)-adic logarithm. A basis for the units of the \\(p\\)-th cyclotomic field is constructed which essentially corresponds to the decomposition of the units mod \\(p\\)-th powers via idempotents of the group ring of the Galois group. Let \\(M = \\max v_p(L_p(1;\\omega^i))\\). It is shown that if \\(\\varepsilon\\) is a unit and \\(\\varepsilon \\equiv 1 \\bmod p^{M+1}\\), then \\(\\varepsilon\\) is a \\(p\\)-th power.   As an application, it is proved that if \\(p\\) is irregular and Vandiver's conjecture holds then \\(x^p+y^p=z^{p^M}\\), \\(p\\mid z\\), \\((x,y,z) = 1\\), has no non-trivial integral solutions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904221$E6A298B4-BBEF-427E-A2A8-3EA576AF2242","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904221$A809B4E9-4BA8-4A67-BADB-2CFCDE11E65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904221$AC78B494-81C0-4B25-B9EB-AC6ED8E6594E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2accb57c4f6d8612edc3fe6c9dd2ea40016db3f","datavalue":{"value":"11B68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904221$0493BE07-293D-4904-B0BC-F9C6541636E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c62dcdab30534531627492ab560a7deb5759228e","datavalue":{"value":"11D41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904221$47328CAD-B755-489E-9CBA-02D2F15DA735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"984bdc7d09f60756a4325b5e36707fdaf4419eee","datavalue":{"value":"11S40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904221$2F25C24C-8A59-4298-9BB1-596B93949D5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d4a5fc44352353b9f51b85d84d9ae23f5a4d7d7","datavalue":{"value":"3657901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904221$07C6BB56-0AE6-475D-9364-8632E2CDA0BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33c72d84b6213c72fd6a035417cab48835ac8fac","datavalue":{"value":"Fermat's last theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904221$7E063DCA-44C1-4E03-A49F-732BAB76B72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec15a34107bb38ef5f5abc2a1c884061b0ae0d7","datavalue":{"value":"Bernoulli number","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904221$97B3C4F7-2533-4F83-BC39-9BEBF8F9F5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aab801a105586e5be61c6f435b6d038089bdef9","datavalue":{"value":"units","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904221$89C730D5-55AE-4026-992D-832D5DBFE02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891b0557a52ce04b2689537aa0c52513b0521f40","datavalue":{"value":"cyclotomic fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904221$1184DFC3-EFCF-4BB9-8A92-543314DCEC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a6a1cdf874126fd927b7f33b0c3ba0e7d375c54","datavalue":{"value":"p-adic L-function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904221$17C1E273-7B45-4311-8121-77A13BDE5220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3ae57ce4c99467db5cada78c11c55eeb2edb210","datavalue":{"value":{"entity-type":"item","numeric-id":590691,"id":"Q590691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5904221$B9E93F54-B74E-4D53-A6B5-5005DE7E4D14","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0598b585e504530f99474420eb7c8800cf7c9592","datavalue":{"value":{"entity-type":"item","numeric-id":590691,"id":"Q590691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5904221$E3C69374-368D-42D6-A907-79140F5F560B","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":"Q5904221$E5CE1006-E732-47A5-AC0D-C5F3C8B88F91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"221b68a203825f6723b0b6d243bc5f3fbb9e8d9c","datavalue":{"value":{"entity-type":"item","numeric-id":581588,"id":"Q581588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8677d1e1fcae3b7aea1d9e97c20d847cbcc006e","datavalue":{"value":{"amount":"+0.7964504957199097","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":"Q5904221$30D04686-C691-45EA-A6EF-C8772B92A677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc80bbeaa4ba560532c6605109ecf7a7db0b38fa","datavalue":{"value":{"entity-type":"item","numeric-id":2717613,"id":"Q2717613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548ebd3f19d7aeb3b75ac9d5ad33088fedd0a617","datavalue":{"value":{"amount":"+0.778542160987854","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":"Q5904221$A57DFAFB-0D50-4AE4-B2A2-4B48005D0BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcddc889bcda7ea4ff36d0a86787e6659e52f72","datavalue":{"value":{"entity-type":"item","numeric-id":4895463,"id":"Q4895463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa43df6169dd68865624090ed8086f2716e1a88","datavalue":{"value":{"amount":"+0.77410888671875","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":"Q5904221$7B6340A3-9592-415E-B428-3D8634B89C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb0c7189db79e53cd1363b855d7385cd3af816c","datavalue":{"value":{"entity-type":"item","numeric-id":798706,"id":"Q798706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed646908fd03af676a1cf99ed66af619b1951ed","datavalue":{"value":{"amount":"+0.7691503167152405","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":"Q5904221$B049D454-0437-41C8-87D6-EB87E06A6DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696ae9fd65415a53596309cb277a513cd83bc64e","datavalue":{"value":{"entity-type":"item","numeric-id":3677811,"id":"Q3677811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa802f92da77f756da05f70f998c80fb2b475784","datavalue":{"value":{"amount":"+0.7655625939369202","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":"Q5904221$EAE03BCE-E1F8-4F5A-AAB0-376B66CB6D90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Units of irregular cyclotomic fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Units_of_irregular_cyclotomic_fields"}}}}}