{"entities":{"Q7006284":{"pageid":21540669,"ns":120,"title":"Item:Q7006284","lastrevid":83026592,"modified":"2026-05-06T23:49:18Z","type":"item","id":"Q7006284","labels":{"en":{"language":"en","value":"On the atomicity of power monoids of Puiseux monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8018277"}},"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":"Q7006284$A61E9992-6DC0-457E-97F9-63FBEFA1C76E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7473d618b710514ac49a7cfc156b33e9cd32278d","datavalue":{"value":{"text":"On the atomicity of power monoids of Puiseux monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7006284$45495FCE-7193-41BF-A34D-08FD4EBFA9E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fab33238d142483a7a43ddaf0df8652bb27de37","datavalue":{"value":"1565.20129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006284$9FFF4B6C-D513-4EFC-8399-13350CD8AF61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71e37166218598005f65bfde4ee52ce723802a4c","datavalue":{"value":"10.1142/S0218196724500565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006284$39AA1A4F-7B62-4711-82F6-5764AA1AFDA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93f7618a7515c8681f185fe79054e5ccfb512836","datavalue":{"value":{"entity-type":"item","numeric-id":375750,"id":"Q375750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$3DB68113-5134-4EC8-A061-68AABB9F7457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1cbddf4506889912d4e0255328c59427999bff1","datavalue":{"value":{"entity-type":"item","numeric-id":6518478,"id":"Q6518478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$3D56ACC5-CEC5-49F5-ACA3-E7C58B7F0F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"803589910dc3be109f97e36f30e22a06ff0388e5","datavalue":{"value":{"entity-type":"item","numeric-id":6452124,"id":"Q6452124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$08011AAC-5A89-407F-965A-D06723489B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78d278aba55c344929334a5c05380695418f6294","datavalue":{"value":{"entity-type":"item","numeric-id":7006283,"id":"Q7006283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$A13B48F6-2716-4835-89C3-9190622E91A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7895ecd900096ea80778091dc9a87938fde984f1","datavalue":{"value":{"entity-type":"item","numeric-id":2089466,"id":"Q2089466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$FE1A2F17-76B0-4BA5-A455-14CA348466D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$5FE70605-84D7-4843-ADD6-E21AD4CE5641","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56dc2aee67e5a5f915275ac50721b545754f9aa9","datavalue":{"value":{"time":"+2025-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7006284$56A02D84-5DF0-4AFD-934D-63A45F931976","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b9b705ea34c726fe30ee476c50a53391d9af122","datavalue":{"value":"Let \\((M, +)\\) be a monoid. The set \\(\\mathcal{P}(M)\\) of all non-empty subsets of \\(M\\) forms a monoid relative to the operation \\(S +T = \\{s+t \\mid s\\in S , t \\in T\\}\\) for all \\(S,T \\in \\mathcal{P}(M)\\). The submonoid of \\(\\mathcal{P}(M)\\) consisting of all non-empty finite subsets of \\(M\\) is called the finitary power monoid of \\(M\\) and is denoted by \\(\\mathcal{P}_{\\mathrm{fin}}(M)\\). A submonoid of the additive group \\(\\mathbb{Q}\\) is called a Puiseux monoid if it consists of non-negative rationals. As the authors write, the finitary power monoids of Puiseux monoids are the central algebraic objects that are studied in this paper. A commutative monoid is called atomic provided that every non-invertible element can be written as a finite sum of atoms, i.e. irreducible elements. The authors prove that for an atomic Puiseux monoid \\(M\\), the following statements hold: \\N\\begin{itemize}\\N\\item[(1)] if for every \\(k \\in \\mathbb {N}\\) every \\(k\\)-element subset of \\(M\\) has a maximal common divisor in \\(M\\), then \\(\\mathcal{P}_{\\mathrm {fin}}(M)\\) is atomic, \\N\\item[(2)] if \\(M\\) does not satisfy the condition in (1) for \\(k=2\\), then \\(\\mathcal{P}_{\\mathrm {fin}}(M)\\) is not atomic. \\N\\end{itemize}\\NThe atomic monoid is said to be a finite factorization monoid (FFM) provided that every non-invertible element has only finitely many factorizations up to associates. The authors prove that a Puiseux monoid \\(M\\) is an FFM if and only if \\(\\mathcal{P}_{\\mathrm {fin}}(M)\\) is an FFM.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006284$4178E74B-9BB8-44A7-A09F-6781BB4BD0EE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60b20526b3992c61e7e11f11e30c26ba2b5c9a35","datavalue":{"value":{"entity-type":"item","numeric-id":1864450,"id":"Q1864450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$A76E5263-3604-44C5-BCCD-52FBA70B0E7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2b946ad1301ef968d1406c026b0caa30b1e17b8","datavalue":{"value":"20M13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006284$8ED6090D-878B-41B9-BA00-E9EBA2D4253C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006284$FE84B855-0674-4BA0-A07B-91BF6DE072EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006284$F3925706-F827-4315-8F0D-31C9C95AE552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006284$B244B1F6-05E0-4F24-B041-6FED4E115236","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33112a12169e9e1e7c2ef68982138b0cdd8b9b27","datavalue":{"value":"8018277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006284$9A987F06-F1DB-481A-B30B-8FAB45A84CC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98a64966f1cdfab6bed6b3dcc04c8f9e4a917c98","datavalue":{"value":"Minkowski sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006284$42897D1A-254D-48D0-88D9-64624176B15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12c6b01579c57c1a7efcc04fdaad227d9afc8463","datavalue":{"value":"power monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006284$B468B7D6-D070-4A7D-9A25-C64B8472CE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b83a61aa207fb934bf603bf19d78a6021e17d18","datavalue":{"value":"Puiseux monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006284$DE8083BE-8B19-4B70-A5CA-54F24105A5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285bdbfc7696cf08ae9d83dc80cad788f3cfa4","datavalue":{"value":"atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006284$D7C9AFBB-2D6F-412A-A63F-1F588D2ABD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39afc80490b6fadf94564c84d136cde242e6032c","datavalue":{"value":"factorization theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006284$44B85F1E-61BD-47B0-A326-4A731F90D20A","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":"Q7006284$E2EAE381-720C-47CB-8585-F5EADCCDC494","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0002afb4187c5a96259133c55e6b618c0eee50ba","datavalue":{"value":{"entity-type":"item","numeric-id":803211,"id":"Q803211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$9D994D4E-BD28-4DD9-9863-FF32815E5612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0c4b890c7637418a13ecc3e9f3a5403737b4804","datavalue":{"value":{"entity-type":"item","numeric-id":2089461,"id":"Q2089461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$94F4CC0B-23B8-4171-8B93-ABFF13260306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d4f52c0ac737f9c4e97ed4a6fba05c25f5943e","datavalue":{"value":{"entity-type":"item","numeric-id":1979485,"id":"Q1979485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$D24BB88F-1093-4F70-A503-9837B6D4FDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5143b46d8010ef762a5dcbaa31ffba682c207d88","datavalue":{"value":{"entity-type":"item","numeric-id":6829892,"id":"Q6829892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$222A2E3C-4EEC-4A60-9000-8D0C9A54CFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d379c4e5b6d7b3ed407daa9be833662f9c7e709","datavalue":{"value":{"entity-type":"item","numeric-id":2197570,"id":"Q2197570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$F40725A3-9A92-4149-8713-C5F4A7B70613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36843fcd34af5c6ce8aec1b98a909587097956f4","datavalue":{"value":{"entity-type":"item","numeric-id":5216229,"id":"Q5216229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$024D1DA2-D77F-457C-861F-579A30206128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a99ce8e531bc89e6f2887ce5f684c34dbb4629","datavalue":{"value":{"entity-type":"item","numeric-id":5858904,"id":"Q5858904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$B048EACC-C34F-4D34-BA0D-44CA11349FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d64a36dbf9e0f8724e0bd2c8f37db2d5b636f2","datavalue":{"value":{"entity-type":"item","numeric-id":5539062,"id":"Q5539062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$A529A690-A10D-4AA6-B9B1-90B12DF05F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26545d27fcc9b9e7d9690f9ca6959576c76b26a","datavalue":{"value":{"entity-type":"item","numeric-id":2326438,"id":"Q2326438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$2F7EBF96-02E7-4227-BB26-24B296724761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43a6389ce89250a51f7b8bcb3b2b1096ee8112f","datavalue":{"value":{"entity-type":"item","numeric-id":1655808,"id":"Q1655808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$03133EA0-3ADB-470D-9B37-471A9F0789C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e028ad8e046a2dbf2197aa1e15874fd3b609539","datavalue":{"value":{"entity-type":"item","numeric-id":1031556,"id":"Q1031556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$5DB056F6-9BC4-4122-BA35-1A7B3EC063A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c560b8b548915a8ac8c9f284d2f68f9323dc0a4","datavalue":{"value":{"entity-type":"item","numeric-id":2214131,"id":"Q2214131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$800E5AB2-C00B-4B71-A06B-4FCA7EADD34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda523da89b2132f7b117ca57a153eeece8f23b1","datavalue":{"value":{"entity-type":"item","numeric-id":5200682,"id":"Q5200682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$B4DA6B13-1499-4D52-B319-412F392C1BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fca1f56d261ba88d16614891e8ec5ce6ce58b5d","datavalue":{"value":{"entity-type":"item","numeric-id":2297048,"id":"Q2297048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$8ED87A2B-B4B5-4BDE-B731-D20A46B8083A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ec7adcdafaccd86ea3861b20301d76ce82189f","datavalue":{"value":{"entity-type":"item","numeric-id":3681045,"id":"Q3681045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$BC958291-66F3-4481-A003-898973297624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af4cf85409dcdddfab892d87dc1bb675e1fc6fa","datavalue":{"value":{"entity-type":"item","numeric-id":5272567,"id":"Q5272567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$7C11BFBA-B8A3-4C64-B464-DD702A2A2EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba13ec864e0580317ee5c9e625f7eeb90719ec35","datavalue":{"value":{"entity-type":"item","numeric-id":3303802,"id":"Q3303802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$E3ED0D42-BD3D-44D3-95BC-EBEBE5E864A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67d1bff501279d39180f29553bcda3f24d064cb","datavalue":{"value":{"entity-type":"item","numeric-id":5889212,"id":"Q5889212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$A0B4BC7A-A527-48C6-995C-F26BDBA11BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a270cd6855782258af069b40886a5e45f98895","datavalue":{"value":{"entity-type":"item","numeric-id":6073697,"id":"Q6073697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$799C1501-8655-45AB-B75B-4DC4FE0D615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c66dea181f12fed2a9e1944aa5b0dacafe5ff73","datavalue":{"value":{"entity-type":"item","numeric-id":4773810,"id":"Q4773810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$474D83CE-E34B-48EA-891F-F5E9E286B2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f477b6a4a4e5a27496905043b94618754c488c1","datavalue":{"value":{"entity-type":"item","numeric-id":4437948,"id":"Q4437948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$CB179A14-E3BA-4F8E-9814-B31C3E5075E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f870441f3a632f2622e6e8078f132b388fe43f","datavalue":{"value":{"entity-type":"item","numeric-id":1184175,"id":"Q1184175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$C58B6D42-23BB-45C0-B991-1E00A9A3A758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6f6e51a109f373a844664105d6ba56260066c2","datavalue":{"value":{"entity-type":"item","numeric-id":6444247,"id":"Q6444247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$A739189C-58EB-4677-8AC1-72290BC15845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7c3d529abfa602e5a10975936655c7689dea28","datavalue":{"value":{"entity-type":"item","numeric-id":3758116,"id":"Q3758116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$3EBA1A01-18B0-4201-8D02-C8C4AD3D3E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f75605dc36fb63254d2c3a26c7d8c032daf547c","datavalue":{"value":{"entity-type":"item","numeric-id":5867337,"id":"Q5867337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$C2721F8F-E40C-43B6-9123-DC951D952B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea96e274c8b9b51c2cd5bc869eb0c9249dce3e1","datavalue":{"value":{"entity-type":"item","numeric-id":2367207,"id":"Q2367207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$69EE9A88-6755-43FF-9152-FEA7EC38960D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7666e9c7a05052794b7c3053a61dc3a3ba1d861","datavalue":{"value":{"entity-type":"item","numeric-id":1065940,"id":"Q1065940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006284$EA063633-BA6B-4A13-BBCD-F4CD2C2F1D35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the atomicity of power monoids of Puiseux monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_atomicity_of_power_monoids_of_Puiseux_monoids"}}}}}