{"entities":{"Q1099197":{"pageid":1109949,"ns":120,"title":"Item:Q1099197","lastrevid":69637497,"modified":"2026-04-13T08:22:12Z","type":"item","id":"Q1099197","labels":{"en":{"language":"en","value":"A theorem on refining division orders by the reverse lexicographic order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039965"}},"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":"Q1099197$32A5BCA3-466E-4653-9A87-58244A0C7CFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76e5e7b2c82c5681d25c62116951c1f8ab92c0e5","datavalue":{"value":{"text":"A theorem on refining division orders by the reverse lexicographic order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099197$ED169761-E591-47B8-B8B3-2AAA46AD6D3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7408c6c76c13c5ee77cf4750a26f706f75790fc","datavalue":{"value":"0638.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099197$E6CDB42E-6E20-4777-9ACF-6D818B67D149","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c892d6860425a4239e480792b3b2dec811ca3235","datavalue":{"value":"10.1215/S0012-7094-87-05517-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099197$9623863C-ABE5-49E2-9E62-5A3EA250BC09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28136b3e5640435718ff67cf5b4f3155ec999dcd","datavalue":{"value":{"entity-type":"item","numeric-id":579328,"id":"Q579328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099197$ECD30DF1-9C6D-4BE6-9630-EDEB7565497D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca8307e97862a2342a60c5f4ed572f6cc27badda","datavalue":{"value":{"entity-type":"item","numeric-id":542026,"id":"Q542026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099197$34D8999D-682F-4B4D-A1F2-45BFBA3600B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099197$3FCD3051-A3E3-4DF8-801E-8067E7399786","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1099197$B6B86420-8A22-4D9F-B82C-8025874570D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d3263362906725a3e1f69825d82c597d3c57e92","datavalue":{"value":"If \\(S_ d\\) is the K-vector space of homogeneous polynomials of degree d in \\(S=k[x_ 1,...,x_ n]\\), where K is an infinite field, then a (partial) order \\(>\\) on the monomials of \\(S_ d\\) for each d is compatible with the monoid structure of the monomials of S if \\(x^ A>x^ B\\) implies \\(x^ Cx^ A>x^ Cx^ B\\) for all monomials \\(x^ C\\). If the order \\(>\\) is strict, then it can be used in applying the division algorithm to construct a standard basis for homogeneous ideals I whose properties vary with I. Many computaions of this type lead to results which are quite interesting from the combinatorial viewpoint as is illustrated by the algebraic theory of shellable posets, for example. In this paper the interest is more directly algebro-geometric. In particular the main theorem (theorem 6) is as follows: If \\(>_ 3\\) is the refinement of an (arbitrary) order \\(>_ 1\\) by the reverse lexicographic order \\(>\\) (rlex), and if \\(I\\subset S\\) is a homogeneous ideal, then there exists a Zariski open subset \\(U\\subset GL(n)\\) such that for any \\(g\\in U\\), \\(in_ 1(g\\cdot U)\\) and \\(in_ 3(g\\cdot I)\\) have the same regularity.    As noted, the reverse lexicographic order is often a most efficient choice for constructing standard bases when one can make a free choice of order, as in the computation of syzygies or Hilbert functions. These latter computations have important consequences in combinatorics also. Theorem 6 carries some of these efficiency properties of reverse lexicographic order to more general settings, which will be useful in a variety of applications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099197$0FAC8577-E161-4361-9537-3A65F7E3B8D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099197$18AB89F3-8606-458B-94EE-5F65D2C5FB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099197$6898833D-E66F-45C7-B699-B109873ACBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d36e3867d5946e3717838aa146c58da76ecefaf","datavalue":{"value":"05A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099197$481F4B26-ED32-422C-964E-F9F60EEAA309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f7f43158b42f0a7240ceb9aa177f89dce451dc7","datavalue":{"value":"13-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099197$6A304EA7-4242-4AF5-A0DB-593179B59A90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17f5541e5f177ba2a80d1878b921662a61300d0a","datavalue":{"value":"4039965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099197$6D3EC915-CB62-4F4E-9E84-E99A2432BE58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099197$C496B41D-78AD-4775-A74D-70B70C3D6B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07dc5c1b83350c5a7ae38151109d88e590df7c76","datavalue":{"value":"vector space of homogeneous polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099197$8E39EC9B-ABC2-4D4B-AF9E-F1D66B6B5D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b09872996148d96ffba3027d538dfc1d695cf6df","datavalue":{"value":"monomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099197$F8292126-C576-46DE-A49C-1EBC637CE81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a1df81671988805f138c2293a0451f21033c21a","datavalue":{"value":"monoid structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099197$4DD87900-873A-499D-91CE-FB3ACAB3767F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bde64f034ca7c64dbb33634b4e9b9c94d6cd3bd","datavalue":{"value":"division algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099197$5EF15B5F-5D58-470A-AED8-F80BE3087651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e647bcbfd83ff3621d3a0b3577f8fd1517b3f0","datavalue":{"value":"standard basis for homogeneous ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099197$48BCA1E8-D2C0-4E0D-8C5C-CDBF991F9108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc9f83486b878797c054e03247e206e780d75ff","datavalue":{"value":"reverse lexicographic order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099197$D817CC5F-94E2-4F45-88E3-228612278DCC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b626688718ca3d61fce8479b1c17fa40d92d8dda","datavalue":{"value":{"entity-type":"item","numeric-id":233347,"id":"Q233347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099197$82F6917A-46F5-4F5C-9AFA-5CFA7550B135","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":"Q1099197$7012036A-1350-4F92-A28D-720D0A6ACA67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1fcd32a4f9306642a76e516171ba376915d221","datavalue":{"value":{"entity-type":"item","numeric-id":3426713,"id":"Q3426713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099197$5FAB5993-79FC-41E2-B667-CE630C6528A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea64c8409743a6e03224a8e175cfdfdbdefd786","datavalue":{"value":{"entity-type":"item","numeric-id":1121951,"id":"Q1121951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099197$246E8D88-780C-4DF5-B385-5F6C1AE200E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca3cc6b3ad7686c307194bc8d12021b7cff726","datavalue":{"value":{"entity-type":"item","numeric-id":579329,"id":"Q579329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099197$F7FBBDB0-6085-44FD-8424-3C1293E25D55","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":"Q1099197$CD8E9022-81DB-4385-A0BA-DE73FC542015","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":"Q1099197$FB17C848-B83A-4E30-9AEC-95AE876DBEBD","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":"Q1099197$D78FDD52-F2B7-48E2-92B9-778088D6EEA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17d72ca7c61829fe435d5d851aca60470917e00","datavalue":{"value":{"entity-type":"item","numeric-id":1209367,"id":"Q1209367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7888e1495a9905fd7de8170b27c9d9d3b9de1f92","datavalue":{"value":{"amount":"+0.8641658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099197$8F27808E-EEB8-45D0-A60E-C0635444BD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0bee8a561f6f30093fa6ac128fb052272e5112","datavalue":{"value":{"entity-type":"item","numeric-id":918714,"id":"Q918714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfe6f37bf80091278f36a86c876f67dc6f41702","datavalue":{"value":{"amount":"+0.8630382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099197$A4004062-7E94-4340-8761-483109257A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2728de5e23ab6e4750c323e807fc4cd59dfa2f","datavalue":{"value":{"entity-type":"item","numeric-id":4370351,"id":"Q4370351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94db3304354568b2beae3b08e6174b3f77f6d11c","datavalue":{"value":{"amount":"+0.85458905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099197$75FC3B93-DF15-4D3D-AD5C-7D840743E70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd354b8a80870378bd35bd88bb7a6325736e5fa","datavalue":{"value":{"entity-type":"item","numeric-id":2671819,"id":"Q2671819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5075740c12410b11751ccbf84ca298f5e04efda","datavalue":{"value":{"amount":"+0.8470761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099197$31FA97E8-F43B-47E2-A631-6B832D7F54B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ea63ba8de941243d6a615642dc2f97260b72ef","datavalue":{"value":{"entity-type":"item","numeric-id":527337,"id":"Q527337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d61925ef3fed11eee09f94df21c9c46811e162","datavalue":{"value":{"amount":"+0.84543365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099197$4E7B072B-8F8F-4BAB-916B-E860852AF970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c68583c7463a9c47e248bc95f8ecdc6896823b","datavalue":{"value":{"entity-type":"item","numeric-id":912609,"id":"Q912609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7da6014aeee2a8f7b7dad3dafa22f6d1cf2d84","datavalue":{"value":{"amount":"+0.8418853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099197$19D5AC21-3777-4F38-B991-1F65D210F556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfdea417d04c491c310ea541fd2fa1da0364987","datavalue":{"value":{"entity-type":"item","numeric-id":1781996,"id":"Q1781996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c870f07464188fd4d5531bea96c2b0aac1f6e4b","datavalue":{"value":{"amount":"+0.84074295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099197$0A8BF2F4-264F-4BA3-ACDF-0EA56BA5F18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb31f927016e7e06ef12bf033e414f99050c3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5711887,"id":"Q5711887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1687a4af934180aa6f1741e82ee757c5867c28","datavalue":{"value":{"amount":"+0.8406853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099197$87023248-D46A-448E-BDDE-B7E15F8529C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e671d39f015950e227525241f6d0b81cc3d045","datavalue":{"value":{"entity-type":"item","numeric-id":5426277,"id":"Q5426277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0361953d5343a47fa115326039a6090e374afab","datavalue":{"value":{"amount":"+0.8391295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099197$D934434C-A0D2-4517-8942-C15F981857DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae7c0dd5e94d2f6eb993b785a5f6b880cedc729e","datavalue":{"value":{"entity-type":"item","numeric-id":1851420,"id":"Q1851420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e81576a3bf0367e769026737c6d1836333a5581","datavalue":{"value":{"amount":"+0.838276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099197$9D0D38B2-16DA-4FDD-BC00-BB37425AE62E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theorem on refining division orders by the reverse lexicographic order","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theorem_on_refining_division_orders_by_the_reverse_lexicographic_order"}}}}}