{"entities":{"Q1330165":{"pageid":1340915,"ns":120,"title":"Item:Q1330165","lastrevid":70155819,"modified":"2026-04-13T12:49:11Z","type":"item","id":"Q1330165","labels":{"en":{"language":"en","value":"Bounds for the degrees and heights in the division problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 614392"}},"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":"Q1330165$AA7726EE-B833-45E3-B5F3-C7BF29314219","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d439c76e2d6e3d1df9a46c267266ed794fee467","datavalue":{"value":{"text":"Bounds for the degrees and heights in the division problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1330165$AAEA13F4-73E5-4650-B0A5-B1CA20210B78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c19bc3fc4da17376c24ae9ff2aee6d60370a1483","datavalue":{"value":"0810.32001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330165$2D51F5F4-7400-4F00-B3A9-673859176D26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c4c7a1f46d9894fac4cec7ad103eaed62d5731b","datavalue":{"value":{"entity-type":"item","numeric-id":227392,"id":"Q227392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330165$8C3169B9-159D-46A7-9EB5-840E7F9B5CE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e38d220a1f16855024fb778e126875b1f4f8fd3","datavalue":{"value":{"time":"+1994-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1330165$9D1B0BA8-F136-42DB-8A18-37265E6BECD2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60ecbeda7ec50258ae1e1f261a1927456b5f6a40","datavalue":{"value":"The following result is proved:   Theorem. Let \\(P_ 1, \\dots, P_ m \\in \\mathbb{Z} [z_ 1, \\dots, z_ n]\\) of degrees \\(D_ 1 \\geq D_ 2 \\geq \\cdots \\geq D_ m\\) and logarithmic heights less than \\(h\\), which define a complete intersection in \\(\\mathbb{C}^ n\\). Let also \\(Q \\in \\mathbb{Z} [z_ 1, \\dots, z_ n]\\) be of degree \\(D_ Q\\) and logarithmic height \\(h_ Q\\) belonging to the ideal generated by \\((P_ 1, \\dots, P_ m)\\) in \\(\\mathbb{Q} [z_ 1, \\dots, z_ n]\\). Then there exists \\(A_ 1, \\dots, A_ m \\in \\mathbb{Z} [z_ 1, \\dots, z_ n]\\) and \\(\\delta \\in \\mathbb{N}^*\\) such that: \\(\\delta Q = A_ 1P_ 1 + \\cdots + A_ mP_ m\\) with the estimates:  \\[ \\deg A_ i \\leq 2D_ Q + k(n) \\prod D_ i, \\]   \\[ \\log \\delta \\leq k(n) D^ a(\\prod D_ i)^ b (D_ Q + \\prod D_ i)^ c (h + D \\log D), \\]   \\[ h(A_ i) \\leq k(n) \\Bigl \\{ D^ a (\\prod D_ i)^ b (D_ Q + \\prod D_ i)^ c (h + D \\log D) + h_ Q \\Bigr\\}. \\]  Here \\(k(n)\\) is a constant effectively computable and depending only on \\(n\\) while \\(a,b,c\\) do not depend on \\(n\\). Recall that for \\(P = \\sum c_ \\alpha z^ \\alpha\\) the logarithmic height is \\(\\log (\\max_ \\alpha \\{ | c_ \\alpha |\\}\\).   The proof of the theorem relies on analytic methods (the Cauchy-Weil formula and Grothendieck's theory of multidimensional residues).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330165$967CA0CC-752C-4D65-B635-5F80D5E2D38A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c5cf1ce6d6b16c6b54c7535d268cc39f3084fbe0","datavalue":{"value":"32A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330165$86C7410C-1C28-4B4D-8F56-AFEB9347FAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ddc786021f9470a1a9953d0f570d64f80ae4ae4c","datavalue":{"value":"32B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330165$4B667916-BA2C-4F6C-9812-E48054FDC39C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31abbc9aea83d8b62be9aefbc2a94e1bd105bccd","datavalue":{"value":"614392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330165$22292543-9254-4A8A-96C0-57445DEDE299","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b824999523c24ff0c6c41742ab1aeef34469844","datavalue":{"value":"Cauchy-Weil integral formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330165$B0B86AF0-2672-40A0-A858-D8B8426291F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d41c162b2a5c071f8068535a5a59ab899d711993","datavalue":{"value":"division problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330165$FA1C5617-A9F2-44B6-AF24-7FEB8DB724A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92039aa11389ff1d3288d6defc84eea0ebae45d0","datavalue":{"value":"multidimensional residues","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330165$F25F6FED-4C93-41AB-B724-485F1182A978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"308cf63ea8c077f8633f0af8aef370fde0dd7b99","datavalue":{"value":"degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330165$E978ECFC-8D29-48D7-AFC5-DB3DF24CFBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b16d170482d19b867a38900ae55e698f65891422","datavalue":{"value":"logarithmic height","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330165$887E2F13-2173-426C-90D9-797EC561A6F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27879c0779b17d95d06c3b098397a7e151062d54","datavalue":{"value":{"entity-type":"item","numeric-id":412203,"id":"Q412203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330165$017D12F8-5DF8-4AB1-9CC4-E5308C9EDD00","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"975da6d17dfe7f61925be1a0060aa7ba3983dd18","datavalue":{"value":{"entity-type":"item","numeric-id":789576,"id":"Q789576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330165$77BD4C62-9460-42E9-87E5-7743820BF8D5","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":"Q1330165$60494659-08A2-4497-A2BE-AD7A0144E4ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9be7d601267c20a1764d3781f6545ad0163f8e24","datavalue":{"value":"https://doi.org/10.1307/mmj/1029004841","type":"string"},"datatype":"url"},"type":"statement","id":"Q1330165$808F4374-4AE4-45A5-950B-C590A5362804","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbe652793f16046eafc35e20ecb143067ff8a9dc","datavalue":{"value":"W2008953713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330165$F309A7FE-031F-439D-AACD-B3AA7B980775","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"226150c6bbd40e34f260cc96f0ae99bf563fda53","datavalue":{"value":"10.1307/MMJ/1029004841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330165$ADFA7CFC-BD77-4F21-8A4D-C15B4239FEBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48547d4c086755349227bc5cd301b26b0ec8690a","datavalue":{"value":{"entity-type":"item","numeric-id":914896,"id":"Q914896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b65592781461e867f0f6abcc2fc31e68150be1","datavalue":{"value":{"amount":"+0.8409508466720581","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":"Q1330165$0AC2BC44-1BD1-4560-A1AC-482925D753FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dff8a4072babaadaa3c88363278bb9de87dae2e","datavalue":{"value":{"entity-type":"item","numeric-id":2644804,"id":"Q2644804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a241b1ebac3b77a3fd6547833c8d75d57d667c8","datavalue":{"value":{"amount":"+0.8148173689842224","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":"Q1330165$A7380606-628D-4058-8859-615546FA7B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d987e386d81ade965ed21f480857933052de7854","datavalue":{"value":{"entity-type":"item","numeric-id":582326,"id":"Q582326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f5dc005afb0573c4f2b44d0cb7e0a6bd0d8f495","datavalue":{"value":{"amount":"+0.8092858195304871","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":"Q1330165$D2351167-1445-4291-8D03-660D78D507C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb01b478ca492ace450c8920b7272a35f242a94","datavalue":{"value":{"entity-type":"item","numeric-id":1847866,"id":"Q1847866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7f6fe4f03a4eda63be5f551ab82cc29fac6588","datavalue":{"value":{"amount":"+0.7917776107788086","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":"Q1330165$43A958DB-62AD-436C-BD6F-786822EA6F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e70b57627ac935443cf3e9b5286ae2c4ba7196","datavalue":{"value":{"entity-type":"item","numeric-id":1901475,"id":"Q1901475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088a0e0a8df17fb6c70fc2d7629c0faff94b399d","datavalue":{"value":{"amount":"+0.7912387251853943","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":"Q1330165$9F230899-DC7D-46DB-B5B7-EE5283BC7043","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounds for the degrees and heights in the division problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounds_for_the_degrees_and_heights_in_the_division_problem"}}}}}