{"entities":{"Q1124925":{"pageid":1135674,"ns":120,"title":"Item:Q1124925","lastrevid":69699354,"modified":"2026-04-13T08:47:55Z","type":"item","id":"Q1124925","labels":{"en":{"language":"en","value":"Semigroup ideals and linear Diophantine equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1371413"}},"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":"Q1124925$3E300307-BD57-44AE-AF55-630C0E2B2EA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c31e679c7608f1a9ed79766f2016d12fe66575e6","datavalue":{"value":{"text":"Semigroup ideals and linear Diophantine equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124925$8743E4A3-BACB-49FA-BC28-7504D661F43F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cd5de788aecefb3a0aba3dd57e2f8f22128c57b","datavalue":{"value":"0939.20061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124925$32703998-CB14-437F-BCC6-854E8870F4FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fd22a09d96d4c854153a8551bd46b9cbe801715","datavalue":{"value":"10.1016/S0024-3795(99)00087-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124925$34763B3C-1A18-407D-BE91-B97D584F24F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124925$83FE8BA2-64DD-48F2-8505-CBEEE2A31D9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17efae152c5b59503115bb21d795e62311ef5a22","datavalue":{"value":{"time":"+1999-11-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":"Q1124925$1D122B45-8DC6-4196-AB6D-02DE99CF9B77","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c67acd25b08037c4f6865f806ea217ac4566141f","datavalue":{"value":"Let \\(S\\) be a finitely generated commutative cancellative monoid, and let \\(\\{n_1,\\dots,n_r\\}\\subset S\\) be a set of generators for \\(S\\). Let \\(k\\) be a field, \\(R=k[S]\\) the associated semigroup \\(k\\)-algebra, \\(R=k[X_1,\\dots,X_r]\\) the polynomial ring, and \\(\\varphi\\colon R\\to k[S]\\) the \\(k\\)-algebra homomorphism given by \\(\\varphi(X_i)=n_i\\). The author gives a purely algebraic algorithm to calculate a finite set of generators for \\(\\ker\\varphi\\). As an application, using Gr\u00f6bner bases, an algorithm is given to determine whether a linear system of equations with integer coefficients having some of the equations in congruences admits non-negative integer solutions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124925$AAA74063-DE79-4376-A5B4-C757BB53AD99","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a4ebd5cb8620aae4752809c023f9059a0bcf61c3","datavalue":{"value":{"entity-type":"item","numeric-id":185983,"id":"Q185983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124925$E522172D-3835-45A3-87A0-F01EE387EDDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124925$8A5A3972-37FC-46A6-A94F-C937C88896F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124925$FF1EBFB2-93DD-481D-8E07-A9AFFEB19A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124925$78A4F6AE-D7EF-4222-B229-D01061AC53ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f31233b552eca4a4ba62dfc962e070217fef4dcf","datavalue":{"value":"11D04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124925$4835100C-4ED5-45D9-9DF6-8382490AE726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124925$4A5B4905-5876-4229-B928-FF2F7629A76B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86bc2d9d4cf5629c177ae4b813d7d6ce4041d46a","datavalue":{"value":"1371413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124925$0AFDEA07-EF4F-41ED-B080-FDCC3C60C065","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c14e489907ca2e66f16a7207f1b7940087c6532","datavalue":{"value":"finitely generated commutative cancellative monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124925$F8B0A736-62DD-46AD-8AF1-C87382E622CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124925$22D62C00-2A82-42A9-A2F1-2DD7A2F5046B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e606f8898b4abf969275a2d99c90cb05169fa2f5","datavalue":{"value":"semigroup algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124925$66D221AD-1EF1-4B92-AAAA-EE73083F3B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124925$EDCD9A1C-EF69-403D-B3E7-E6CBD76EDCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124925$1F8717E7-1DB5-402D-8739-29178F901593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c75efcf5247b9c1def716b185f1502924147a0","datavalue":{"value":"linear systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124925$A3DAAA15-7979-4D01-941D-413131D945C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22f9e0bec2c73c574260415b35fd5457c63bdc7b","datavalue":{"value":{"entity-type":"item","numeric-id":1827485,"id":"Q1827485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124925$DB5F4806-F23A-4A91-9AF3-89599697E7F2","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":"Q1124925$AC559283-FBFE-4257-A029-A0E7130A54A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e34acd247d9732c7682a7526280634cba1dbf4","datavalue":{"value":{"entity-type":"item","numeric-id":2506358,"id":"Q2506358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d710264379a1f0f36899bd0a65a1d5601aa411ac","datavalue":{"value":{"amount":"+0.8183156251907349","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":"Q1124925$F8FBBDF5-714C-4BCA-8CE1-A9D71E40BB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbad670f365386552a68971cfdaf4440cf0aadc","datavalue":{"value":{"entity-type":"item","numeric-id":1346309,"id":"Q1346309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd27f58c53ac411f338a973406197271b2b5a25d","datavalue":{"value":{"amount":"+0.8145098686218262","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":"Q1124925$E03538D6-990A-485E-9892-F5A22BB38139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac961c3c8f9cbb6451dfa689a2fbdb63ef237472","datavalue":{"value":{"entity-type":"item","numeric-id":1380002,"id":"Q1380002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d4415fc87c440597886b9d81bc73887e01516a","datavalue":{"value":{"amount":"+0.8044718503952026","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":"Q1124925$FCC5DD64-C6D4-40C6-91A1-FA762DC717BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semigroup ideals and linear Diophantine equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semigroup_ideals_and_linear_Diophantine_equations"}}}}}