{"entities":{"Q1598192":{"pageid":1608932,"ns":120,"title":"Item:Q1598192","lastrevid":68006499,"modified":"2026-04-12T20:49:08Z","type":"item","id":"Q1598192","labels":{"en":{"language":"en","value":"Comparing semigroup and monoid presentations for finite monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1747320"}},"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":"Q1598192$5DEA001C-DE7C-49FE-8F84-608396795FAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a27981433f287c79898e671f2ac251e3ef2d531","datavalue":{"value":{"text":"Comparing semigroup and monoid presentations for finite monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1598192$090A17E9-42B7-438C-91BB-334AB081655A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fcfd77624a7d2844eb6f51b01af91b229b82a9f","datavalue":{"value":"1004.20037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1598192$8A05B53D-D02B-441E-96EB-C5855E2724ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1598192$BF5E1913-9BD3-4013-A7FC-5A234B00D8FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0681c3a06b0a8233603996004f959708deedd6","datavalue":{"value":{"time":"+2002-05-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":"Q1598192$2D9F42B9-1A20-4E8E-86B3-93B14146E979","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b08cc6fd6656f92d0082ca16af213523ad211386","datavalue":{"value":"The deficiency of a finite presentation \\(\\langle A\\mid R\\rangle\\) is the number \\(|R|-|A|\\). The monoid (respectively semigroup) deficiency of a finitely presented monoid \\(M\\) is the minimum of all deficiencies of monoid (respectively semigroup) presentations of \\(M\\). The main result in the paper characterizes the finite monoids \\(M\\) for which the semigroup and monoid deficiencies coincide in terms of the following necessary and sufficient condition: if \\(G\\) is the group of units and \\(I\\) its complement, then \\(|GaG|<|G|^2\\) for all \\(a\\in(I\\setminus I^2)\\). The proof works for arbitrary finitely presented monoids under the extra assumption that \\(I\\) is an ideal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1598192$F065A2DB-2B59-4EC9-9311-7C86F63873E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99980a1fe8b67be8570894d1f605195f6f2e1e0e","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1598192$B43BC7F2-E660-4048-83C4-ADE3034A6522","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1598192$374C9B2B-9FD9-4527-882D-325F46374B8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2b62f1d35cf549c8153b3492113bf2b1cc07c67","datavalue":{"value":"1747320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1598192$6260DA5C-617B-46A0-B9F6-2B5AF6359C0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7307555e58d75af64bcea3c9269493ab94d809e2","datavalue":{"value":"semigroup presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1598192$D330EA69-78B1-4C0D-B8B0-29469C833C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7121d53cbfd197961e641a9ea096c7dd96cf09bf","datavalue":{"value":"monoid presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1598192$84035B29-F8A0-4DB4-A7C2-A65A81008087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbf8039e5881da39fd2a9bb07f6a76dd3aadb1e0","datavalue":{"value":"deficiencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1598192$4FC34EEC-9D58-4C22-B1F3-B37FCBDE6FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1af22a19f05aa0eeafde6b7f88443243e251a9","datavalue":{"value":"finitely presented monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1598192$8A2DCB55-8BA7-4374-8358-B5D27DAE2946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc0cd31d36f0ac6a1e4cbb2ecda440630586e55","datavalue":{"value":"finite monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1598192$E9A02D6C-0A44-4889-9F09-282BCED26D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e856833678b07bb4bc42814a64e5c63e1e9bebc6","datavalue":{"value":"groups of units","type":"string"},"datatype":"string"},"type":"statement","id":"Q1598192$40AF023E-BA29-4DE0-8E4C-FB648E9B3BA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31bf537b8d33f43f27f392b7409d272c7e527e24","datavalue":{"value":{"entity-type":"item","numeric-id":724911,"id":"Q724911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1598192$1773DDC6-9D85-4BF0-913A-029A5391FD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1537c45749fde170b34adb6bf2e936507286bc92","datavalue":{"value":{"entity-type":"item","numeric-id":343473,"id":"Q343473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1598192$3C1B7556-7172-4A10-878D-AA585FCF4961","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":"Q1598192$4A02240F-7499-47AA-8C02-3FCDEF451E18","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":"Q1598192$60F9F6CB-AB5E-4A48-8CFB-557F75CD2D94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d0c9e651a961f576e81bd4871c8193210838d78","datavalue":{"value":"https://doi.org/10.1007/s605-002-8263-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1598192$89FEE7F3-9B3C-4155-B784-E3DC6F37948C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3380a2ab38273333b863cd85aabfbd30891434b2","datavalue":{"value":"W2055019265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1598192$2A9389C0-F39B-4DF4-84DA-041FA1FC1B63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7635de985c896743b84fc4b1ae45ff7073c78ef9","datavalue":{"value":"10.1007/S605-002-8263-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1598192$F3D63B4E-A7BB-4CAC-8718-44B24125BB4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51860685edcfbf2e0b4abaa4d8b76cefb4652641","datavalue":{"value":{"entity-type":"item","numeric-id":2732520,"id":"Q2732520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6874765b5e1541327409becadc372c58c8b1e2","datavalue":{"value":{"amount":"+0.8341734409332275","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":"Q1598192$41FFE929-4A0A-4DA1-BFD6-DCCEF5C6D007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7e75e4cae5f503d94127a90d0a2510b983bab7","datavalue":{"value":{"entity-type":"item","numeric-id":4835713,"id":"Q4835713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93fa81212b95ed37956d81d9f31f57494f82b11e","datavalue":{"value":{"amount":"+0.8335070610046387","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":"Q1598192$65E7A612-324B-4A2D-BE2A-396F03D90741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470d45b46f1d0ba630e97a4fefc498ffa152b7c8","datavalue":{"value":{"entity-type":"item","numeric-id":1971716,"id":"Q1971716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26600f74f37505bf6dfde8518e75ed1fb192b3b7","datavalue":{"value":{"amount":"+0.8063814043998718","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":"Q1598192$19868351-44D4-404A-ACF8-C26125C6BC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc1de255e382315a99fb02e0c19e8b885f262d2","datavalue":{"value":{"entity-type":"item","numeric-id":4946052,"id":"Q4946052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4894e3ca2b759c468deb595a2234766ff7805d0","datavalue":{"value":{"amount":"+0.8062394857406616","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":"Q1598192$0F3902FD-98BE-495A-A4E6-47CFC20DDA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c8a620f53ceb7db31760e7b0066b9a94fd7f069","datavalue":{"value":{"entity-type":"item","numeric-id":3089106,"id":"Q3089106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6d375d57a3dafa9bb515ef6fa040db91f1f741","datavalue":{"value":{"amount":"+0.7783587574958801","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":"Q1598192$05F538E0-87D0-4AD5-BE77-DEDAD6D93349","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparing semigroup and monoid presentations for finite monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparing_semigroup_and_monoid_presentations_for_finite_monoids"}}}}}