{"entities":{"Q1115488":{"pageid":1126237,"ns":120,"title":"Item:Q1115488","lastrevid":66774303,"modified":"2026-04-12T12:46:26Z","type":"item","id":"Q1115488","labels":{"en":{"language":"en","value":"Stability of Gr\u00f6bner bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4085784"}},"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":"Q1115488$7A29ED72-9C18-4B05-9FFB-C522812C073A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1ee44384c549d1706771ab92a139de70ba07856","datavalue":{"value":{"text":"Stability of Gr\u00f6bner bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115488$4A283856-50A6-4306-9BC9-F61DA643CE8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc7a31cfd6b6507672c8c72b486053c3d7b76671","datavalue":{"value":"0664.13006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115488$6A0AC5EF-A042-47FE-84A2-2A6496065368","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"197f1c79cfd177b620c94f8b8778cf32c563ad89","datavalue":{"value":"10.1016/0022-4049(88)90018-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115488$62F8AB56-8252-4DC2-BEA1-9AC22A322CAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$4F2E8687-201C-47D6-B6A2-94D6DA9D034B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1115488$8E735736-EA6D-41BE-9C1E-F0584F8E645B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c3151d2870deb1d5436d76f8a5aed2dd465ee03c","datavalue":{"value":"Let K be a field and let M denote the set of monomials in the polynomial ring \\(K[X_ 1,...,X_ n]=K[X]\\). A total order \\(\\alpha\\) on the semigroup M for which 1 is the smallest element is called an admissible order on M. In this paper the dependence of a Gr\u00f6bner basis on the particular admissible order is investigated. The set X(M) of admissible orders inherits a topology from the Harrison topology on the field \\({\\mathbb{Q}}(X)\\), where \\({\\mathbb{Q}}\\) is the set of rational numbers, and X(M) is compact in this topology. Let \\(h_ J\\) denote the Hilbert function of the homogeneous ideal J of K[X], \\(h_ J(n)=length_ K(K[X]_ n/J_ n)\\). If \\(I_{\\alpha}\\) denotes the ideal of K[X] generated by the highest terms with respect to \\(\\alpha\\) of the elements of the homogeneous ideal I of K[X], then it follows that I and \\(I_{\\alpha}\\) have the same Hilbert functions.    It is shown that if G is a Gr\u00f6bner basis of I with respect to the admissible order \\(\\alpha\\) then the set \\(U_{I,G}=\\{\\beta \\in X(M)|\\) G is a \\(\\beta\\)-Gr\u00f6bner basis of \\(I\\}\\) is an open and closed subset in X(M). It follows from this and the compactness of X(M) that each homogeneous ideal I has a universal Gr\u00f6bner basis, that is a subset G which is an \\(\\alpha\\)-Gr\u00f6bner basis for every admissible order \\(\\alpha\\) on X(M). It also follows that if J is a monomial ideal with \\(h_ I=h_ J\\) then \\(U_{I,J}=\\{\\beta \\in X(M)| I_{\\beta}=J\\}\\) is open and closed in X(M). Although there are no inclusion relations in general between the sets \\(U_{I,G}\\) and \\(U_{I,J}\\), where \\(J=I_{\\alpha}\\), it is shown that if G is a reduced \\(\\alpha\\)-Gr\u00f6bner basis then \\(U_{I,J}\\subseteq U_{I,G}\\), and G is a reduced \\(\\beta\\)-Gr\u00f6bner basis for all \\(\\beta \\in U_{I,J}\\). The paper also considers the relationship between Gr\u00f6bner bases and Newton diagrams.    In the last section most of the above results are extended to nonhomogeneous ideals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115488$F7E92712-33AA-4D12-A169-A886C933A233","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a78cfc2d6d247a9d483880a3b4a13e96d107104","datavalue":{"value":{"entity-type":"item","numeric-id":186083,"id":"Q186083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$862F05C4-3672-4A40-BF2D-75D396B0296A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115488$BDD91B48-AA2F-4ECA-BAAA-4F49C6A13EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f7f43158b42f0a7240ceb9aa177f89dce451dc7","datavalue":{"value":"13-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115488$7EF8A6E0-6901-4FCC-BB4B-9F637672B310","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76737d321baaa47bb752aa258e8583834fb4b9d1","datavalue":{"value":"4085784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115488$70C17C8B-D458-4441-8F72-4DF8A756465E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b09872996148d96ffba3027d538dfc1d695cf6df","datavalue":{"value":"monomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115488$DD5C8DCD-C00B-476D-8705-C498431D9683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ace3a97032bc63269583f9c1fc9b354b5125e072","datavalue":{"value":"admissible order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115488$BCDC59CD-B0E1-4F38-987A-BE38DD194175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7765d3f1fc72ee2b03a121f9e6214b3eee4371a","datavalue":{"value":"Harrison topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115488$5173C9E6-DF0C-42C3-B4C1-3E2BBF5E6896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6d7a207339942b36c053a99c19234a1b304efe","datavalue":{"value":"Hilbert function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115488$3E1BACBE-89F1-461A-B6E8-694102EAE490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8369aa2b373fbef3f07e7f8c819492c340fc0d6","datavalue":{"value":"universal Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115488$C0BF6939-7744-489A-9E08-18EBCC605DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bf606257a6d17b3ce24fba666f711ff9e073cd","datavalue":{"value":"Newton diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115488$2A3EA2FE-E972-415A-8CD1-0689490514A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a185db4f8161ff4b6369a7a725faafbbdfa2b15","datavalue":{"value":{"entity-type":"item","numeric-id":364687,"id":"Q364687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$2ADB5C56-9B25-4D10-B4CD-141EE4F5540A","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":"Q1115488$D72845D0-6A34-4C45-A4C6-C9CA894B69D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e973feff9823a8baa23d5d5332edf5babd58be7c","datavalue":{"value":"https://doi.org/10.1016/0022-4049(88)90018-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115488$74B9FD90-26BF-48F5-B594-B4C805497D61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebdc514b84c7f448eaccbef487c03ac57234a4ec","datavalue":{"value":"W2066332576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115488$422578D6-1245-4373-820C-0CC1F2008C2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$67EC3877-3D89-4DAB-8967-F2814C37C10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab23ac467fafc0a532ef88cc5129089b9b83126","datavalue":{"value":{"entity-type":"item","numeric-id":3721811,"id":"Q3721811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$9AE02489-947A-41E4-8C60-AAECB67F7946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e52fe8351b70c05b1bedb38124dcecf769500b8","datavalue":{"value":{"entity-type":"item","numeric-id":5533193,"id":"Q5533193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$6803C5F9-BE97-4614-B949-EFF1D0C6A88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5715911602bedd62a5b36a510a8717c03f3745","datavalue":{"value":{"entity-type":"item","numeric-id":4050885,"id":"Q4050885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$CBE81EB1-382D-45F5-B578-53ACD80CD496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53723d3e70312f23a113ee8bedd3828b3dabfc72","datavalue":{"value":{"entity-type":"item","numeric-id":1260230,"id":"Q1260230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$A7D3EA8D-BCE3-4011-B258-8407CCFBECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ea87aaafd374e336c44c00e513b4738c2d5990","datavalue":{"value":{"entity-type":"item","numeric-id":3347981,"id":"Q3347981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$F1B1CEC6-7A5D-48C1-8A1C-A489A7E9034A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38209983c31ec8f31e09c38ded1c80d1b4748a3","datavalue":{"value":{"entity-type":"item","numeric-id":3313974,"id":"Q3313974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$38D213E8-8409-4437-B845-B43492D58288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59aa42ac56aa45dec0439c53d55143b19a866924","datavalue":{"value":{"entity-type":"item","numeric-id":2626871,"id":"Q2626871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$B98ED9CB-E6A1-4961-9615-993187AB176D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3abc6ea42605ed8a49147487d4a4e7ba81131637","datavalue":{"value":{"entity-type":"item","numeric-id":4179065,"id":"Q4179065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$88565665-1640-499A-9F90-E5ADB93EA85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39e4578c7484bdb81de3234837b3ae698fb5a09","datavalue":{"value":{"entity-type":"item","numeric-id":3325833,"id":"Q3325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$96A13F35-02BA-49B1-88B9-D2A8A2717741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cd5b4a82bf86c789e8aec14457e9e7a5412b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5611879,"id":"Q5611879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$CDCFA48A-0FC0-4AA0-AA6B-7F361A4CA60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57881e54af881bc60ca495ee110644cbe6e4f4dc","datavalue":{"value":{"entity-type":"item","numeric-id":1090369,"id":"Q1090369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$3950007A-1D15-4D6C-8252-5FFD02BBFD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283565bdc56e0a8b9f88fa6fc0293845eda872b3","datavalue":{"value":{"entity-type":"item","numeric-id":3685189,"id":"Q3685189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$0D9E4920-BE81-4C9E-8BB7-61C122AEB759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946232361f0210811b7cd1e3be9db38f80c0fe72","datavalue":{"value":{"entity-type":"item","numeric-id":3695369,"id":"Q3695369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$5EFC08C5-68EF-44F3-8F4D-897157B03F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc671679e1c38b8971e825ad3dab2cfa52e61082","datavalue":{"value":{"entity-type":"item","numeric-id":3340956,"id":"Q3340956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$6100A051-6B0D-4CA4-A90E-D04DA8F472C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df2cf607a27337b69a03cc29686e163c3b42478","datavalue":{"value":{"entity-type":"item","numeric-id":3223453,"id":"Q3223453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$F9058FC3-A494-4AEA-B0F1-692143D6A7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae65dee4c1ad2b9707bf32a37989635a69484ae","datavalue":{"value":{"entity-type":"item","numeric-id":1256518,"id":"Q1256518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$AF3621FD-706C-4894-8530-AEC441A7EE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cbfea7df5a952e37b1c9a93a0db40abd77b238","datavalue":{"value":{"entity-type":"item","numeric-id":5732721,"id":"Q5732721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115488$A3F8AF86-2AEC-437D-A253-E624C2C72A82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a85a75da4717d9e76b2561f98bae3a48db4eb2","datavalue":{"value":{"entity-type":"item","numeric-id":1117278,"id":"Q1117278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e24dc0bc3ae1af7f83d989e07a3574266d8ab646","datavalue":{"value":{"amount":"+0.8510698080062866","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":"Q1115488$7513AA88-AA1E-4ED2-BD28-253DA1593B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d85979b1a4e7ff72b967d7178a3ce0acdd3cedbd","datavalue":{"value":{"entity-type":"item","numeric-id":3470575,"id":"Q3470575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f51ff4a5f7f3a44fa960725af91f6984ab0b29c","datavalue":{"value":{"amount":"+0.8211461305618286","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":"Q1115488$907F61F5-31C2-4A2A-87F2-F3B61A315401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901273140d7d4bb58ff04017c192ba23a744578c","datavalue":{"value":{"entity-type":"item","numeric-id":4861423,"id":"Q4861423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2a8ccbc9b7764dd2c43c8899a4ab2793657fb9","datavalue":{"value":{"amount":"+0.8168341517448425","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":"Q1115488$BC3FD1D4-15A9-4F3A-BAB8-9C8D8BE5C501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8db217de76df1f02ca0dba0ca1528efe7903cc","datavalue":{"value":{"entity-type":"item","numeric-id":1924547,"id":"Q1924547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2a8ccbc9b7764dd2c43c8899a4ab2793657fb9","datavalue":{"value":{"amount":"+0.8168341517448425","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":"Q1115488$40CCCF2A-7DF9-4EA0-9C74-A025F0AB477B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e2c379867257a2b0495a9ba19467addf528f99","datavalue":{"value":{"entity-type":"item","numeric-id":1117983,"id":"Q1117983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c3b9f3e3fb76a1b396c09cdf1768e123c000e80","datavalue":{"value":{"amount":"+0.7948771119117737","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":"Q1115488$F812B8B1-C351-47F4-BB19-C031AC83D7A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stability of Gr\u00f6bner bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stability_of_Gr%C3%B6bner_bases"}}}}}