{"entities":{"Q1971716":{"pageid":1982458,"ns":120,"title":"Item:Q1971716","lastrevid":72100221,"modified":"2026-04-14T02:38:38Z","type":"item","id":"Q1971716","labels":{"en":{"language":"en","value":"Minimal presentations and efficiency of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1423170"}},"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":"Q1971716$74360361-2453-4A26-9D8C-A50FEB1857C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb76184890bb9f46bed5d0be32ea01cc55ea9526","datavalue":{"value":{"text":"Minimal presentations and efficiency of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1971716$0AF49497-DEC1-4BF0-8FD3-A8EFE01ABD6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"447a58b40aa9adfd39ac8170f9fc5a2643bdbeb7","datavalue":{"value":"0958.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971716$BC1C6398-A90D-4DB2-9CD6-A8CBFAA7F5B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1558eef906265a5ad13080aac45c0aa85974aaac","datavalue":{"value":{"entity-type":"item","numeric-id":462237,"id":"Q462237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971716$02D5D848-9FE3-43DC-B929-66A9B97F1038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e69cf1bf6fba423cc8f550419b7668a4e4107756","datavalue":{"value":{"entity-type":"item","numeric-id":1971715,"id":"Q1971715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971716$88F8961C-11ED-491F-AE17-0C3E4425BF8F","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":"Q1971716$B82C1819-E6D0-498B-98E2-1A6C2ADECD57","rank":"normal"},{"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":"Q1971716$21348F3C-DB80-49BF-A7B5-C578E459DEEF","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":"Q1971716$3D96CBB4-F765-4EBA-8A97-8DEA6CC64207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6c0c12789b1c65edf998b307fadc1a05e2a1e26","datavalue":{"value":{"time":"+2001-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1971716$6EEA11FA-DF18-4D82-9FC6-9262A989CA4B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48b220f6f2c857cd9c675efd279107041df6eb8e","datavalue":{"value":"Let \\(A\\) be an alphabet and let \\(A^+\\) be the free semigroup generated by \\(A\\). A semigroup presentation is an ordered pair \\({\\mathcal P}=\\langle A|R\\rangle\\), where \\(R\\subset A^+\\times A^+\\). The deficiency \\(\\text{def}({\\mathcal P})\\) of \\(\\mathcal P\\) is the number \\(|R|-|A|\\). The deficiency \\(\\text{def}(S)\\) of a finitely presented semigroup \\(S\\) is defined to be \\(\\min\\{\\text{def}({\\mathcal P})\\mid{\\mathcal P}\\) is a finite presentation of \\(S\\}\\). In general, \\(\\text{def}(S)\\geq\\text{rank}(H_2(S))\\) for any finite semigroup \\(S\\), where \\(H_2(S)=\\text{Tor}^{\\mathbb{Z} S}_2(\\mathbb{Z},\\mathbb{Z})\\) is the second homology group of \\(S\\). A finite semigroup \\(S\\) is efficient if \\(\\text{def}(S)=\\text{rank}(H_2(S))\\).   The authors show that finite Abelian groups, the dihedral groups \\(D_{2n}\\) with \\(n\\) even, and finite rectangular bands are efficient. On the other hand, finite zero semigroups and finite semilattices, though they are Abelian, are not efficient.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971716$271CEDB4-995E-4A71-8550-E9E38BE591FD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7eb34a5913e32e2432a47344f3fe5b5428d3d6a3","datavalue":{"value":{"entity-type":"item","numeric-id":441852,"id":"Q441852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971716$CCF0EC5E-2C49-4C57-9369-DFCCB86B68E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971716$8CC298E2-97B1-4288-BDC2-03F400F739D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971716$255F65B6-C397-42F8-9771-0B89C1D2DBA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cc640e86ea4c7dcaa5db9b623e047c2d1189176","datavalue":{"value":"1423170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971716$585AD322-B2C0-45D8-9DED-E4A26A86CA01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7fe19f725521885c5a40b8a361664ab1a2991","datavalue":{"value":"efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971716$02360650-2CB4-41C8-87A9-9211FA9BF9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7307555e58d75af64bcea3c9269493ab94d809e2","datavalue":{"value":"semigroup presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971716$470E4AB6-7BA2-45E7-9717-29C5D3F33722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f678844b43499cbef46e11738328c75fb0b5a8","datavalue":{"value":"deficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971716$BA6A070F-66E8-41A0-8252-D41B288C4E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971716$490114D0-1AD3-4B0A-B57D-1A535F9CA7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971716$D1748482-58E4-43CD-A765-74B06217465D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26a3ea54f7127093cbbd058e685b018e0a3384fb","datavalue":{"value":"homology groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971716$957A5154-0F93-420F-8A1E-9DE5F22F5882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa62a3093813c498072aea2362b6c1ec13f6616","datavalue":{"value":"finite Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971716$32CDE721-FD61-4B85-8C1A-3424A5E407E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9211beb596c6afcb81ab505450339b87eb555f39","datavalue":{"value":"dihedral groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971716$815CB644-A81E-4495-B209-E989E29A1214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d6000ab8b258740dc9afe731f329b478aef5029","datavalue":{"value":"finite rectangular bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971716$3263F245-1651-4E5E-A248-D087A111F1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ea1fbdbafb6f2d28a21bd09b23a160359b5d4da","datavalue":{"value":"finite zero semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971716$63B24BFD-5F01-44FD-9798-9C8727B4063C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d49c03d6441efa48ce4ddb893386eecd35f0914","datavalue":{"value":"finite semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971716$F52E433C-619F-44F2-A0ED-8E17F16DD9A2","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":"Q1971716$2A6838B1-3665-4CD0-A3EB-86A58C687C1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7e0db2a0d78f679b27800b82264de58f22bfd16","datavalue":{"value":"https://doi.org/10.1007/s002339910016","type":"string"},"datatype":"url"},"type":"statement","id":"Q1971716$38C1EA30-BFDA-42B3-A8E1-C71FA692351E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a364432cdc456ee75e292899bd3e04f70db5e90b","datavalue":{"value":"W1980853405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971716$79B4FD93-C38E-4AD4-BB98-CECDABDB12FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e5e06ed4d62649d7c9304ef0d50f2db294133aa","datavalue":{"value":"10.1007/S002339910016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971716$04DC98C1-08F3-4867-B463-C4E6E35A482D","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":"c8f7d6f3655a4912dde566615c7027955f670792","datavalue":{"value":{"amount":"+0.9465121030807496","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":"Q1971716$E8DB098F-0C8B-42C1-A162-8DCA25E51614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e312aaa9b19a839b6ff27e1edf773fb69f477da2","datavalue":{"value":{"entity-type":"item","numeric-id":2703128,"id":"Q2703128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a239175c10c68d52eb84b306aa8bd35ae31cf2","datavalue":{"value":{"amount":"+0.8973169922828674","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":"Q1971716$27601D93-6B77-46B8-897A-0597A4355E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cce10186af0f9120b8df06acbdebb0f487815cc","datavalue":{"value":{"entity-type":"item","numeric-id":2709033,"id":"Q2709033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cebfdc242920b9bfa3f7bacb211c026cccce461","datavalue":{"value":{"amount":"+0.8665045499801636","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":"Q1971716$49D1FA1B-1F94-44E3-8D00-1AC2E47FD1C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal presentations and efficiency of semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_presentations_and_efficiency_of_semigroups"}}}}}