{"entities":{"Q2716972":{"pageid":2727711,"ns":120,"title":"Item:Q2716972","lastrevid":41921705,"modified":"2025-05-15T17:17:28Z","type":"item","id":"Q2716972","labels":{"en":{"language":"en","value":"On diagonal acts of monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1599698"}},"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":"Q2716972$282E149B-EE42-4CF1-8875-B754DC27136D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"083256a0c15388f60efdf3b68a7b5c755f4eb56a","datavalue":{"value":{"text":"On diagonal acts of monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2716972$395B28BE-4F0C-4E07-9D8C-799F4E22E0A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81797c5a060a325bb157910ff67111f3020fbf9e","datavalue":{"value":"0981.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716972$9DFEB0DE-CD44-4E36-8DBC-0E4C186894B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f5fd18e68ffe88633a52fdb6d8f006021cea066","datavalue":{"value":"10.1017/S0004972700019225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716972$2D4AA0E8-3BE3-48BD-A743-AB7DC1BC582F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a15a74da67386e8de3a1179656c26be26bde08e","datavalue":{"value":{"entity-type":"item","numeric-id":1406754,"id":"Q1406754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716972$086566CA-66F1-47E1-8F27-F3C5EF8DCD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf259cca190e165fade42bb2bf8ce8c8090da867","datavalue":{"value":{"entity-type":"item","numeric-id":1110649,"id":"Q1110649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716972$BBFAECF2-B563-4021-A8D1-AC844C4D17AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd78d4bdb808fac2af34ccbd95e95e6e263f6f7e","datavalue":{"value":{"entity-type":"item","numeric-id":1330683,"id":"Q1330683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716972$ACF020BC-E3A8-4F52-AB3D-257C817490A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b34985c280ac92a95e78ca54439c7119e4907e7","datavalue":{"value":{"entity-type":"item","numeric-id":2716953,"id":"Q2716953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716972$BA63B793-A09F-4A5E-AC7E-5364255659CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c5332c48de08b7b8da8f565721b384b6d4a11a4","datavalue":{"value":{"time":"+2001-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2716972$FCBCEDBE-054C-4DD6-9151-28DA0F4475E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716972$E383ECCA-C0F8-4AD8-8EFC-F2DADA3A15B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716972$DA054223-C40B-4675-8FD3-98E468CD3785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716972$B416DF26-DD30-4FBE-920F-9B5918CE4B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716972$EFDE0648-C349-4629-A4A1-B8534B742A1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a52adfc1aae2184fe4571b362a9a9719823fc569","datavalue":{"value":"1599698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716972$2481110F-A861-4698-AD3C-01C89AF04C31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d2c55d246c71d5fb00cb32662ac4b31dc32198","datavalue":{"value":"monoids of partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716972$10CD0E67-77ED-4664-B63D-4902F5F5D55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daee66b35f9f9f540619f985cdcff008b5c94c6d","datavalue":{"value":"power monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716972$67B30F52-7716-4225-907B-CD9E53551335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dd9474a15ac04b661be14d99b7ee47ccd85bf0e","datavalue":{"value":"diagonal acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716972$8D92C419-A3F6-4E3A-B650-8517FDF1DA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c446a640f4a250b1cd03159b88ee0aa23b29d52e","datavalue":{"value":"finitely generated monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716972$8589B38D-3A92-4825-9A84-C72F09121AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1af22a19f05aa0eeafde6b7f88443243e251a9","datavalue":{"value":"finitely presented monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716972$8AB4FF75-BD39-4BF9-96C4-2572BF206321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f68f344a4caadf9413f864c40922dfb791cb9c1","datavalue":{"value":"cyclic acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716972$20BDB18B-668B-4888-94D5-79A9F24C357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"317cdafe02fda36754a37ff8b627537db2c652ec","datavalue":{"value":"bi-acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716972$50080BEB-CEB4-4765-A0CC-527ECFB1A8E6","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":"Q2716972$B3F87F3B-1506-40D7-9AA9-1E4E141E3CA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce587c420176ba5259fc3cdab2c61d49faf25a3","datavalue":{"value":{"entity-type":"item","numeric-id":734985,"id":"Q734985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8800e8b64a85ef90539d245655978a5cf12ab1e9","datavalue":{"value":{"amount":"+0.9117546","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":"Q2716972$FF835A1E-3D11-4645-B2EB-618749DF0450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575b77ae34a5b959471cfc02a56a517be9dbdfc3","datavalue":{"value":{"entity-type":"item","numeric-id":6176593,"id":"Q6176593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253484bf3e52e9ece0da96a70f1f9584d5ea6211","datavalue":{"value":{"amount":"+0.9054934","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":"Q2716972$9E63F5C8-5667-4DBA-908F-26445CB76EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d52d6223b40b5d68327310c83f31f5179f4661d","datavalue":{"value":{"entity-type":"item","numeric-id":288884,"id":"Q288884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e29a03807bcf1f5116f3e77f99a8b4832cbbf73","datavalue":{"value":{"amount":"+0.8939386","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":"Q2716972$B6156D87-FBD9-4406-855D-B5ACA94A72B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668a0bf22d03dbac4d4caabb7e60532c34af6610","datavalue":{"value":{"entity-type":"item","numeric-id":2978271,"id":"Q2978271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2b733561cdc9067d78515ef92504b3b0f72ad6","datavalue":{"value":{"amount":"+0.8866873","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":"Q2716972$739A2B61-35A0-4E18-B117-8876E06ED236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bad33f14343eb2839455db30e6e9283e971a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3764312,"id":"Q3764312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d7bf95eda73dd7512365e0dba14809b2468b63","datavalue":{"value":{"amount":"+0.8840084","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":"Q2716972$8D2CB9EF-6EAF-47B4-9AC2-9B04ED475BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d85d6d0e9f70e91b3c2f9865fea527a8f688170","datavalue":{"value":{"entity-type":"item","numeric-id":1071874,"id":"Q1071874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451307ae7e49213877775bde2f876d60e06fa6af","datavalue":{"value":{"amount":"+0.8835684","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":"Q2716972$4C3FFE3B-7906-46B2-BF91-7DD1A6AC230D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5a135a57cda4da6a197e9b05117e0d7a0164800","datavalue":{"value":{"entity-type":"item","numeric-id":5875929,"id":"Q5875929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85bc107b75e824ca6c190c7022c84939e6c34d0a","datavalue":{"value":{"amount":"+0.88333964","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":"Q2716972$9E699227-A2E3-4FCA-ABB5-BDABAB0157A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c952b7c261c1b4b0c78683fb8d21e4fda00b7372","datavalue":{"value":{"entity-type":"item","numeric-id":5127924,"id":"Q5127924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5316ac2dcb3f0ae53a49c0867812a8c4904dc5","datavalue":{"value":{"amount":"+0.8792708","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":"Q2716972$23552C7A-303F-4E7C-A28A-94DEDF322EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00fa13373a28a6ac124bc79e134f48f60b417ff3","datavalue":{"value":{"entity-type":"item","numeric-id":5491355,"id":"Q5491355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7948b9f67a641a2dfa924eff389cf74eadcb51b8","datavalue":{"value":{"amount":"+0.8782496","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":"Q2716972$D6FD85B0-2FD6-4F66-9025-6C885CFB78E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080af86b0ac56746773b23571753d718613bf7f6","datavalue":{"value":{"entity-type":"item","numeric-id":4609184,"id":"Q4609184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbcb798c8948d2950f7191e27af7bc85a8223515","datavalue":{"value":{"amount":"+0.873513","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":"Q2716972$0D3C9F7B-0968-4A3E-A5EE-DBC0FAC13BAF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"946ba709cea0ce7ea7464de95c17dfa42bd48157","datavalue":{"value":"For a monoid \\(M\\), the set \\(M\\times M\\) (with natural multiplication) is called a diagonal \\(M\\)-act. The power monoid \\({\\mathcal P}_f(M)\\) of \\(M\\) is defined as the set of all finite subsets of \\(M\\), under the multiplication \\(AB=\\{ab:a\\in A,\\;b\\in B\\}\\). Let \\(R_N\\) be the monoid of all partial recursive functions in one variable. It is proved that \\(R_N\\) is finitely generated but not finitely presented. The paper gives an example of an infinite finitely presented monoid \\(P\\) such that \\(P\\times P\\) is both a cyclic right and cyclic left \\(P\\)-act as well as an example of a monoid \\(C\\) for which \\(C\\times C\\) is finitely generated as a right \\(C\\)-act but not finitely generated as a left \\(C\\)-act. Some links between diagonal and power acts are established. For example: if \\({\\mathcal P}_f(M)\\) is finitely generated then \\(M\\times M\\) is a finitely generated bi \\(M\\)-act.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716972$1E54FB15-4F2B-4C2D-AC7A-8E1A998EA1CC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716972$A7F0DD1D-7E16-4D5D-BF09-C595F186DFCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2716972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2716972"}}}}}