{"entities":{"Q687617":{"pageid":689466,"ns":120,"title":"Item:Q687617","lastrevid":63615297,"modified":"2026-04-11T14:21:59Z","type":"item","id":"Q687617","labels":{"en":{"language":"en","value":"Gr\u00f6bner bases of modules over reduction rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 436420"}},"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":"Q687617$A6C96914-EE3E-48AC-B3E4-1C7FF1EBB61A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"939d865d9bb858f09ce3954d70c0346887baeeaa","datavalue":{"value":{"text":"Gr\u00f6bner bases of modules over reduction rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q687617$11DEC1D9-6E19-4A02-894B-BCB357D7001D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca4dd3171f83bbd644a20e17d5f234014d50286c","datavalue":{"value":"0807.13014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687617$519E2E03-4EFA-4C98-8576-48A31CACEBCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecb96e52397a23d7143c7c9df1adbf40197ed8ab","datavalue":{"value":{"entity-type":"item","numeric-id":676067,"id":"Q676067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687617$5A617E1E-2BC8-4B30-A05E-CE9881759B00","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":"Q687617$D7BF3A3E-3520-44FA-BB8C-5F78A9EABA8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccc97a89e1c0674a42f6f0c9729ee74a1c1266d3","datavalue":{"value":{"time":"+1995-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q687617$EAE0C14B-22ED-457D-ABF7-D32C5FFBD27F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d379b8aa0ce1a02f1f62221991532106af9c62b0","datavalue":{"value":"By a reduction ring the author means a ring satisfying some axioms in order to be able to compute Gr\u00f6bner bases with the Buchberger algorithm. The notion, already considered by several authors, is quite general and allows the definition of Gr\u00f6bner bases in a large class of rings. In the paper it is showed that, if \\(R\\) is a reduction ring, then the ring \\(R^ n\\) (where addition and multiplication are defined componentwise) is also a reduction ring (except for one of the axioms which, however, does not compromise the application of Buchberger algorithm). Successively, it is proved that if \\(F \\subseteq R^ n\\) is any finite subset, then a Gr\u00f6bner basis of the \\(R\\)-module generated by \\(F\\) can be computed from the Buchberger algorithm applied considering \\(F\\) as a set of elements of the reduction ring \\(R^ n\\). This allows to define Gr\u00f6bner bases of modules over a reduction ring, using only the notion of Gr\u00f6bner bases for ideals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q687617$FCB57CE9-9F4A-40FC-8683-383F71F959B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687617$8A0037BB-9D77-458C-AC74-00DB42D8B0D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de5d98479fab559c3cab189794ec435d1ceb3ceb","datavalue":{"value":"436420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687617$DC7A49BD-DC3A-49A1-8173-E484E5CB5AD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b6a876801d5a086733f38f81433a0e630772bd","datavalue":{"value":"reduction ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q687617$C2113F9E-59EF-487D-B569-CC48763E0F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q687617$D60BAD82-EAD8-4324-91F7-FE543EC2EC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0617f24fea4f074a9cd621dbb70d27a3f78cdd60","datavalue":{"value":"Buchberger algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q687617$78700E6E-9194-4F3E-A0D0-41CF544F72F5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80f116a1cdb08066811a19630fb4c8beca038913","datavalue":{"value":{"entity-type":"item","numeric-id":321274,"id":"Q321274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687617$466F0870-B641-499E-BDC1-D751F20028E5","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":"Q687617$8C0E70DB-F2C7-4C82-AB1D-741EC53C4419","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2546502f24076670d3577825f9923642980d206c","datavalue":{"value":"https://doi.org/10.1006/jabr.1993.1146","type":"string"},"datatype":"url"},"type":"statement","id":"Q687617$C4E97D97-E28B-4BB3-B5B0-416AD28711A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45b3acf16f327b5ccb0c0d5e680cffe649f18086","datavalue":{"value":"W2071756987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687617$6290F0E8-3031-4064-9D06-4F89AF199885","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36b91cc262bb74a44d1c41e1709a7343760380c9","datavalue":{"value":"10.1006/JABR.1993.1146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687617$380A49C4-5358-4DB3-8A3A-1DA0EBA45BDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cabd95cf91520a3058435dd35f800b8c590cd1ea","datavalue":{"value":{"entity-type":"item","numeric-id":4394971,"id":"Q4394971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075978010338bf658023cb594630a7242d3275c9","datavalue":{"value":{"amount":"+0.8439540266990662","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":"Q687617$DBB39DB4-03AB-4AC4-9F6F-790A7C7E0663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5983edb1659d464f5c84b1eaebe9fff5d0ee6769","datavalue":{"value":{"entity-type":"item","numeric-id":2447635,"id":"Q2447635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac34cc73337a8e9a460961e4184c2cb4ae5d630","datavalue":{"value":{"amount":"+0.84349524974823","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":"Q687617$D437D81C-68EA-44AD-A878-C541DF0F99F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50fa2aaabab6e9c002af21eb8f2711d21a943f7b","datavalue":{"value":{"entity-type":"item","numeric-id":4761464,"id":"Q4761464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a94611934b33271817aa828c08b05b6531e0036","datavalue":{"value":{"amount":"+0.8321214318275452","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":"Q687617$B4445459-4F08-4227-8BB7-4B3CF317141E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8029aac69318ddceed56c564a8200ce2e8bca4","datavalue":{"value":{"entity-type":"item","numeric-id":3519284,"id":"Q3519284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f0a88b9eecaa11716c3cfc2d690244953c76e1","datavalue":{"value":{"amount":"+0.8308347463607788","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":"Q687617$860DBB1A-07C9-42E3-AAED-C1E744C539B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0ac3a5acf9ad2a59b1389a66dfee137e24976d","datavalue":{"value":{"entity-type":"item","numeric-id":909718,"id":"Q909718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b76e9d334fb3c54c21e78732343de0ce6f7662","datavalue":{"value":{"amount":"+0.8258849382400513","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":"Q687617$3574F1E5-843D-4053-89CB-0463B8C431A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gr\u00f6bner bases of modules over reduction rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gr%C3%B6bner_bases_of_modules_over_reduction_rings"}}}}}