{"entities":{"Q1086627":{"pageid":1097379,"ns":120,"title":"Item:Q1086627","lastrevid":77832545,"modified":"2026-05-06T10:09:31Z","type":"item","id":"Q1086627","labels":{"en":{"language":"en","value":"Standard bases of perfect homogeneous polynomial ideals of height 2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3985373"}},"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":"Q1086627$84A2937B-D3BA-4570-80F4-81ACAF9D6875","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8be5fbb3315eef9850ccdd0d384adc6baf0fc85","datavalue":{"value":{"text":"Standard bases of perfect homogeneous polynomial ideals of height 2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1086627$E1E61F46-9465-4F0E-8437-A402B06ABD72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd5792301f230ebfa2daacc8d90d92721d81ca40","datavalue":{"value":"0609.13001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086627$2A3103CF-44CC-47DF-BBE4-11DA2FF89AC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cf1d6532967c3e8d023a53d33f20968af576333","datavalue":{"value":"10.1016/0021-8693(86)90095-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086627$8C54C9E9-F3E0-464D-9B3D-626190978013","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f53c637c38878d35d106fa3734f2c20da514d2da","datavalue":{"value":{"entity-type":"item","numeric-id":752768,"id":"Q752768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$4A5EA8EE-3B8E-481C-98DC-F83966C37D2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$71CEFEB5-616F-4F63-BC08-CBF11CE52DD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1086627$1BB22F27-FA69-4F8F-B2C2-4CCC87D0AE7E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"07b0ac04e8ab0f262fe038013e17a6b8e7c59451","datavalue":{"value":"If \\(I=\\sum_{t\\geq 0}I_t\\) is a graded ideal in the homogeneous ring \\(A=\\sum A_t\\) over a base field \\(k=A_0\\), a ``standard basis'' \\(B\\) for \\(I\\) is a minimal system of homogeneous generators for \\(I\\). In this context \\(\\alpha(I)\\) is the least degree of a member of a standard basis for \\(I\\), \\(\\nu_t(I)\\) is the cardinality of \\(B\\cap A_t\\) and \\(\\beta(I)\\) (when it exists) is the largest integer such that \\(\\cup_{t<\\beta}I_t\\) has a nontrivial common divisor. Let \\(H(A,-)\\) denote the Hilbert function of \\(A\\). If \\(m=\\dim(A)\\), then for sufficiently large \\(t\\), the \\(m\\)-th difference \\(\\Delta^mH(A,t)=0\\). Let \\(\\sigma =\\sigma (A)\\) be the least integer such that \\(\\Delta^m H(A,\\sigma -1)\\neq 0\\) but \\(\\Delta^m H(A,t)=0\\) for \\(\\sigma\\geq t\\).    The author studies the function \\(\\nu_t(P)\\) for height 2, perfect homogeneous ideals \\(P\\) in \\(K(n+2)\\), the ring of polynomials in \\(n+2\\) variables over the field \\(K\\). He gives (Theorem 2.1) upper and lower bounds in terms of \\(\\Delta^n H(K/P,-)\\) and \\(\\beta(P)\\). The estimates given are shown (Theorem 2.3) to quickly imply and extend Dubreil's inequalities \\((\\nu_p\\leq \\alpha (P)+\\beta (P)-\\sigma (P)+1\\leq \\alpha (P)+1)\\). In (3.3) the author demonstrates the remarkable sharpness of the estimates by constructing for each feasible set of integers \\(n\\), \\(\\beta\\), and sequences \\(H\\), \\(\\{\\nu_t\\}\\), an ideal \\(P\\) in \\(K(n+2)\\) such that \\(\\Delta^n H(K/P,-)=\\Delta^n H\\), \\(\\beta (P)=\\beta\\) and \\(\\nu_t(P)=\\nu_t\\) for \\(t\\geq 0\\). The examples are monomial ideals, given by an explicit construction.   The author provides illuminating examples (3.4), (3.8) to demonstrate the implementation and utility of the construction. It is shown (4.1) that if the cardinality of the base field is sufficiently large and \\(n\\geq 1\\) the construction can be adapted to produce radical ideals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086627$B7A80B91-3188-46BB-AC6F-32233822D2D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ae4a22eb67c537aa578d64ae83bee5eeb011bb49","datavalue":{"value":{"entity-type":"item","numeric-id":1086626,"id":"Q1086626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$F07649AE-7104-415F-87CA-6F6754013452","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086627$E728CC26-3A09-44BB-BEB9-5315D765D3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f44c3e05f007359b39a58b0e4e67e343748285e","datavalue":{"value":"13C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086627$B1C2CDCD-3D9B-4BEA-B621-214675298CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086627$2EE26C8A-4C72-4877-8785-6841F6DC6DA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0523231a8b01f9d30ad2d2d0bc236032e496a5db","datavalue":{"value":"3985373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086627$67CAE870-3071-4EA9-844D-5BAC17EC85EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01bc7a874e3ad0c970c4c16dc6173999fbf3d34","datavalue":{"value":"perfect ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086627$D62DA449-7B0C-45F6-BED4-B46933E77C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a21202ae13de84039e9b3c5deae1a63ee732edaa","datavalue":{"value":"standard basis for graded ideal in homogeneous ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086627$6D7556FB-B671-47A9-B5D6-5147EF6F68EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6d7a207339942b36c053a99c19234a1b304efe","datavalue":{"value":"Hilbert function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086627$4015F3E3-BDE2-4405-BD51-277A104C9605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4830de842b065dd3af67e281a67d945f255f9ba","datavalue":{"value":"monomial ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086627$CFA10D80-4E82-402A-8133-85BA46FFC768","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":"Q1086627$8DB416FD-CEB7-4C5A-8858-4D2549878825","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44cfaa7a1a30d38f3d35080a316002742d90f08c","datavalue":{"value":"https://doi.org/10.1016/0021-8693(86)90095-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1086627$E5CAB728-85C2-4305-9F09-A4DCC3788EA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"766c8bb86e150c611264ebe93b959f7016277614","datavalue":{"value":"W2092096199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086627$039581BA-6188-4FF6-A558-E886E9482094","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2a70801646d960b4915e84885ada2b9b92fb20","datavalue":{"value":{"entity-type":"item","numeric-id":3348001,"id":"Q3348001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$AB5C98B6-23CE-4EF3-BDC8-1C14AE403196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7110111c0a8f7009fc73a04cb339a7c6ede58ab","datavalue":{"value":{"entity-type":"item","numeric-id":3671283,"id":"Q3671283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$35848D5B-FBD3-4DA6-844D-477A5019547A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363263a65567f2bd1d5ed60c24e7e18dcdfac64e","datavalue":{"value":{"entity-type":"item","numeric-id":798722,"id":"Q798722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$D8D6E00B-B438-4F87-A4C7-C83D544FE420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99439becf05de308b943bc2e0d9faa0bda5b51bd","datavalue":{"value":{"entity-type":"item","numeric-id":3318880,"id":"Q3318880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$572AE112-8666-4739-979B-9BB129040521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffda935c7fbeaf963ecc08f86cf2436fd46c3e63","datavalue":{"value":{"entity-type":"item","numeric-id":1153954,"id":"Q1153954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$87CCDE3B-8E39-4F5C-B961-B1A28C706201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fa9f20af756325f4d69230a283a75fa3571c62","datavalue":{"value":{"entity-type":"item","numeric-id":1172676,"id":"Q1172676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$FAF1FFB0-688E-4454-A582-FDD3A7E8383D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341255bf4e8e53dbacefe7b974b67aa4aa7fa5ae","datavalue":{"value":{"entity-type":"item","numeric-id":2531670,"id":"Q2531670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$0C1012A4-7E0F-4F1B-AB3B-E6FDA047698D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e4a89569a4179bd4791e3ba54db87350740463","datavalue":{"value":{"entity-type":"item","numeric-id":3027144,"id":"Q3027144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$C8F21FE0-2EB9-40CD-BD9F-4B3A54B7A8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3676473ac0ad58024671bef2874163716f9f66b4","datavalue":{"value":{"entity-type":"item","numeric-id":1248549,"id":"Q1248549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$E2FF6D15-268D-4CB1-A0C9-7EF3F7628B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1236802545f9f9291c69429090c6ab306cc326a","datavalue":{"value":{"entity-type":"item","numeric-id":3849050,"id":"Q3849050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086627$226E7DA8-E6FC-4763-849A-F5081D320350","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15faaf838f27d725175e41a2188969a7bd3957df","datavalue":{"value":{"entity-type":"item","numeric-id":3775653,"id":"Q3775653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09579ddfe8f19d6b330d415927fb8f92eb1c8ba0","datavalue":{"value":{"amount":"+0.8658285140991211","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":"Q1086627$C99A38A5-7E38-416F-9CCD-2C1662877F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff0f958c6d36ca5e1129f3a06a7bfac35523336","datavalue":{"value":{"entity-type":"item","numeric-id":3710617,"id":"Q3710617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895245c1ecc193f67db8d6642426fd932b53a3c1","datavalue":{"value":{"amount":"+0.8226406574249268","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":"Q1086627$A5987AFF-0F43-4680-B0E9-508F48027F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100de9f694bcccf25fe31e97eb2ed94529d85f3c","datavalue":{"value":{"entity-type":"item","numeric-id":3199549,"id":"Q3199549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8615660895e80ad1339189a36db41ccd3a65832b","datavalue":{"value":{"amount":"+0.8139538168907166","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":"Q1086627$B6C48DFE-0242-448C-84AE-79661D0C1F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fa9839cb92c2361a52b07d86733df5e3722c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1073103,"id":"Q1073103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948b0c8f7263d615a8b2d1d3714c8e335f6ddf01","datavalue":{"value":{"amount":"+0.8097353577613831","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":"Q1086627$61B813D6-A40A-4371-AFF3-D033E6438F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d985756cf9661031a4a4e2d31da2dd7a58a70cf","datavalue":{"value":{"entity-type":"item","numeric-id":921069,"id":"Q921069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb45d3b86a704495c913e3df9d9f33506e0ac92","datavalue":{"value":{"amount":"+0.8028777241706848","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":"Q1086627$E2160937-CA1E-459D-A56B-3AC81C571AED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Standard bases of perfect homogeneous polynomial ideals of height 2","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Standard_bases_of_perfect_homogeneous_polynomial_ideals_of_height_2"}}}}}