{"entities":{"Q855700":{"pageid":857548,"ns":120,"title":"Item:Q855700","lastrevid":49980967,"modified":"2026-01-12T11:11:18Z","type":"item","id":"Q855700","labels":{"en":{"language":"en","value":"Dynamical Gr\u00f6bner bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5078115"}},"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":"Q855700$E6F1DC2E-419A-4C5E-B9FE-2229874EB2F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a594afd565cc22996addc4008e4ecdb4dd55a1f4","datavalue":{"value":{"text":"Dynamical Gr\u00f6bner bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q855700$3542CCFF-667E-4A35-A063-DB83852ACB14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e89e017d6173777813f4677d102de270c440157d","datavalue":{"value":"1113.13013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855700$7CF4ED4D-4D21-4FC4-B2E6-906744BC034D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4411587d3c1e55e23b2f9df508875f4e05601b37","datavalue":{"value":{"entity-type":"item","numeric-id":415465,"id":"Q415465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$3C8DCD47-B9FC-495C-A225-BC94BF15D64F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$22418869-B11B-41DB-A56E-0D02DEB166FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f69fd7e33e5959021461630cbc83478a74a6768f","datavalue":{"value":{"time":"+2006-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q855700$52CC5757-0F88-4A23-840B-0DCBACE4314E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"548a133f3622bc173632a7d5c62d68d2f0ccc3e8","datavalue":{"value":"Since its introduction, the notion of Gr\u00f6bner basis has been generalized in many ways. In [\\textit{I. Yengui}, ``Computing a Gr\u00f6bner basis of a polynomial ideal over a principal domain'', preprint (2004)], the author generalized Gr\u00f6bner bases to discrete valuation domains, giving a simple decision procedure for the ideal membership problem in this case. The first part of the current paper is a direct generalization of that work to noetherian valuation rings. As a sample application, the author computes two examples of the structure of codes over two different finite-chain rings. A third example shows that in the integral case, the totally ordered group corresponding to the valuation must be archimedian in order to guarantee that Buchberger's Algorithm will terminate in a finite number of steps.   The author then generalizes Gr\u00f6bner bases to principal rings by computing a ``dynamical Gr\u00f6bner basis'', i.e. a tree of Gr\u00f6bner bases in localizations of the original ring at finitely generated multiplicative subsets. The author provides a detailed example of the construction, along with an example of how the ideal membership problem can be answered with the resulting basis.   While the dynamical method avoids the ``expensive problem of factorizing an element in a principal domain into a finite product of irreducible elements'', it introduces its own computational problems in the form of redundant leaves ``due to the fact that one can obtain the same leaf in different ways''. The author does mention several shortcuts that may help to alleviate this problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q855700$2C8DFE0B-BC25-4A2E-A8BF-9DC5A94B9B8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855700$CEEF94C8-F437-4FAB-8BAD-D2D392B8FC6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26decfb51a5031a07f29952082f86b52c850d443","datavalue":{"value":"5078115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855700$B8DFA780-4041-482B-AA88-7EF26C0CDD25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6217978f2e174cff7dc7127fac08fe9e0291af5","datavalue":{"value":"dynamical Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q855700$1CE0D5D8-A0BF-4C23-B497-18D4F7B20E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b763c6bb3bacbe3cf530e30249e7b85c26c23bdf","datavalue":{"value":"ideal membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q855700$A468B2CB-79C9-4C05-8F2D-4982845A76D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62054b9893df2de96a5975ed6e3ed2bcd144191b","datavalue":{"value":"valuation rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q855700$9079A670-9631-4D6C-AF02-6B66C3D6FE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3cabc3edd46a437d3d4c6a3b8775abc1506e70a","datavalue":{"value":"noetherian rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q855700$165BA721-2CA5-45B5-9CFC-3D89EEFB2C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c81de7e0b6071a9a2aed7bf012236c479054ed23","datavalue":{"value":"principal rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q855700$8EA07E23-E7B5-4FAF-9881-B86F7832D5EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f216bf5315f119cd6b8e6e21478a01c8d73dc22","datavalue":{"value":{"entity-type":"item","numeric-id":1264427,"id":"Q1264427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$F9DA1D59-7580-4D1F-BCDA-CB784EB88FFB","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":"Q855700$C12A5F3B-2464-4B2D-B31E-B1866A6F5722","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0d6aa39264eeeab9da19734adaf9a514eb287a0","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2006.01.051","type":"string"},"datatype":"url"},"type":"statement","id":"Q855700$F6206C39-B576-4C2F-909B-BA9ECF74424C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c030d09260eef93435a91bf26e2dbbcd4012bbb","datavalue":{"value":"W2081582540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855700$AA752F6D-0C60-45E6-91AA-6EFC0E9DAA50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ebd977bfa90ac2fedeed1040e81505630a4c12","datavalue":{"value":{"entity-type":"item","numeric-id":4461098,"id":"Q4461098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$CB656AE1-A3B4-4AEA-81DD-72BC3AB11515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e38256ea132ad651e4db13ce72ef4846981aff","datavalue":{"value":{"entity-type":"item","numeric-id":1052408,"id":"Q1052408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$DE15A189-9B70-410E-9148-BB48F1759518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5d64d1845e04f80ca2a97cbbd0e809cdc4f53a","datavalue":{"value":{"entity-type":"item","numeric-id":3338360,"id":"Q3338360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$1B804685-7168-4345-BE0F-CE325699CDC2","rank":"normal"},{"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":"Q855700$7D556A51-8CEB-4BAB-996A-466D56E5D759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bd2c6d1fd90a036c1ca6ec3b51b1f55eb7f8c3","datavalue":{"value":{"entity-type":"item","numeric-id":5938546,"id":"Q5938546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$75266271-F67A-48CB-B870-6819C8416900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4598a2f0d8250e52c392b2217273aea85b237a5","datavalue":{"value":{"entity-type":"item","numeric-id":5946086,"id":"Q5946086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$04A54534-4AA0-4D8A-9654-FF8DB4FC7E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc3ca9f49112a3e243880bb44d37995ae549fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1887479,"id":"Q1887479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$4DE7651C-AE34-4A64-9F41-3805E0BA89BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88c6e648af1e6ea5f97f3099e54c273c3553ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4302337,"id":"Q4302337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$1955AC45-DD8E-47B6-B1DD-CB036FA918B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76e07bb89e379093d1e3a099bac85a5c8181c79","datavalue":{"value":{"entity-type":"item","numeric-id":1335137,"id":"Q1335137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$9F0D92A5-9962-4BB6-8F20-F18AACCB2F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73ce955711ad357898f8c67700a184cbc7de1b6","datavalue":{"value":{"entity-type":"item","numeric-id":1111629,"id":"Q1111629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$0CC419E3-DE37-42FA-B9D7-D1098748A9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$FEC12D0D-DB59-47F5-B2E4-5A5DF1D1B4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b0da50c3580d5f73a409854a35f120536a51dd","datavalue":{"value":{"entity-type":"item","numeric-id":1573766,"id":"Q1573766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$B149CC2A-D5C2-45AF-85E0-2B303B95A75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad9bc06d15c1c368f7f3d3a5bd9e6234ddfd390","datavalue":{"value":{"entity-type":"item","numeric-id":2777726,"id":"Q2777726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$1F4B3341-0914-4499-9D20-D9C14AB5A412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1babd43f195c0babf7c255c86b0ce2ee6f9d87f1","datavalue":{"value":{"entity-type":"item","numeric-id":4532584,"id":"Q4532584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$98C0BCD3-0273-4CE3-A750-B957784670C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e1b5c22085c95164e54d734782599686ad54a0","datavalue":{"value":{"entity-type":"item","numeric-id":1870034,"id":"Q1870034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855700$489ECCC8-64E5-4711-90F7-B212B75A2934","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b13d2b343571565d69c0fc98334969e33cdb1227","datavalue":{"value":"10.1016/J.JALGEBRA.2006.01.051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855700$AF018565-5A54-4A5B-AFE1-65329D92C6F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ed722ce86e191a539b45d5e12f2a3c86fd919c","datavalue":{"value":{"entity-type":"item","numeric-id":984989,"id":"Q984989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663ad7fc7ef814b19e7fa3ac957801f0b3c17c31","datavalue":{"value":{"amount":"+0.8735933303833008","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":"Q855700$BFD718CC-6328-41C4-8AC8-390A39355299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f180876bdc2457b9109b7b1d0369b2b0399737","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472ff3ee1fd71c7b3b0f339a9f4d873191f103ec","datavalue":{"value":{"amount":"+0.8612713813781738","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":"Q855700$707E89B9-CDDB-45B2-890C-29ABA0FCF29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7a2da8f35f4ebc6087f71dedf99a6a962c43b8","datavalue":{"value":{"entity-type":"item","numeric-id":5399018,"id":"Q5399018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c238857288f066620c409d379cd6eb8d1c5350fe","datavalue":{"value":{"amount":"+0.8113314509391785","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":"Q855700$E1F8B764-F1CF-4FA7-9C43-26BE5841656E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e50744c13935c841922c70763a453b22e7a3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":5938546,"id":"Q5938546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48033a0bedacf08177f1e0b4c3537fc7647cff5b","datavalue":{"value":{"amount":"+0.7909051179885864","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":"Q855700$70050616-49B7-4887-B72C-6D3938E3F7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ecce17fbe977b5985b73a1ac4eaaa1515feceeb","datavalue":{"value":{"entity-type":"item","numeric-id":3652821,"id":"Q3652821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb5008287295cabc7f321f822686606c17a7f00","datavalue":{"value":{"amount":"+0.7901319265365601","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":"Q855700$4D211A30-89A6-4F48-8D75-EACCE383158D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:855700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:855700"}}}}}