{"entities":{"Q677560":{"pageid":679409,"ns":120,"title":"Item:Q677560","lastrevid":63518175,"modified":"2026-04-11T13:42:52Z","type":"item","id":"Q677560","labels":{"en":{"language":"en","value":"On intrinsic bounds in the Nullstellensatz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 998035"}},"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":"Q677560$31E33A67-3B97-4693-85CD-69B1451344D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5893d359db34f24b650d5e7b258228e18e7ace7c","datavalue":{"value":{"text":"On intrinsic bounds in the Nullstellensatz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677560$AE26DF44-BCA7-48DC-9973-C2415A25734F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52df8839d1a369626ecc02e8a1194618a9d6223d","datavalue":{"value":"0897.13021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677560$4AC16169-2511-4FD4-8719-E0577CEF3AD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd26c39618788734542673e27b39dde786700396","datavalue":{"value":{"entity-type":"item","numeric-id":414625,"id":"Q414625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677560$3FBDE41E-F233-4A05-B79E-B45580D6F7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7384f5e7f23228cbddb797ad0ee1a037f50b935b","datavalue":{"value":{"entity-type":"item","numeric-id":250255,"id":"Q250255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677560$6DBE8399-8529-4978-A7D5-4FA10DD1656C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f9a91d3d999a6aeb2f11e0fd51c6ef626cecb47","datavalue":{"value":{"entity-type":"item","numeric-id":209706,"id":"Q209706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677560$AD40BB31-440C-45C9-9743-06A88AD56B47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677560$EE5BF930-F7B9-466E-8EA0-4C902ACB1B44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9eb43c8ac2f372f3c6e9e9521ecf2e73a1003869","datavalue":{"value":{"time":"+1998-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q677560$E36577E6-AC2B-4EA6-92B9-1AEA9099CB38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb9d030827c41ea38441f777bdc9469fc389d488","datavalue":{"value":"Suppose \\(A=k [X_1, \\dots, X_n]\\) be a polynomial ring over a field \\(k\\) and let \\(f_1,f_2, \\dots, f_s\\) be a trivial system in \\(A\\). (That means they generate the unit ideal.) The geometric degree \\(\\delta\\) associated to such a trivial system was defined in this paper, which we give later. The main result in this paper is as follows:   Suppose \\(f_1,f_2, \\dots, f_s\\) is a trivial system in \\(A\\). Let \\(\\delta\\) be the associated geometric degree and let \\(d= \\max_j \\deg f_j\\). Let \\(D(f_1, \\dots, f_s)= \\min \\{\\max \\{\\deg p_j f_j;1 =\\sum p_i f_i\\}\\}\\). Then  \\[ D(f_1, \\dots, f_s) \\leq 2n^2\\delta d. \\]  If the characteristic of \\(k\\) is zero, then the geometric degree is defined as follows. Let \\({\\mathcal G}\\) be set of all sequences \\(g_1, \\dots, g_t\\) where \\(2\\leq t\\leq n+1\\) such that   (1) \\(g_1, \\dots, g_t\\) is a trivial system and each \\(g_i\\) is a \\(\\overline k\\)-linear combination of \\(f_1, \\dots, f_s\\),   (2) \\(g_1, \\dots, g_{t-1}\\) is a regular sequence,   (3) \\((g_1, \\dots, g_j)\\) is a radical ideal, for \\(j=1, \\dots,t\\).    The set \\({\\mathcal G}\\) is nonempty by Bertini's theorem. The geometric degree \\(\\delta\\) is defined as:  \\[ \\delta =\\min_{\\mathcal G} \\{\\max_{1\\leq j\\leq \\min t-1, n-1} \\{\\deg V(g_1, \\dots, g_j)\\}\\}. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q677560$17504EC7-411E-4553-A872-C5F171AD6982","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677560$4D4A0155-2C8A-4847-80F4-2A42B4F8FC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aeaa44c2e834cb1990f4a8778263cbd6a8f762b8","datavalue":{"value":"14A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677560$828CD57B-F560-4B53-938B-D6E8E5AAFD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c4b44681f7a1707f0cf17256dc3be888b8d7656","datavalue":{"value":"13B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677560$0D0300DC-2F0B-43FF-A23D-F79757F030A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f8dd8fb93e9498b8b7fdaef90e20ccf259464d6","datavalue":{"value":"998035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677560$DFE8A2B9-E1B6-40E0-BD3F-E44E044800B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78d2b80333a2fe1bc4959ce23126c928c3921f","datavalue":{"value":"polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q677560$7E5E3FCA-8C7F-42CC-AE99-870ED1D4EE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"730111f95f79bbc836911df52aa3b77f05dbd42c","datavalue":{"value":"trivial system","type":"string"},"datatype":"string"},"type":"statement","id":"Q677560$F0A92C74-8214-4A41-A547-FC57A4856AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1041d7cadb48b4578d9964834c6eb7a60259d82f","datavalue":{"value":"geometric degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q677560$B5C6079E-BD18-4660-ADBD-12DF8EA3CBB0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5c781d4d39de226654677b9c883595445f3605b","datavalue":{"value":{"entity-type":"item","numeric-id":1801935,"id":"Q1801935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677560$647D6DAB-2751-4D8C-A0CB-D36D93A30BCE","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":"Q677560$73BF32D7-0B9C-47A2-8DAB-E7598369A3AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2402dadb3d74fcef1fb5fda45cca2cd026f66783","datavalue":{"value":"https://doi.org/10.1007/s002000050057","type":"string"},"datatype":"url"},"type":"statement","id":"Q677560$C5D6960F-8C93-4E8C-A3DB-72A148CEFC70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13087d5db176c9edd59e434ef1ee58d78428e8ea","datavalue":{"value":"W2130183203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677560$011E7A66-A4A8-4A5D-9129-2D03B1E5B680","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec4aa35dc7ad27617fde36ba6ddc038bbf917287","datavalue":{"value":"10.1007/S002000050057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677560$D7370D3A-1318-42C1-8B03-75988789B5E7","rank":"normal"}],"P1643":[{"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":"3fcfab19c934deeaeb0246d38d4487d2c1cd30ee","datavalue":{"value":{"amount":"+0.8450941443443298","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":"Q677560$B1736419-BE8C-4E69-A2EB-E6AE0F0BE1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869dd4cb80e9f6c1fc9f92edf63c2162e5a4cd1c","datavalue":{"value":{"entity-type":"item","numeric-id":4731274,"id":"Q4731274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3e9fb6f8c31111d43f706529e94d22e23158dc","datavalue":{"value":{"amount":"+0.8311573266983032","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":"Q677560$D5FD6DB8-FE02-45DF-BFEB-EA7730287478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5afc4566b5998998a22fe32631867cb19defe2","datavalue":{"value":{"entity-type":"item","numeric-id":4204240,"id":"Q4204240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03d2f06c516975db2734258225bcebc60b31fb5","datavalue":{"value":{"amount":"+0.8286170959472656","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":"Q677560$703C9DAF-8F5B-4154-8263-1C79273026DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9777b55f20fa5a2969a805a27810a8b3a57cbe","datavalue":{"value":{"entity-type":"item","numeric-id":1969498,"id":"Q1969498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2736497a5c5909a7b01bbb3c086013abfdd21e","datavalue":{"value":{"amount":"+0.8218659162521362","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":"Q677560$A6C62955-E5E9-4CC1-BE62-5C5C0FA04D7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On intrinsic bounds in the Nullstellensatz","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_intrinsic_bounds_in_the_Nullstellensatz"}}}}}