{"entities":{"Q2366111":{"pageid":2376854,"ns":120,"title":"Item:Q2366111","lastrevid":72613743,"modified":"2026-04-14T06:05:00Z","type":"item","id":"Q2366111","labels":{"en":{"language":"en","value":"Transitivity for weak and strong Gr\u00f6bner bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223270"}},"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":"Q2366111$A9653C13-9D2A-479E-91B4-A89C5EA039CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fd3b527529f2f73833f67af4e6868fb7bc6c363","datavalue":{"value":{"text":"Transitivity for weak and strong Gr\u00f6bner bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366111$49E68D5B-80F3-4C3D-A927-8D129667B5BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd3fd68005d7c036d88e9e528c4089dd4c456061","datavalue":{"value":"0771.13013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366111$738F05D7-12FC-41A2-B9FF-FB89CBC03C91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4de97467466a1de37a00cd7daa28b937a9a9766","datavalue":{"value":{"entity-type":"item","numeric-id":582359,"id":"Q582359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366111$29AA4EB8-127F-4990-AD88-08927C928865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a13b9ca1de47d33d84c12bd01dafd836e752b14","datavalue":{"value":{"entity-type":"item","numeric-id":173417,"id":"Q173417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366111$37C83908-A63E-4606-A647-47CDEF253F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2490a6d687d97372961ef10132da8769a3526622","datavalue":{"value":{"entity-type":"item","numeric-id":173418,"id":"Q173418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366111$3E574724-AA6C-4611-848C-DE3FEEEF58D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366111$32CD7064-7ED0-42C9-A38B-DD23410F6837","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366111$1E3ED7C2-28E5-4AFA-BE2B-902A792BC41B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa932f9a3bfed5406bd91c5450f9e2f79e02bb7b","datavalue":{"value":"https://semanticscholar.org/paper/609574fedb5f4f37fb476ee93bd9128f6ca68a10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2366111$82B6D2A9-2E19-4575-9DB6-97E7A844470B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb2615685f7f90c4568f9072f43345ac868d57ce","datavalue":{"value":"Let \\(k\\) be a noetherian integral domain, \\(R:=k[y_ 1,\\dots,y_ m]\\) and \\(R[x]:=R[x_ 1,\\dots,x_ n]\\) polynomial rings over \\(k\\) and \\(R\\), and let \\(<_ x\\) resp. \\(<_ y\\) be term orders on \\(\\mathbb{Z}^ n\\) resp. \\(\\mathbb{Z}^ m\\). The ``elimination order'' \\(<\\) on \\(\\mathbb{Z}^ m\\times\\mathbb{Z}^ n\\) is defined by \\((a,b)<(c,d)\\) iff \\((b<_ xd\\) or \\((b=d\\) and \\(a<_ yc))\\). The authors study the relation between Gr\u00f6bner bases in \\(R[x]\\) with respect to \\(<_ x\\) and Gr\u00f6bner bases with respect to \\(<\\) in \\(R[x]=k[x,y]\\). --- Their main result is:   Let \\(F\\) be a Gr\u00f6bner basis in \\(R[x]\\) with respect to \\(<_ x\\) and Gr\u00f6bner bases with respect to \\(<\\) in \\(R[x]=k[x,y]\\). -- Their main result is:    Let \\(F\\) be a Gr\u00f6bner basis in \\(R[x]\\) with respect to \\(<_ x\\). Then \\(F\\) is a Gr\u00f6bner basis in \\(k[x,y]\\) with respect to \\(<\\) iff the set of leading coefficients (with respect to \\(<_ x)\\) of \\(S\\) is a Gr\u00f6bner basis in \\(R\\) (with respect to \\(<_ y)\\), for all subsets \\(S\\) of \\(F\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366111$D55BBD10-7C20-4BF8-B890-E400D94A3001","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366111$F4394011-A802-417C-AB39-6C605DC8879F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366111$135A23E7-59EE-4256-A585-351639BCE8DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe9620035d087214fc3dec89657900e354cbd26d","datavalue":{"value":"223270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366111$B17DBA88-16C3-41EA-8B74-5B6329530F18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e6ab94e96dc0af40d67e25949b534aa75ef611b","datavalue":{"value":"polynomial rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366111$1F657B87-9FE9-44DA-A83A-66A6A2709329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ce6a55c4e1e7b63bc53f16bdaa7bd5c9e12795a","datavalue":{"value":"term orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366111$AA687ED1-7749-4360-B19C-700C41FA1F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366111$E5844BDE-4434-4897-AAE8-709AAAF77D75","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"098be66bba7b806dcfe48823e12663fd34dba1d6","datavalue":{"value":{"entity-type":"item","numeric-id":229601,"id":"Q229601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366111$609E0451-CF14-445D-824C-B67EDA0B1945","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":"Q2366111$FE811D6E-AFA0-4E76-8ECF-3B3A2936FF35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed655fb81190967760818c069780b4ac2889feb2","datavalue":{"value":"W2013779462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366111$5EEDF1C4-64B7-4D04-84C2-250BDDD6E483","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8473bfb74d5fa1ba968c03dec2b83dd0414fc3d4","datavalue":{"value":"10.1006/JSCO.1993.1003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366111$3B720599-1F93-4F38-AA3F-9F2A1B580AC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0faca14d35f23a90d8e2cd7cca3d0db66b554de","datavalue":{"value":{"entity-type":"item","numeric-id":1198241,"id":"Q1198241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564c7fe01415981da81506fb365a5992b5348345","datavalue":{"value":{"amount":"+0.7898432016372681","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":"Q2366111$E360C8CB-5F60-4020-BC1D-1F6DF57FD4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea29b9d4761ac7249cb3111e7c3977b348e4a9c","datavalue":{"value":{"entity-type":"item","numeric-id":1311607,"id":"Q1311607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfdd448b84c65d65458467f9bdb72f728cb8bd31","datavalue":{"value":{"amount":"+0.7809910774230957","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":"Q2366111$F1B993EE-3B1E-4849-AE67-702868781A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143a15fd62b19de5183882fead9e1460ae99c969","datavalue":{"value":{"entity-type":"item","numeric-id":4501654,"id":"Q4501654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7816c41a1366e448653313993bff344420046106","datavalue":{"value":{"amount":"+0.7783089876174927","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":"Q2366111$BDE87054-FEAC-43C4-A39A-D1FB76471379","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transitivity for weak and strong Gr\u00f6bner bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transitivity_for_weak_and_strong_Gr%C3%B6bner_bases"}}}}}