{"entities":{"Q909718":{"pageid":911566,"ns":120,"title":"Item:Q909718","lastrevid":65276499,"modified":"2026-04-12T01:29:44Z","type":"item","id":"Q909718","labels":{"en":{"language":"en","value":"On the construction of Gr\u00f6bner bases using syzygies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4137920"}},"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":"Q909718$E8C83B64-76C7-44A5-ABB1-6DF2CA3445CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f666ed4c0b69d3c075867043b022c2150b14935","datavalue":{"value":{"text":"On the construction of Gr\u00f6bner bases using syzygies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q909718$000377D1-A3D0-4D8A-BC70-F90C97C68814","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad84bcaed424b2cbef2e61c803e58947527e7df5","datavalue":{"value":"0695.13003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909718$DC5A6AF5-E1A5-410C-AD9B-6DF0368E6997","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ecd7caa890c8744a1b58147ce4bc4f56e7276ca","datavalue":{"value":"10.1016/S0747-7171(88)80052-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909718$5A9F302A-5FD5-4E0D-BEB4-3641B6CE6BEB","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":"Q909718$D9C36DF8-84F4-45CF-ACD1-8AFB0E222E32","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":"Q909718$B675494A-3618-4661-8764-87AFDB184DC6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b06e489dcf099d27c5da527d3538e3e1cd6fd97","datavalue":{"value":"The classical Buchberger algorithm is based on S-polynomials being reducible to zero. Each S-polynomial depends on exactly two polynomials of F. Whereas the classical theory was developed for multivariate polynomials over fields, some authors generalized it to polynomials over rings, especially for reduction rings, Euclidean rings and principal ideal rings. Gr\u00f6bner bases were introduced for commutative Noetherian rings. By using syzygies, S-polynomials where interpreted anew. Reduction had to be interpreted again to what the authors call weak reduction.    In this paper the systematic use of syzygies in the Gr\u00f6bner basis construction starting with arbitrary commutative rings is shown. For commutative Noetherian rings, equivalent conditions for weak Gr\u00f6bner bases are given. For unique factorisation rings R, the author shows that Buchberger's algorithm works with S-polynomials that depend on exactly two polynomials for arbitrary finite sets of input polynomials iff R is a principal ideal ring, thus showing that one only needs to define strong Gr\u00f6bner bases in rings \\(R[X_ 1,...,X_ n]\\) with R PIR. Strategies to control the size of the basis of the syzygy modules are presented.    The author emphasizes the role of syzygies and not of uniqueness of special Gr\u00f6bner bases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q909718$24B7E073-DE81-468B-9035-2B5C00C1F992","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f7f43158b42f0a7240ceb9aa177f89dce451dc7","datavalue":{"value":"13-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909718$CC11ACB6-B304-4307-AC39-630CCDFDF5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909718$1F8D2C8D-BE24-479D-8E16-E1EB3701F974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909718$5D51CC84-F27C-4D23-AF8F-229391D324F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcf75d03f556a61b5ee14dc78fd86de0c289ac0b","datavalue":{"value":"4137920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909718$28212DBA-77BB-40FD-A529-69DE2FD93234","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0617f24fea4f074a9cd621dbb70d27a3f78cdd60","datavalue":{"value":"Buchberger algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q909718$2FD3F425-1A68-4135-B709-6D8104B0F999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q909718$21F079D6-35E4-48A8-9ADE-EB6F5DD4F959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fdf5912e96d2951d97a5e6888f65e8985678762","datavalue":{"value":"weak reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q909718$0112910C-DDC2-44EE-8B57-30B8B9963ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56a023fdd9c1c6f28e134d963976a278037343f0","datavalue":{"value":"syzygies","type":"string"},"datatype":"string"},"type":"statement","id":"Q909718$BDC20994-1D43-454B-96E7-BEFE2EBD6031","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e077569a64b49c38dd518426b544ee072c66e8dd","datavalue":{"value":{"entity-type":"item","numeric-id":731928,"id":"Q731928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909718$BBD65F24-628B-4240-823A-0637A34DD55B","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":"Q909718$EE137804-01A6-4DAC-8120-C03F3F96C0AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909718$2ED92E71-D90A-49F6-8DD6-A82066288E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7a76e3d93219f8f35922f7e651242be822568a","datavalue":{"value":{"entity-type":"item","numeric-id":3208084,"id":"Q3208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909718$FB24F0E3-3649-49B4-978C-BB6F90C2F116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29888ffc34074a279b8622e0e463f8cf0dd8abd","datavalue":{"value":{"entity-type":"item","numeric-id":3336682,"id":"Q3336682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909718$AE43D545-6C41-442B-AB95-E92D1A42DCDB","rank":"normal"},{"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":"Q909718$4F59C147-063C-43E0-80A5-1237F8D2F0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbae617fb6e166742561c17d105ae1ea0ce6a7f9","datavalue":{"value":{"entity-type":"item","numeric-id":1121950,"id":"Q1121950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909718$DB740B8A-B5C5-40EE-ABB9-9D524359A855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099d2bbc3ada9e7f293df1da966ebc8c3ffc9653","datavalue":{"value":{"entity-type":"item","numeric-id":3677849,"id":"Q3677849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909718$3501ED0F-ABF0-465E-B779-05F51381F369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b32ad429f37e101db6f57b5f4898c2598e15954","datavalue":{"value":{"entity-type":"item","numeric-id":3919801,"id":"Q3919801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909718$8664758C-315E-49E2-9278-B2B720420270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6947691efa7dffc9d43ea560e1f326e227b1cb0f","datavalue":{"value":{"entity-type":"item","numeric-id":3705542,"id":"Q3705542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909718$E1A5EC79-5485-42ED-93A3-D920E1B44ADB","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":"Q909718$141FC658-D511-4978-8FC9-ACBDCFF39B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15cdc60e527b7efbb68173a4b345611ec7a26903","datavalue":{"value":{"entity-type":"item","numeric-id":1086630,"id":"Q1086630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909718$880BEB18-E2A4-413E-B062-5EE190E3D36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0609dadce23d769efe6f6eca536dd3f2f4a8146","datavalue":{"value":{"entity-type":"item","numeric-id":3359804,"id":"Q3359804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909718$0C315F94-CC4D-4585-B246-43C8986A61EC","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":"Q909718$9848B2BF-17A5-48E0-A7C7-4EAC427187C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ad5aef9d0818bedbf78e0ab4947d22e4e11a42","datavalue":{"value":{"entity-type":"item","numeric-id":3675515,"id":"Q3675515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909718$D57E0795-D727-4C5F-A224-21D5FA4F78ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6169a42fb098256f3db3d9c3c52fdcd0aadad31","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(88)80052-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q909718$C492F331-EF4B-432B-A2E2-F0F18F46317F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1004a47109e511c6c7ddbbb1bcd5bb365c7ef833","datavalue":{"value":"W1988568284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909718$C48BBDC9-19BA-4AD7-8558-51A64524CE71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f138d769a43657cf810650b0cd407280eedf2cf","datavalue":{"value":{"entity-type":"item","numeric-id":4234258,"id":"Q4234258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d75344b46be8c28fb9eafc8715cfadae36894e04","datavalue":{"value":{"amount":"+0.8793616890907288","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":"Q909718$557B9110-1C35-423C-89BC-9D96A359EF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997bae6dfbe4ffc19759036d97becbad5cd45812","datavalue":{"value":{"entity-type":"item","numeric-id":5199037,"id":"Q5199037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d75344b46be8c28fb9eafc8715cfadae36894e04","datavalue":{"value":{"amount":"+0.8793616890907288","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":"Q909718$567CA50D-954B-4669-991C-6CD2572CABCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caf92ea5558cc87ce29462b9e6a39d66dcd029f9","datavalue":{"value":{"entity-type":"item","numeric-id":1918500,"id":"Q1918500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9974fe9656b84fad2a54eab5a7aabf8abba00f27","datavalue":{"value":{"amount":"+0.8312109112739563","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":"Q909718$C1585A57-5D26-4A5F-9B4C-F53D807E7604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aeeceb1f9c3dd2027b1ff538f590d45fa238217","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43e7111f2200d4fa47a69e430dec859224ff9b8","datavalue":{"value":{"amount":"+0.8312106728553772","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":"Q909718$61D090A3-6ABF-4FA8-A69D-AEFA91830F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05aae0c7c478afb0a4974656ffe60bda1aa5970","datavalue":{"value":{"entity-type":"item","numeric-id":2777726,"id":"Q2777726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52aae30752650029b5559817a4f4c6fcc9f0e313","datavalue":{"value":{"amount":"+0.8282798528671265","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":"Q909718$620C9BD5-7C5D-49E8-87A8-55063A28D9FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the construction of Gr\u00f6bner bases using syzygies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_construction_of_Gr%C3%B6bner_bases_using_syzygies"}}}}}