{"entities":{"Q2491203":{"pageid":2501946,"ns":120,"title":"Item:Q2491203","lastrevid":44192814,"modified":"2025-11-20T18:05:08Z","type":"item","id":"Q2491203","labels":{"en":{"language":"en","value":"On the finite and non-finite generation of finitary power semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5027369"}},"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":"Q2491203$2C9557CD-7308-4F08-948B-A30621EACBE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a4a7b4d0ce81da352f368338a76cabf990095b0","datavalue":{"value":{"text":"On the finite and non-finite generation of finitary power semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2491203$0AE4CF84-30F2-45E8-8DCF-F1B92DD95534","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed6e452ed21fe1a850c7392376ec4978d71af6e0","datavalue":{"value":"1092.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491203$1077E5E9-C3B3-4589-94D4-5BECA2DEAEBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cecacd867a1d0f250a5e66205e5675bd81a7d98","datavalue":{"value":{"entity-type":"item","numeric-id":2491202,"id":"Q2491202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491203$A4A93460-5A3B-488D-9545-59123F867BDF","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":"Q2491203$B8D22F38-4452-427D-B0C6-11CB7E19608F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4c8103b3de3619e9a7a179137854980af704334","datavalue":{"value":{"time":"+2006-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2491203$6E63587F-AEE4-46E8-8C78-666D342E9D6B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c31c05cc06df0d177c50709e87cf711117fb2abd","datavalue":{"value":"The finitary power semigroup \\(P_f(S)\\) of a semigroup \\(S\\) is the set of all finite subsets of \\(S\\) with the usual multiplication of sets. The paper studies the problem of when \\(P_f(S)\\) is finitely generated. In the main result, a (technical) necessary and sufficient condition for this is obtained. Moreover, connections with the theory of acts are established. Using these ingredients it is shown that \\(P_f(S)\\) is not finitely generated in the following cases: any inverse semigroup that contains an infinite subgroup; any infinite commutative semigroup, any infinite completely \\(0\\)-simple semigroup; any infinite completely regular semigroup, and others. An example of an infinite semigroup \\(S\\) with finitely generated finitary power semigroup is the semigroup of all recursive (partial) functions on the set of positive integers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491203$D32AA94D-162C-47EF-9EFA-BA6B3318030E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"82b58a7a431ddd1d8859e52615fc9a1cc72e1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":587993,"id":"Q587993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491203$5D76490E-B6B6-48B4-9614-D77DD059D11E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491203$A9E82E6A-FE6A-4CF5-B799-05D78FF98A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491203$0E1D6D1F-0660-42E5-97E1-7C44847393B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491203$D04CD2D1-D493-4362-920A-0CD7297EA1E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad0856ca79aab80aeb506a652328e00aa9b8d04b","datavalue":{"value":"5027369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491203$85000267-73A6-49F0-84D5-1FCF787A2548","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37713e8f199255f57d207da446f0aaaec1609b24","datavalue":{"value":"finitary power semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491203$9FDBF92D-D588-414C-82DB-3ABDB18A03C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfde5393520b71a6eacb18433d7e0a8c5005cb4d","datavalue":{"value":"acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491203$849F7503-EC0C-410D-8CD1-989D703E0941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5162d8b925d2b5040b3dc6192a46e8658eb04bb","datavalue":{"value":"finitely generated semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491203$8C483D92-9227-4E1C-A7C5-0E3A1F5D1233","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":"Q2491203$A2447568-0C3E-4415-A9D1-728524EA1F04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d89ce76d794a37130cb1f37e497a1d6a819f7965","datavalue":{"value":"https://doi.org/10.1007/s00233-005-0537-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2491203$AF1523A2-114F-4884-8A58-555A600FB52F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2b8e6fdba56cb17024030401bbcb8774331cea8","datavalue":{"value":"W2091258969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491203$869623D8-38DF-44BC-8DC4-B94118A3C0A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96e38d436f826763a1b2cd1f64ba4f7a7166819e","datavalue":{"value":"10.1007/S00233-005-0537-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491203$5327D5E0-31D4-42F9-9467-A897651C4247","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227259150f52daace88560267c3292eabe88bca6","datavalue":{"value":{"entity-type":"item","numeric-id":4025871,"id":"Q4025871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7c06b3bfde7b2a401d9a1279cc0e57aeb6616e","datavalue":{"value":{"amount":"+0.93404484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491203$EA5052E2-D7DA-4683-82AA-C9257216FBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2471cd7c0d4092635ac032dadd4326bd9773051","datavalue":{"value":{"entity-type":"item","numeric-id":3758116,"id":"Q3758116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df66447478d5fac9a030ab6a9b13441a7fc0288c","datavalue":{"value":{"amount":"+0.9199827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491203$E8FB2EC9-87FD-428C-A2BD-1DFDD87F2792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7d8880d82d4b9e5856134cb7e34cc82c5999c6","datavalue":{"value":{"entity-type":"item","numeric-id":415538,"id":"Q415538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a52368c9697b410e619282cf81f55532ef8b1b7","datavalue":{"value":{"amount":"+0.9048285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491203$F02D8F76-1846-450D-8CFC-9759DD0166B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"816ae8705439e221e4382abed09dec9fb8d002fc","datavalue":{"value":{"entity-type":"item","numeric-id":5483449,"id":"Q5483449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85b16ef792928ff8eae2f4edc75c0aacaa8135f8","datavalue":{"value":{"amount":"+0.9003232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491203$CC5E5E7B-EAEA-4180-881E-912616C2817A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66cd28106837dba0476dc9ae43aba237bc1a69d","datavalue":{"value":{"entity-type":"item","numeric-id":4421587,"id":"Q4421587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3698191953b3f63dea759a60227dd6e43c25397e","datavalue":{"value":{"amount":"+0.900248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491203$9B8413EF-5558-4B15-A413-724384A38C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ee289142e1c2fbb553474bb080dc0014e5334a","datavalue":{"value":{"entity-type":"item","numeric-id":1822633,"id":"Q1822633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e488983305c43390d975bf2bd3939c28ab99c8d","datavalue":{"value":{"amount":"+0.8973869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491203$226F18F1-3270-427C-A1E2-996A1E84EB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3953f61b2f49cbee555683b7db871ab7ecca6c41","datavalue":{"value":{"entity-type":"item","numeric-id":607456,"id":"Q607456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0baed375c7b4975e38b4dd082d5082f8a74ee18","datavalue":{"value":{"amount":"+0.8963683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491203$1730A2D8-CF96-4A18-AE63-FEF762567C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba205278ec9e6253fa60335ce80412ac4da1be3","datavalue":{"value":{"entity-type":"item","numeric-id":583377,"id":"Q583377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d649091271ed1bbaec5f59e4c6bfed1c8b88219","datavalue":{"value":{"amount":"+0.8938401","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491203$9FDE96D6-C7B8-48D9-AAFC-68B60B880A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62816e46df44f19afc2547b6addc3de52a2aa6ec","datavalue":{"value":{"entity-type":"item","numeric-id":1014779,"id":"Q1014779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a0149c94cb70860a46bbd09cb4c68f4c607a16e","datavalue":{"value":{"amount":"+0.8929542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491203$64B47A14-100D-4271-9314-8D67E93683CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2925fb69bcea58c31d164deafcc1208d1e77480","datavalue":{"value":{"entity-type":"item","numeric-id":3760741,"id":"Q3760741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c969b9203f9a12388e415f7483d4d531abbd73","datavalue":{"value":{"amount":"+0.89188683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491203$74D36F56-F500-42F0-85F1-3DBA7D4DD6CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2491203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2491203"}}}}}