{"entities":{"Q438745":{"pageid":440512,"ns":120,"title":"Item:Q438745","lastrevid":61831626,"modified":"2026-04-11T01:58:11Z","type":"item","id":"Q438745","labels":{"en":{"language":"en","value":"Gr\u00f6bner bases of contraction ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062490"}},"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":"Q438745$4D0F20AD-6379-4ECC-9101-44F96D3E16B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6a65bc755bc973e04ee0496e958b17b69749c55","datavalue":{"value":{"text":"Gr\u00f6bner bases of contraction ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q438745$ACEE422E-AD59-421E-88CC-C794E170B170","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"349a7b9e947e857c6e235eae2e2124f76ece42a5","datavalue":{"value":"1250.13028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438745$B92B2041-51C2-46C4-97AB-D9274F1B88D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ec1225c3dadfa53498971234bd7b3d9179bbb4d","datavalue":{"value":{"entity-type":"item","numeric-id":324820,"id":"Q324820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$8ADC1E3D-1C16-4042-B1C2-1B2B00566A89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5e010d4525286f928f56a14a06a3a3ef373d646","datavalue":{"value":{"entity-type":"item","numeric-id":162910,"id":"Q162910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$F4CE213F-85B0-44C2-B136-A3357FEA9E0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c7ad691786690cf86127845d28cf47311748286","datavalue":{"value":{"time":"+2012-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q438745$4375597A-2C32-4245-A2E6-BBFC6AF97530","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3569dbe9cfec4b40e64011c559dd656426f5d7d0","datavalue":{"value":"https://arxiv.org/abs/1010.5768","type":"string"},"datatype":"url"},"type":"statement","id":"Q438745$4A251D1B-B045-4E29-AAFC-C2755BE99EF5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f40b833ea022f8cb5f58464bc2d2b49e61ae17e","datavalue":{"value":"For any field \\(K\\) and any \\(m \\times n\\) integer matrix \\(\\mathcal{A}=(\\mathbf{a}_1,\\ldots,\\mathbf{a}_n)\\), where \\(\\mathbf{a}_j = {}^t(a_{1j},\\ldots,a_{mj})\\), the author considers the \\(K\\)-algebra homomorphism \\(\\phi_{\\mathcal{A}}:K[x_1,\\ldots,x_n] \\rightarrow K[y_1^{\\pm 1},\\ldots, y_m^{\\pm 1}]\\) sending \\(x_j\\) to \\(\\mathbf{y}^{\\mathbf{a}_j}\\). The ideal \\(P_{\\mathcal{A}} := \\text{Ker}\\, \\phi_{\\mathcal{A}}\\) is called \\textit{toric ideal} of \\(\\mathcal{A}\\). The paper investigates toric ideals of the product of two matrices \\(\\mathcal{C}=\\mathcal{B}\\cdot\\mathcal{A}\\). As \\(\\phi_{\\mathcal{C}} = \\phi_{\\mathcal{B}\\cdot\\mathcal{A}} = \\phi_{\\mathcal{B}}\\circ\\phi_{\\mathcal{A}}\\), we have that \\(P_{\\mathcal{C}} = P_{\\mathcal{B}\\cdot\\mathcal{A}} = \\phi_{\\mathcal{A}}^{-1}(P_{\\mathcal{B}})\\), hence the author studies \\textit{contraction ideals} under the monomial homomorphism \\(\\phi_{\\mathcal{A}}\\) and in particular their initial ideals.  Consider a homomorphism \\(\\phi_{\\mathcal A}\\), associated to an integer matrix \\(\\mathcal{A}\\) with non-negative entries, and a weight vector \\(\\mathbf{w} = (w_1,\\ldots,w_m)\\) giving a \\(\\mathbb{N}\\)-graded structure on \\(K[y_1,\\ldots,y_m]\\). The vector \\(\\phi_{\\mathcal{A}}^{\\ast}\\mathbf{w} := \\mathbf{w}\\cdot\\mathcal{A} = (\\deg_{\\mathbf w}\\phi_{\\mathcal{A}}(x_1),\\ldots,\\deg_{\\mathbf{w}}\\phi_{\\mathcal{A}}(x_m))\\) induces a \\(\\mathbb{N}\\)-graded structure on \\(K[x_1,\\ldots,x_m]\\). Firstly, in order to reduce to the case of monomial ideals, the author discusses under which conditions the computation of the initial ideal commutes with the contraction, i.e. when  \\[  \\text{in}_{\\phi_{\\mathcal{A}}^{\\ast}\\mathbf{w}}\\big( \\phi_{\\mathcal{A}}^{-1}(I)\\big) = \\phi_{\\mathcal{A}}^{-1}\\big(\\text{in}_{\\mathbf{w}}(I)\\big).  \\]   Then, the main result of the paper concerns \\(\\mathbb{Z}^d\\)-graded polynomial rings \\(K[y_1,\\ldots,y_m]\\), with \\(\\deg_{\\mathbb{Z}^d}(y_i) = \\mathbf{v}_i \\in \\mathbb{Z}^d\\). For any finitely generated subsemigroup \\(\\mathfrak{H} \\subset \\mathbb{Z}^d\\), the author considers matrices \\(\\mathcal{A}_{\\mathfrak{H}}\\) whose columns represent a system of generators of the semigroup \\(\\{\\mathbf{a} \\in \\mathbb{N}^m \\;|\\;\\deg_{\\mathbb{Z}^d}(\\mathbf{y}^{\\mathbf{a}}) \\in \\mathfrak{H}\\}\\). In this setting, for any \\(\\mathbb{Z}^d\\)-graded ideal \\(I \\subset K[y_1,\\ldots,y_m]\\), it is proved that: the initial ideal of the contraction ideal \\(\\phi^{-1}_{\\mathcal{A}_{\\mathfrak{H}}}(I)\\) is generated in degree at most \\(m\\), if both \\(I\\) and \\(P_{\\mathcal{A}_{\\mathfrak{H}}}\\) have this property, and the initial ideal of \\(\\phi^{-1}_{\\mathcal{A}_{\\mathfrak{H}}}(I)\\) is square-free, if so are the initial ideals of \\(I\\) and \\(P_{\\mathcal{A}_{\\mathfrak{H}}}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q438745$292A0CD0-6678-4F25-908D-487A53AF535D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"46839b777f337535372d0a005512686d6191c29b","datavalue":{"value":{"entity-type":"item","numeric-id":311783,"id":"Q311783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$616003D4-FB8E-4F80-A116-43FED92AB4B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438745$4EF829A7-DB14-46D6-BE42-A0FF55A21D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"134db59e1dd21b74810139030592980e5f363e0f","datavalue":{"value":"13P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438745$6496450E-96FD-4DB1-BB67-301A361D8C89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7cde4bf6d4eddc477badf2e1e84fc26fc617348","datavalue":{"value":"6062490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438745$D757E2BA-2BE2-4882-B71B-0377B78ACC90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q438745$5BE08005-6F88-4754-8747-DC3C70AB4CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a9b57a4276b21c1f46458b78626e599401f5a03","datavalue":{"value":"toric ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q438745$5BE5B777-8193-4FA0-825F-AD5FA60D194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a13b68bbed5b6e8ac88aaaca7f342ac28fb473b5","datavalue":{"value":"initial ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q438745$CCDFBFCA-78B0-4104-A112-14350EDC4302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a914c3174eb810c4c9e8555066cef9aace6f1ae","datavalue":{"value":"nested configuration","type":"string"},"datatype":"string"},"type":"statement","id":"Q438745$FD54424E-841D-47F8-BABE-16D350729E79","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":"Q438745$5A5FF7B1-477A-4B84-AA42-DA960F2BA4C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b4d3bca8bfa90075cc1ba5a98eff919a8ef80f3","datavalue":{"value":"W1987953652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438745$EA796711-54C0-40C2-9589-91A88ADF2892","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1bfe56198f3c320424c9e088f7b648b10cf96f5","datavalue":{"value":{"entity-type":"item","numeric-id":952559,"id":"Q952559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$BFDA2DE2-CF08-446F-905E-5D4EA9621114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6745619b7f8ecd635345d9ee94eb84e1153f35e","datavalue":{"value":{"entity-type":"item","numeric-id":4038746,"id":"Q4038746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$06229CF9-397B-410A-B588-73EE380F72DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$E3CA0120-8878-4B59-9286-3C14A95F353C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83ae4bdcbf88d884848b045ee581bd9d3f72122","datavalue":{"value":{"entity-type":"item","numeric-id":4209232,"id":"Q4209232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$E4AD25EF-5CBF-4FCB-BD67-84B9C72A10DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d16e9470b7dbb30979d429d1728cdc8e63843b","datavalue":{"value":{"entity-type":"item","numeric-id":4260183,"id":"Q4260183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$16EC9A30-C894-4B7F-B103-2F74115B81A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4194bfb3a9c44b309788bc3c7c6995e5bec32e8","datavalue":{"value":{"entity-type":"item","numeric-id":1807063,"id":"Q1807063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$F58EDA32-BE31-44BA-BFB0-ABF0EF645C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"321f1a4051779d274c1677400bd16becee8fb7a4","datavalue":{"value":{"entity-type":"item","numeric-id":1342761,"id":"Q1342761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$B08FFDB3-8D08-40DF-9B75-B3E470387393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370e353c9ef7e6ff6519ff4d8fc77d541c85cabd","datavalue":{"value":{"entity-type":"item","numeric-id":412495,"id":"Q412495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$ED9D1CC1-BCFF-4A50-8BC3-FCF763C3ABBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf2a2cf9a1bb52c31ffd60f4cbf304681d2b868","datavalue":{"value":{"entity-type":"item","numeric-id":4861423,"id":"Q4861423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$0A9436BD-A089-46B4-9ADF-5017A357D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3118be81cc4b13114936ea9a305233aa0572d68","datavalue":{"value":{"entity-type":"item","numeric-id":2464491,"id":"Q2464491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438745$C1C60413-EAF7-43CF-AD03-628BD57735F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cba04c2d3b3e1d11cb358231afcfa34bfe7c594a","datavalue":{"value":"10.1007/S10801-011-0320-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438745$00DE2F9E-A631-40AA-91B8-E2DD9D749C79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0164790724ea2a7967dd75fc970429820e6bd785","datavalue":{"value":{"entity-type":"item","numeric-id":1005844,"id":"Q1005844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dcdce58723aca6d218a2eb361779644c30de0e2","datavalue":{"value":{"amount":"+0.7841005325317383","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":"Q438745$A8F1546B-ACB3-4D74-9BC0-D00853917CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c232831a5bca98a600b87194c1c32aa196213d","datavalue":{"value":{"entity-type":"item","numeric-id":2464491,"id":"Q2464491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202c9f371ad8a38b8ff6af11c24171c171f927cc","datavalue":{"value":{"amount":"+0.7667717337608337","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":"Q438745$9756FD07-529A-413A-B2E9-C7672E93FEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92a91439f7f84085a61d9626c77d7bcb87b8f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1017682,"id":"Q1017682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be539d7e262514ce6ea2bc3685b16844b334be23","datavalue":{"value":{"amount":"+0.7611304521560669","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":"Q438745$D748D04F-B0EC-4E31-B515-3FEB0228A882","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":"41e638ef55c49cbae7c3b00c92524f22231e0bed","datavalue":{"value":{"amount":"+0.75776207447052","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":"Q438745$66355112-2E8B-4ABF-B859-2761870DECAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165c91a157e9b0c22fbc0c2c20160c46d725310d","datavalue":{"value":{"entity-type":"item","numeric-id":4501655,"id":"Q4501655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e638ef55c49cbae7c3b00c92524f22231e0bed","datavalue":{"value":{"amount":"+0.75776207447052","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":"Q438745$725E6FF0-75F5-46C0-84E3-10C5B207924C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gr\u00f6bner bases of contraction ideals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gr%C3%B6bner_bases_of_contraction_ideals"}}}}}