{"entities":{"Q1346309":{"pageid":1357048,"ns":120,"title":"Item:Q1346309","lastrevid":47312698,"modified":"2026-01-01T08:04:55Z","type":"item","id":"Q1346309","labels":{"en":{"language":"en","value":"On finitely generated submonoids of \\(\\mathbb{N}^ k\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 736959"}},"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":"Q1346309$63F95C33-A44B-43EE-AF40-B3E7030E9D74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c88321443904d6fda79d5a13001d441c002eb1f4","datavalue":{"value":{"text":"On finitely generated submonoids of \\(\\mathbb{N}^ k\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346309$E0F1E938-4776-4114-9387-D2337FF0DA6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5d4b74f46a545f89b0a2060d33aca97864ec978","datavalue":{"value":"0831.20080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346309$4E8FCDDC-25F6-43FF-B962-0421F6AA4C40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8991797661fb4f8cd1ea110137c87b20d4251a4b","datavalue":{"value":"10.1007/BF02573522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346309$5248DC1A-EB5B-4D87-9D9C-23D4A1EC91FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346309$968D040F-99F1-408B-A26C-20E8A763DDEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346309$83D37468-873A-4D15-9732-4779BB900E55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe671a5470cada373b4c4e4482db9951c51897c4","datavalue":{"value":{"time":"+1995-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346309$87184A19-21D9-43FA-9E44-EA92EB622469","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"007f40b63ebe85a581e0a25ed7649d85da78243a","datavalue":{"value":"https://eudml.org/doc/135384","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346309$B110A08C-7FA9-43CA-97BC-FFABC6B67584","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a9cf32ec47f49934d20ed8da474f8654a091fb8","datavalue":{"value":"A commutative additively written monoid is said to be cancellative if \\(a+b=a+c\\) implies \\(b=c\\); it is torsion free if for any positive integer \\(k\\) the equality \\(ka=kb\\) implies \\(a=b\\) and is called reduced if \\(u+v=0\\) implies \\(u=v=0\\). It is shown that a commutative and finitely generated monoid is for some \\(k \\geq 1\\) isomorphic to a submonoid of \\(N^k\\) if and only if it is cancellative, torsion-free and reduced. Moreover an algorithm is given to check whether these conditions are satisfied for monoids of the form \\(N^n/M\\) with \\(M\\) being a subgroup of \\(N^n\\). Another algorithm is also presented which may be used to check whether a homogeneous system of linear equations with rational coefficients has a non-trivial solution in natural numbers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346309$4BB4559D-B56F-4BB3-BED2-C93D28BA1D08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346309$FE8F7BE0-F498-4ECE-8BBC-081DD1419C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346309$5BBC038F-A936-4B70-B0D6-1B3A4C071B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f31233b552eca4a4ba62dfc962e070217fef4dcf","datavalue":{"value":"11D04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346309$D99A32BE-DC4B-4F03-A758-70BB185FC393","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3981a9e65966b67f08d03a2a19c501d534d436e1","datavalue":{"value":"736959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346309$B4ED3D65-3347-496A-AFBD-8CACBD2BF057","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e39b1d3a00eeb3b9138a8fe05a514098d659a6","datavalue":{"value":"commutative monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346309$E9C09019-9FDD-4939-8073-C2A072D95601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95a887de9abe769766e446bbcf0ca05ed9e0faf9","datavalue":{"value":"cancellative torsion-free reduced monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346309$9403934B-BBB5-4154-93AA-648DDD77036E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c446a640f4a250b1cd03159b88ee0aa23b29d52e","datavalue":{"value":"finitely generated monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346309$9ABAD8AB-D0E7-41BF-A59A-E02A8E506542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346309$57A0FE08-C3D7-467A-9067-23A0BF3A7867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a07c23f5abc33d12c9862a35ffaad43996df153","datavalue":{"value":"system of linear equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346309$9C2CC73D-5BED-4896-B371-EABFD73A16AD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e8ee861149c84c5a083bed8940defcc1f7d5671b","datavalue":{"value":"Q58843192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346309$0A61D844-C876-4F49-8CCE-D1EA5094496D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"92a64adc62fb1a24a70e0c2b2fc4f21c4bb7eedb","datavalue":{"value":{"entity-type":"item","numeric-id":558127,"id":"Q558127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346309$961DEC2D-B141-46C9-A6B1-FDF669FF7392","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":"Q1346309$3069DDA2-22E2-4E3D-B7B6-8B1560853FF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aae32806fb585cb3166062047ca80dbbe0a6633","datavalue":{"value":{"entity-type":"item","numeric-id":2646094,"id":"Q2646094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346309$188D4910-9EDA-4C67-B3C6-613E10CFDB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346309$917B05DE-514A-47BD-BF24-6A693C656055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b685073eedca74a25ed9ac3592fe9c09efdce887","datavalue":{"value":{"entity-type":"item","numeric-id":1119747,"id":"Q1119747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346309$6C9626BC-7F4B-47D2-BBBB-5F5C3761F01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff46ca4daa3deb211a8ff92300fd21f75c34e9ed","datavalue":{"value":{"entity-type":"item","numeric-id":2544208,"id":"Q2544208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346309$D741BD03-708F-41AD-A5DA-7EBFC9202029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63aa190596f5f038c76fee579c3a35ac46998","datavalue":{"value":{"entity-type":"item","numeric-id":4771385,"id":"Q4771385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346309$EFEF2650-D170-4B23-B0D8-1775ED3D1D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6fc5f1bd739e4d4e40eaa86eecd782e590efca4","datavalue":{"value":{"entity-type":"item","numeric-id":5594680,"id":"Q5594680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346309$94EC1681-B547-4B65-B925-2D1064C73F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6814ef78453770263be7153847467267beb6722","datavalue":{"value":{"entity-type":"item","numeric-id":5343411,"id":"Q5343411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346309$5861906D-908D-4272-AB6C-BC5F6421678B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d52a6341c19598ed74eee1eb5686912b7a1f60","datavalue":{"value":{"entity-type":"item","numeric-id":4791996,"id":"Q4791996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e941123c5be4e98d0ccaa0ea2eebb7ed709bba2","datavalue":{"value":{"amount":"+0.8432180285453796","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":"Q1346309$FAE2AA5A-E2F2-4F4D-9547-53CFD162D6EC","rank":"normal"},{"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":"1ef0ce4ffa4cff00689c77839376bb1d782ead55","datavalue":{"value":{"amount":"+0.8369068503379822","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":"Q1346309$59F1932E-C447-4CF3-B52B-D4E3C063FA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a4e8e0fdbfe22c8babf81c8d16e8c7eb59af66","datavalue":{"value":{"entity-type":"item","numeric-id":1583912,"id":"Q1583912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4453e67d878077229f937627c8b5202e94dc949b","datavalue":{"value":{"amount":"+0.8291711211204529","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":"Q1346309$2572F2E7-8294-4484-885E-58D5E3BD7367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54697b530b43d8c87cab5c2ff2049fdfaaa1626c","datavalue":{"value":{"entity-type":"item","numeric-id":1124925,"id":"Q1124925"},"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":"Q1346309$4B9A7962-A592-4B4F-A2C4-8331505D7BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75015a1aa9ac41f3c64289fd8fd61961ec8ac4d3","datavalue":{"value":{"entity-type":"item","numeric-id":5041482,"id":"Q5041482"},"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":"Q1346309$70D6C2F9-C668-4423-BF95-E863665FC72F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1346309","badges":[]}}}}}