{"entities":{"Q519981":{"pageid":521748,"ns":120,"title":"Item:Q519981","lastrevid":77624501,"modified":"2026-05-06T09:41:09Z","type":"item","id":"Q519981","labels":{"en":{"language":"en","value":"On multiplicatively independent bases in cyclotomic number fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699212"}},"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":"Q519981$AF64D164-F74E-49BF-A7EA-461C259325C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59c6cda122d0c0dd803c570ccce15cf034df97c2","datavalue":{"value":{"text":"On multiplicatively independent bases in cyclotomic number fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q519981$9528FD86-5FBB-4129-8DB3-5D35DB7F0ECC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcac275a16b249da83b2ba360e11ee1450e70a86","datavalue":{"value":"1374.11084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519981$C2012AEA-5856-4A62-BE34-C08CD38E93B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8b69b21df202442581f11bbad3d4a455d9ffb05","datavalue":{"value":{"entity-type":"item","numeric-id":292654,"id":"Q292654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$A5661DC6-EE44-4347-8AD9-3DBDB1190FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"209e7b7d7c1c626bfbc8feae13969eb08ff5370e","datavalue":{"value":{"entity-type":"item","numeric-id":379128,"id":"Q379128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$D430A0ED-750C-4BB3-8ABA-F6E28CC38775","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$6E388290-A7F6-4152-9604-8598DC26DEE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72c0e07ad537fb33330a33ecd7818cc14403de47","datavalue":{"value":{"time":"+2017-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q519981$7AD48D86-7737-47EA-B8AA-335DF233EE7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"122bc668475abd89ba93272b92f07e8102833740","datavalue":{"value":"https://arxiv.org/abs/1408.3991","type":"string"},"datatype":"url"},"type":"statement","id":"Q519981$CA607CC8-0C3C-495E-8944-EAFA76B6E418","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"53a7f31c2016d670dfe8864ed7d49dff994eacab","datavalue":{"value":"For any positive integer \\(k\\) let \\(\\Phi_k\\) be the \\(k\\)-th cyclotomic polynomial and \\(\\zeta_k\\) be any of its roots, i.e., any \\(k\\)-th primitive root of unity. A number \\(-m+\\zeta_k\\), where \\(m\\in\\mathbb{Z}\\), is called a base of a numeration system in \\(\\mathbb{Z}[\\zeta_k]\\) if for every \\(\\alpha\\in\\mathbb{Z}[\\zeta_k]\\) there is a unique polynomial \\(f\\in\\mathbb{Z}[x]\\) having all coefficients in \\(\\{0,1,\\dots,\\Phi_k(-m)-1\\}\\) such that \\(\\alpha=f(-m+\\zeta_k)\\). One of the results of the paper states that if \\(m\\leq0\\) then \\(-m+\\zeta_k\\) is not a base of a numeration system in \\(\\mathbb{Z}[\\zeta_k]\\). Two algebraic integers \\(\\alpha\\), \\(\\beta\\) are called multiplicatively independent if \\(\\alpha^r=\\beta^s\\) with \\(r,s\\in\\mathbb{Z}\\) holds only for \\(r=s=0\\). The main result of the paper is the following theorem: Suppose that \\(a>0\\), \\(k>2\\), and \\(m\\) are integers such that \\(-m+\\zeta_k\\) and \\(-(m+a)+\\zeta_k\\) are multiplicatively dependent and none of them is a root of unity. Let \\(S\\) be the set of all prime numbers dividing \\(\\Phi_k(m)\\cdot\\Phi_k(m+a)\\). Then either \\(m=-1\\), \\(a=2\\), and \\(k=4\\), or  \\(\\bullet\\) \\(S\\) is a nonempty subset of the set of all prime numbers dividing \\(a\\);  \\(\\bullet\\) if \\(k\\not\\equiv2\\pmod 4\\) then for each \\(p\\in S\\) we have \\(k\\leq p^{\\nu_p(a)}\\), \\(p\\nmid k\\), and \\(\\operatorname{ord}_k(p)\\leq\\nu_p(a)\\);  \\(\\bullet\\) for both \\(x\\in\\{m,m+a\\}\\), we have \\(\\operatorname{ord}_k(p)\\mid\\nu_p(\\Phi_k(x))\\) and \\(\\nu_p(\\Phi_k(x))\\leq\\nu_p(a)\\).  Here \\(\\operatorname{ord}_k(p)\\) means the order of \\(p\\) modulo \\(k\\) and \\(\\nu_p\\) is the \\(p\\)-adic valuation on \\(\\mathbb{Z}\\). The authors used the above theorem to get the following computational result: if \\(1\\leq a\\leq10^6\\), \\(m\\neq0\\), \\(m\\neq-a\\), and \\((m,k)\\notin\\{(1,6),(-1,3),(-a+1,6),(-a-1,3)\\}\\) then \\(-m+\\zeta_k\\) and \\(-(m+a)+\\zeta_k\\) are multiplicatively independent or \\(m=-1\\), \\(a=2\\), and \\(k=4\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q519981$AF6EF1C7-B8EA-4CE7-B0BD-42EFE60B2311","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e466d31610203b310097bb60442c095ae547e074","datavalue":{"value":{"entity-type":"item","numeric-id":250310,"id":"Q250310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$7E84D8C1-25C4-49E3-A360-D1A6EDBBC999","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519981$D9557395-0957-42D1-A571-844305DD4DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d379f1f3728661c9d77f930d729b891dd925754","datavalue":{"value":"11Y40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519981$B47E281E-2FC6-4E80-B85B-D708C0A7C55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e840e979351f221ec22f6596521c1e78c9e12ea1","datavalue":{"value":"11A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519981$71C6C7B7-FFE8-4A10-ACB2-1EE95AFB353E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a05a7f2e6470b1adc31fc3e60977f1ff2f2d57a","datavalue":{"value":"6699212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519981$52DF5E31-1BE6-4AB9-A0ED-6C77EC2DABB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11741f8fe669b8f0856a222ddaccd559bdfe9359","datavalue":{"value":"canonical numeration system","type":"string"},"datatype":"string"},"type":"statement","id":"Q519981$F1ED3BD0-5714-46E2-AB1E-C6657EE3BB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cadf6a32b3fd0929cb18020c8ebe05cb733b825","datavalue":{"value":"radix representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q519981$9390F7EB-6423-4262-9BE2-65C4711F82C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dea88c74ff234258f870550736d97356be39210","datavalue":{"value":"algebraic number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q519981$BDF1EF0F-A72D-4ED9-93C0-9A9E61895F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2e9e94c19b9ac086ce133ec444210289edd8f59","datavalue":{"value":"cyclotomic field","type":"string"},"datatype":"string"},"type":"statement","id":"Q519981$55235461-8520-48CA-BCB8-5BA6B560E12D","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":"Q519981$8E4DA918-F973-4E68-9826-448BAFC0CCE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c813ccf6ab288cff67845450c5efd3f4f7a7e9a8","datavalue":{"value":"W2205156029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519981$C6685AE1-ABDA-4A0F-ACA5-E19475EA9161","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacbc56d8963885c782eede569c99d37a4eaf3ec","datavalue":{"value":{"entity-type":"item","numeric-id":5958340,"id":"Q5958340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$518133DF-B821-43E9-8939-A0ED9CCB858A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5f7f28900ba035abc830c8fc7deb4eaa7cc9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4937710,"id":"Q4937710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$1E231D35-CF9D-445B-A70F-37C66EEEF3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c75fab129ebbc9bb66dc928b46291dfd8b3b6af","datavalue":{"value":{"entity-type":"item","numeric-id":5898334,"id":"Q5898334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$1FC8AE3C-442B-48F8-82EB-CCB604354D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a9d0f22c35e7edef12a951537a237ecfb5c8b1","datavalue":{"value":{"entity-type":"item","numeric-id":1158189,"id":"Q1158189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$374F85D8-6ADA-4147-A24C-A8B3CA1C4CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1734d4b94007d30e5cb6c43e6590adebba22064","datavalue":{"value":{"entity-type":"item","numeric-id":4166803,"id":"Q4166803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$5D61C6C1-381E-485D-9E81-0897BCC07A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd827ec8b8cdd9a366f92f60f7c116698522a167","datavalue":{"value":{"entity-type":"item","numeric-id":3932866,"id":"Q3932866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$467E9E92-D3A4-4A59-BD14-1E57A6AE8985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$2E56CF57-B084-4286-A558-23F89F98169B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daece23a8d8540d1ccb9bb9c78fde4dc5470aec2","datavalue":{"value":{"entity-type":"item","numeric-id":4740633,"id":"Q4740633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$BD98C17E-0C90-46FF-AF0D-156A9237A136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2ee0be517f600ce0eab84ed8ccf4ee26c62676","datavalue":{"value":{"entity-type":"item","numeric-id":4021419,"id":"Q4021419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$71BC6DA1-5EED-49C7-A392-E99CA44661D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f4dd77a04b8bdb639398ba953b42f346c2e795","datavalue":{"value":{"entity-type":"item","numeric-id":4298518,"id":"Q4298518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$28FACA23-8BD4-4A6D-9C0F-797A1C05D905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323cea0a13fc31a39aa0831a2058a9e71a300f2c","datavalue":{"value":{"entity-type":"item","numeric-id":2820744,"id":"Q2820744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$F6F0C3D8-EB6A-4343-B55F-9A336E98CF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d6dd2fdb7888402a7cf8741f452a237af34005","datavalue":{"value":{"entity-type":"item","numeric-id":5933095,"id":"Q5933095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$0266C0AC-D63E-4DA7-9491-26AF3FA13F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30d5e572a2001443c05483b553f3cfd7bc29775","datavalue":{"value":{"entity-type":"item","numeric-id":5690489,"id":"Q5690489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$D83EFDE8-5354-4832-A41E-F4056FBA9392","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"186e76e53030fe35a5d75ef9742f95654b72aa9e","datavalue":{"value":"10.1007/S10474-015-0500-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519981$FF8FF0FA-9425-43D6-AF4F-FA37B4EB4AB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d2cfc29871a4bb9d41ed2b15951c168f84af445","datavalue":{"value":{"entity-type":"item","numeric-id":2820744,"id":"Q2820744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48ca0558bff64b889e77173233e8b6b55bf0fed9","datavalue":{"value":{"amount":"+0.8935894966125488","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":"Q519981$5B733DF0-D474-48B9-9895-C73F5C81B871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0b123fd338e35db658594d74dd132f9f402bed","datavalue":{"value":{"entity-type":"item","numeric-id":4581332,"id":"Q4581332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060c4e0a48601e1f9fdd3fc875575d60330865df","datavalue":{"value":{"amount":"+0.8221579194068909","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":"Q519981$DDACA350-1EDC-4067-97E4-B7AF3315859C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb8e64f07f1b0a49531acea1da6977ec7665621","datavalue":{"value":{"entity-type":"item","numeric-id":4644436,"id":"Q4644436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eac034175c0359f4a84e06e30f15273bf8f6218","datavalue":{"value":{"amount":"+0.7810619473457336","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":"Q519981$552F7EC0-7521-4485-A684-24A67CF54700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4bba531237477211254e5b101fd953269b4700","datavalue":{"value":{"entity-type":"item","numeric-id":4800260,"id":"Q4800260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a43a65c671a4e5e1124ffd519a3f9f1031f2bcd","datavalue":{"value":{"amount":"+0.7723584175109863","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":"Q519981$51F1288A-388A-45DB-9A75-7824AF2547DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15fe46c3a07f052646e390a5a5fbad3b62c16657","datavalue":{"value":{"entity-type":"item","numeric-id":1207258,"id":"Q1207258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30064ce04a408e1814e53685056f09f11479e5d","datavalue":{"value":{"amount":"+0.746451199054718","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":"Q519981$79CF9698-2EF5-4D0E-AB6C-70EACEBF277E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519981$464588E7-7307-4FEA-B13C-98C1538D3283","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On multiplicatively independent bases in cyclotomic number fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_multiplicatively_independent_bases_in_cyclotomic_number_fields"}}}}}