{"entities":{"Q492033":{"pageid":493800,"ns":120,"title":"Item:Q492033","lastrevid":52327943,"modified":"2026-01-21T11:21:03Z","type":"item","id":"Q492033","labels":{"en":{"language":"en","value":"Computing the \\textbf{V}-saturation of finitely-generated submodules of \\(\\mathbf{V} [X]^m\\) where \\textbf{V} is a valuation domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6473752"}},"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":"Q492033$8FEBD95D-4E5B-4EB4-8509-CCB70DC73A97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8d5dcfa66492341bc362ad1e47f5b658fa31cf5","datavalue":{"value":{"text":"Computing the \\textbf{V}-saturation of finitely-generated submodules of \\(\\mathbf{V} [X]^m\\) where \\textbf{V} is a valuation domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q492033$3573094F-3648-4A5D-BC36-142C4B1F639D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc0e215157f017f064db6b5e4dfd9ce20ce922a9","datavalue":{"value":"1327.13073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492033$1B9BFE5E-208B-4200-BB26-DD5F07FE9FA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00fa886697f5d99bc68fae32c5ba753f6955aa9b","datavalue":{"value":{"entity-type":"item","numeric-id":492032,"id":"Q492032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492033$B9F0821D-2928-41AC-B8C0-7B8DABD217C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e925ba35bd9f31e4ae1284ecf5005b9f1171ae51","datavalue":{"value":{"entity-type":"item","numeric-id":427774,"id":"Q427774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492033$FD38A296-0098-4C1C-9E63-5991177CFDE4","rank":"normal"},{"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":"Q492033$6F033774-8856-481B-A413-311A3B71CADB","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":"Q492033$10591812-8A35-4E2F-977B-22FB0AD8EE04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bcd746b8ad4faf7a078efd0ea2ce9f485311b5","datavalue":{"value":{"time":"+2015-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q492033$D9373C0F-7CCA-4912-9B42-1CA9AC0A357F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3bbfe27a60d7f196ba86b6a5b3f028da09cfa9c5","datavalue":{"value":"The article describes an algorithm to compute the \\(\\mathbf{V}\\)-saturation of a finitely generated submodule of \\(\\mathbf{V}[X]^n\\), where \\(V\\) is a saturation domain, breaking it down into several specific subalgorithms and analyzing its complexity. Here, \\(X\\) denotes only one variable, so the algorithm is for the univariate case; the authors nod to a generalization for the multivariate case of Krull dimension 1; this result applies to the univariate case of arbitrary Krull dimension. The article proves   (a) correctness if the algorithm terminates;   (b) termination after a specified number of operations; and   (c) complexity bounds.   Two applications are given: a test for an analogue of ideal membership called saturation membership, and the computation of syzygies over the polynomial ring of a valuation domain, proving the special case that in the case of a Pr\u00fcfer domain \\(\\mathbf{R}\\) the \\(\\mathbf{R}\\)-saturation of a finitely-generated submodule of \\(\\mathbf{R}[X]^m\\) is finitely generated and the polynomial ring \\(\\mathbf{R}[X]\\) is coherent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q492033$7A7E53A8-03CA-4F99-865C-B28B6240D23A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfa3b3ec20c558ff735a7086023bcd23dd16503d","datavalue":{"value":{"entity-type":"item","numeric-id":512376,"id":"Q512376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492033$D1FA5085-D98B-40FF-8EC4-118962751ADD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3b52918523363a6d0e63b5cbee70cee79e68263","datavalue":{"value":"13F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492033$5FE67968-E579-4708-88E7-0E3E043F12A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492033$CD9271FB-7E33-4920-9790-AD871207C38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3261dadc98deaaa969a534e2a2cb92fd4aa565f7","datavalue":{"value":"13P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492033$C3A531BE-832E-4CAE-8BD7-59A398352049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492033$208FB182-A9DA-4557-958E-281A76384575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492033$11A7693C-0D3D-4E6B-A5EC-64E5C24E5C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6f8bdb86f95f385c1922e11e3095b661f16ddd4","datavalue":{"value":"13F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492033$E4759783-C559-49B7-9A88-D280B8C75D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492033$EDA2C8AD-DA5D-4D36-8889-29BF4A7D68F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac0eb04d442c2fab614a1c32275a7b44fbc69ed9","datavalue":{"value":"6473752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492033$826B5A98-C449-444D-A157-FC496FD6B4DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q492033$1C1CBD9B-4190-4EC1-A2A2-BF5145A28082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q492033$EA79C4F2-23DF-495A-898D-8E6D1667D003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4193783e29994b0519667f203cf04e77c8f7b95a","datavalue":{"value":"echelon matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q492033$46917C12-7E76-4DD8-840F-BB5576A206A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56a023fdd9c1c6f28e134d963976a278037343f0","datavalue":{"value":"syzygies","type":"string"},"datatype":"string"},"type":"statement","id":"Q492033$DDBBC926-79FC-4D4E-B073-E8088E9D6E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1cf4a04177e6ccc60adf22d868cfdfd378c970f","datavalue":{"value":"valuation domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q492033$2579851E-1E69-4503-A7E9-0E58BD2DE408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781e0e460b2d272d1721aacaaca55c439511d38c","datavalue":{"value":"Pr\u00fcfer domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q492033$CB395A4F-8B9C-4BF3-A7BA-BC505DB950B9","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":"Q492033$16C0F335-0377-40E1-97A0-3E17EB0F9C8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"492ac541e4847c3cffbd53d743152e846b6bd7ab","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2015.02.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q492033$DC69FF47-BFEF-43E6-9440-2E172E297FD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ccf4a69c2ab3734dfa9ab2d9c53059e2d9c4739","datavalue":{"value":"W2031459264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492033$E6AB88FE-2E3B-4486-B327-D652DB2D0E88","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492033$F9255389-7AB5-49EB-8019-D35219721365","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":"Q492033$5C9ACAB3-3A41-4D6F-89E4-47E1D384DF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57b61f2ebe31d75616dc456334c545b8459f5284","datavalue":{"value":{"entity-type":"item","numeric-id":984989,"id":"Q984989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492033$7F006401-731A-4AAC-8E86-71EFB7FCB9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b805af8f5d368c99572767c48f98c4a932cd66a6","datavalue":{"value":{"entity-type":"item","numeric-id":4736172,"id":"Q4736172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492033$8043AB2D-4575-4E39-902F-6B74A6492B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0f708bc5d2fa955cec4a3ec4d77a2d94267770","datavalue":{"value":{"entity-type":"item","numeric-id":3112383,"id":"Q3112383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492033$5DE831E5-CAE0-4A44-9ADF-8677AEFA9F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3998fef577b651d790be9de3f0aff7423c817e80","datavalue":{"value":{"entity-type":"item","numeric-id":2876243,"id":"Q2876243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492033$44E00C43-C2C8-41BD-A388-975547E2081E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9261260b33bb8c2f2d091a721774b171e89607","datavalue":{"value":{"entity-type":"item","numeric-id":415466,"id":"Q415466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492033$2ACE4F2D-044D-4102-885E-333DB09C1C08","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":"Q492033$46514767-5D2D-43A0-809E-3E43B73826B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93171fa660a44c7dad615fb4a7ff973ea00ac93d","datavalue":{"value":{"entity-type":"item","numeric-id":427775,"id":"Q427775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492033$FEC6E391-9C5D-4802-9358-CF97F40C0248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a474fe41a7d5c91a937ba9e95da12771cfc446","datavalue":{"value":{"entity-type":"item","numeric-id":855700,"id":"Q855700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492033$1B05EEF1-1751-4356-99CC-0D6FE1F21F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02d3181b85c4d239459b56cbe6ccfeaf98ab4d6","datavalue":{"value":{"entity-type":"item","numeric-id":2636958,"id":"Q2636958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492033$766AE0CC-054A-4731-8886-3778EB3ADE4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83ba6c84cf4029a048a2634a675f0de68233a291","datavalue":{"value":"10.1016/J.JSC.2015.02.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492033$92E4A977-C8AB-428C-A1C7-7C58DFF56881","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f25820d56dd3e10ba192336e1c0e0436d627719","datavalue":{"value":{"entity-type":"item","numeric-id":2876243,"id":"Q2876243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac0e157eeb022ce2f96a2d5248ff3c9b7525706","datavalue":{"value":{"amount":"+0.8446680307388306","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":"Q492033$17060B11-07CC-4EF2-A5F1-454E1F6DA447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ffe235fbee8c6ff656f607cd72a2872c87ecd7","datavalue":{"value":{"entity-type":"item","numeric-id":2254141,"id":"Q2254141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f187e4609b93ddfcefee2468579cba70c9a664f","datavalue":{"value":{"amount":"+0.8253031373023987","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":"Q492033$C01EEAA9-9145-459F-9C27-CCF520374A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f39d7a7ecbee18e8931e05cf23b18211fcc31b6","datavalue":{"value":{"entity-type":"item","numeric-id":5005885,"id":"Q5005885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9310bf191ddd3730fbb82d9a437b6a70e9dbb8de","datavalue":{"value":{"amount":"+0.8229501247406006","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":"Q492033$312D1D74-A915-40E3-9315-2AA990E75738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ad35fadea4944396d86e3df3ee54291a56d63b","datavalue":{"value":{"entity-type":"item","numeric-id":5872904,"id":"Q5872904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f0d9060f3d99d874ad5dd7cf472c61f6f3e41f8","datavalue":{"value":{"amount":"+0.7700219750404358","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":"Q492033$99F93CF5-DBF5-4BE9-8320-D5EA013B1C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f42331861533651d39f97e7cc5eac99f08f4b21","datavalue":{"value":{"entity-type":"item","numeric-id":2121182,"id":"Q2121182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7886b6aefcfc6dc8bf5d1b8b613eb909ef3ac28","datavalue":{"value":{"amount":"+0.7080799341201782","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":"Q492033$8A0B4EE5-CD6F-43C0-9C73-A3FACF58656C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:492033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:492033"}}}}}