{"entities":{"Q1383514":{"pageid":1394254,"ns":120,"title":"Item:Q1383514","lastrevid":67306551,"modified":"2026-04-12T16:44:53Z","type":"item","id":"Q1383514","labels":{"en":{"language":"en","value":"Vanishing sums of \\(m\\)th roots of unity in finite fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1144297"}},"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":"Q1383514$F31A0CAC-A381-4000-B06A-1CF2B2528594","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"418cb95f5cb4e1a237f2a8b1b8f29cb68110b9fa","datavalue":{"value":{"text":"Vanishing sums of \\(m\\)th roots of unity in finite fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383514$CFB6219E-2FC8-4DF0-BDFC-0FE8EE067CB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea20b7dd06a88e37e07f382ce3da3132e740e4c1","datavalue":{"value":"0916.11018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383514$163443EA-F82C-4BA6-8BF7-9C54AA73586B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33122a93dfb64681be222c65bf841053fa198b88","datavalue":{"value":{"entity-type":"item","numeric-id":165874,"id":"Q165874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383514$31D4CE7F-59F5-4B99-B265-C785B7F5EE14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4f1e02249836451f7d71e9b5fbfbc4406fde5ac","datavalue":{"value":{"time":"+1998-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383514$328DBBA7-F78A-440B-9203-9294DA7AA967","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"180b19396b46f63bad03e642fd7811206c433e55","datavalue":{"value":"https://arxiv.org/abs/math/9605216","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383514$D89A213C-BE36-400B-B64C-FF6F43B478AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4026dbc1d6216ab0d6bb6ab219328899142cf8d5","datavalue":{"value":"Consider a vanishing sum \\(\\alpha_1+\\cdots+ \\alpha_n=0\\) of \\(m\\)th roots of unity and call \\(n\\) its weight. The weight set \\(W(m)\\) is the set of all possible weights \\(n\\). In characteristic zero, the authors show that if \\(m\\) has the prime factorization \\(m= p^{a_1}_1\\cdots p^{a_r}_r\\), then \\(W(m)= \\mathbb{N} p_1+\\cdots+ \\mathbb{N} p_r\\). In characteristic \\(p\\), there is an additional relation \\(p\\cdot 1=0\\), so the corresponding weight set, \\(W_p(m)\\), say, contains \\(\\mathbb{N} p+\\mathbb{N} p_1+\\cdots+ \\mathbb{N} p_r\\), but equality no longer holds in general. Suppose \\(K= \\mathbb{F}_{p^k}\\) contains the \\(m\\)th roots of unity so that these roots of unity constitute the group \\(K^{'d}\\) with \\(d= (p^k-1)/m\\). A vanishing sum of \\(m\\)th roots of unity of weight \\(n\\) corresponds to a solution of the equation  \\[ x^d_1+\\cdots+ x^d_n= 0 \\]  in \\(K\\) with all \\(x_i\\neq 0\\). The main result of this paper is that if \\(m\\neq 1\\) and \\((m,k)\\neq(2,1)\\), then the equation has a solution with all \\(x_i\\neq 0\\) whenever \\(n>d\\), and so \\(W_p(m)\\) contains all integers \\(\\geq d+1\\). The exceptional cases correspond to those where all \\(x^d_i= 1\\) or all \\(x^d_i= \\pm 1\\).   The case \\(m_0= \\text{gcd}(p- 1,m)\\geq 3\\) is the simplest. Put \\(d_0= (p-1)/m_0\\). The group \\(H\\) of \\(m_0\\)th roots of unity in \\(\\mathbb{F}_p\\) is \\(\\mathbb{F}^{\\prime d_0}_p\\) with \\(m_0\\) elements. By the Cauchy-Davenport theorem of additive number theory and induction on \\(n\\), \\(| n* H|\\geq nm_0\\) for \\(n\\leq d_0\\) and \\(| n*H|= p\\) for \\(n\\geq d_0+ 1\\). Consequently, \\([d_0+ 1,\\infty)\\subset W_p(m_0)\\subset W_p(m)\\) which gives the main result in this case. When \\(\\text{gcd}(p- 1,m)= 2\\) or 1, the arguments are interesting and use more involved variations on this theme, yielding somewhat stronger versions of the main result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383514$0A351C88-3718-4E75-B514-4BABE2E45EE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c62dcdab30534531627492ab560a7deb5759228e","datavalue":{"value":"11D41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383514$B1F16CBE-3DE1-49CE-B18E-4D44DC449009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383514$AACE8D30-174D-4EFF-B1EE-08AE3991E4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9cd306ed8a70b5d252bc0273e5151476bf9e23bc","datavalue":{"value":"11T22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383514$F5407C76-0942-4D38-B45A-AB2DABD4A590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bcfbbfd734647fb3a591f1c5267a3f2c5345bb1","datavalue":{"value":"1144297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383514$B77FCADF-FFE9-49DB-93EB-EF4C7D0277F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c4ff5a295f5f0b3a6b228e6be0ddcf7cc8da64","datavalue":{"value":"vanishing sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383514$2937A6FE-946A-4560-BA73-BE78CD530CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f93515af0315b613c2c40b47ae41223514ebbcbf","datavalue":{"value":"roots of unity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383514$AFF54AF3-5BE4-439B-9300-A69D34E7299A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68668a392a54e844e9001892256346afded78997","datavalue":{"value":"weight set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383514$7ED77066-954B-4E93-ABC0-98300491D3CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68944fe494472211894062d5fdc78fb1de1dbae","datavalue":{"value":{"entity-type":"item","numeric-id":1233903,"id":"Q1233903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383514$C2E61D2B-9721-4A6B-B514-67D439507D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f32a51919e8f32a1d3b6bff3af5e4defc9ef60ce","datavalue":{"value":{"entity-type":"item","numeric-id":165903,"id":"Q165903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383514$5A92BEEF-1387-4859-871C-C27D415EDB5E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf658ad7ef7d6672e491794e6a4eead83097329a","datavalue":{"value":{"entity-type":"item","numeric-id":591958,"id":"Q591958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383514$996A6E7A-EEDB-4068-BB8B-22A1C4ECDD11","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":"Q1383514$26E22EAA-E590-467C-945D-282D0A4DA822","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c6b94bef9c52631978ee894c9048ba91e2402e5","datavalue":{"value":"W1985397571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383514$3722A78E-0804-4B13-B34C-0AC930DF056A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"983c5b3b2011af9dbb1f6068131d3a247c71f9dc","datavalue":{"value":"10.1006/FFTA.1996.0025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383514$BB84C894-CB26-4199-805C-30778C007389","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e39866b4c06d64895cbae295f520c585a59e56e","datavalue":{"value":{"entity-type":"item","numeric-id":1970980,"id":"Q1970980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4045ab1bdbad4cbe3f580254ec0c13490ac66ad","datavalue":{"value":{"amount":"+0.8386991024017334","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":"Q1383514$AA5A5B6B-46A7-423F-948A-E5444D95AD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54e7595700cb553e6f91c7e4fff6fd73f178ffa","datavalue":{"value":{"entity-type":"item","numeric-id":2818729,"id":"Q2818729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103190557bbcb1081c472b462f1ff0b2c2200e85","datavalue":{"value":{"amount":"+0.8282129168510437","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":"Q1383514$3F347924-496D-41D2-8307-550EF7B74AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d89b8a62bca38a657b82ed7c1bb552fc5fb62e8","datavalue":{"value":{"entity-type":"item","numeric-id":3580723,"id":"Q3580723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43b04ea8b2b2ee6aa5a2f936186a03b80f00a31","datavalue":{"value":{"amount":"+0.8228227496147156","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":"Q1383514$63E61B92-DFAE-404A-9DC1-DC22CCF2BE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58aa01d9deb78e16b94a18d85e7e0d59a4009b6f","datavalue":{"value":{"entity-type":"item","numeric-id":3835537,"id":"Q3835537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b1ee9502a7f36803593e8faec30d703747c30e0","datavalue":{"value":{"amount":"+0.7958762049674988","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":"Q1383514$1681DFC3-0D0D-4FF3-844B-612C3D8E9BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9181dd5458ea71ef641cc60dde2a32a68d712929","datavalue":{"value":{"entity-type":"item","numeric-id":4338236,"id":"Q4338236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d830c53be1ba3a0dea5ac40f5062e2a79a96d6","datavalue":{"value":{"amount":"+0.794856607913971","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":"Q1383514$572A3229-E8C9-4D8F-9D3C-D5B2A4A62C62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vanishing sums of \\(m\\)th roots of unity in finite fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vanishing_sums_of_%5C(m%5C)th_roots_of_unity_in_finite_fields"}}}}}