{"entities":{"Q2703128":{"pageid":2713873,"ns":120,"title":"Item:Q2703128","lastrevid":82721072,"modified":"2026-05-06T21:45:58Z","type":"item","id":"Q2703128","labels":{"en":{"language":"en","value":"On the efficiency of finite simple semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1571090"}},"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":"Q2703128$E6EB4ADF-BD8B-4744-B36D-DDF35B8368B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35e3dedd9e7a93e30e456639ef056aee17cbcd79","datavalue":{"value":"0976.20039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703128$08380E7E-B19B-4771-94F8-499596826786","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":"Q2703128$540B0DE7-C6F3-45D0-96B3-EB9B92D09ADB","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":"Q2703128$C54F821D-E1BD-4A57-ADC3-346936735E19","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":"Q2703128$F4EAAE19-6DFB-424F-8BA3-62FE3F8EDD79","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":"Q2703128$77C57987-B48D-48B0-B671-6A46EF009870","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a12c476678ac830de6d391e0b3f53860587b6e09","datavalue":{"value":{"time":"+2001-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2703128$0EAD4978-34BF-4976-B31C-CE5CC8469A5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703128$5DBD6223-1648-4E81-81F6-21D32D318197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703128$81112E39-8AB4-4E17-81E4-707AA6C650AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a558b56c8e0cc157426ddeb3fb0db120d083f19","datavalue":{"value":"1571090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703128$D7A453EC-D38E-4404-921C-EC7917A7729C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dead904e8cf1ebc565068b449128bea729b125e3","datavalue":{"value":"simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703128$802D03CC-124C-428D-B811-07744C818F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8315cb3c23e74fc7eed135d59f03cb1280d20e15","datavalue":{"value":"Rees matrix semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703128$0CA8AE3B-C568-418E-923C-6AB915D37163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703128$C12C3462-8FEE-45DB-81E3-E6370F323245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6cae3d187cf4b1052db0532e569556f7536b5d9","datavalue":{"value":"second homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703128$3D18B0B1-80BA-4F8D-AAC0-F3845ED806DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f678844b43499cbef46e11738328c75fb0b5a8","datavalue":{"value":"deficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703128$2FAD76F9-D664-41F1-9EC5-A9ADED5DF329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703128$8126533A-9DF2-4C3A-B7A5-71E14DAE9FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9cf077db58b158f2a9b51bac28aa7950b56d63a","datavalue":{"value":"efficient semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703128$032C3E09-3939-4D25-8EDD-AEF1C6CF5560","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":"Q2703128$7FBAA95E-3FA4-49FC-B183-52E364B9D237","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"912984297b153e593db19fa216924e2abc37da35","datavalue":{"value":{"text":"On the efficiency of finite simple semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2703128$CAF7F919-1A0F-4BDD-9C3A-CD01933F6111","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8ecb427c6633cd0a67d2579c2413338dc5b99340","datavalue":{"value":{"entity-type":"item","numeric-id":3656900,"id":"Q3656900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703128$3394BF2C-50F7-4880-84D5-1E547AB12C96","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96835a43476dbafcd2a134e251e81e25ae934ba8","datavalue":{"value":"The deficiency \\(\\text{def}(S)\\) of a finitely presented semigroup \\(S\\) is defined to be the minimum of the differences \\(|R|-|A|\\) of the finite presentations \\(\\langle A\\mid R\\rangle\\) of \\(S\\). By an unpublished result due to J. Pride, \\(\\text{def}(S)\\geq\\text{rank}(H_2(S))\\), where \\(H_2(S)\\) denotes the second integral homology of \\(S^1\\) (and \\(S^1\\) equals \\(S\\) with an identity element adjoined). The authors consider finite simple semigroups. Such a semigroup \\(S\\) is isomorphic to a finite Rees semigroup \\({\\mathcal M}[G;I,\\Lambda;P]\\) over a group \\(G\\). It is first shown that the second homology of \\(S\\) is \\(H_2(S)=H_2(G)\\times\\mathbb{Z}^{(|I|-1)(|\\Lambda|-1)}\\). By constructing specific presentations, the authors show that \\(\\text{def}(S)\\leq\\text{def}(G)+(|I|-1)(|\\Lambda|-1)+1\\), and if \\(G\\) is a finite Abelian group or a dihedral group with even degree, then \\(S\\) is efficient, that is, \\(\\text{def}(S)=\\text{rank}(H_2(S))\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703128$2A37F489-5F93-4926-9E7B-B71AEF66D100","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e0db3e87cf0564d4c180dc3531c145e91e81ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703128$0B494A84-0FC1-448A-9090-4CDA313CDAAF","rank":"normal"}],"P1643":[{"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":"fbfb035ff1e723fa9a2fdc435b465b5c1fbe672c","datavalue":{"value":{"amount":"+0.8951990604400635","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":"Q2703128$1965CEE9-57F8-4925-8F7C-2629603BBD5D","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":"ffe4f2dd24377b1a5b016d6abbd5298a4aeaf523","datavalue":{"value":{"amount":"+0.8948094248771667","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":"Q2703128$C17E42EA-294B-47A0-A3C5-F77C484E8F27","rank":"normal"},{"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":"bc301e06cc18e13f7dd986540f8bbdd395cd1fc8","datavalue":{"value":{"amount":"+0.8741549253463745","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":"Q2703128$B12DB651-42CA-4C77-9B29-1B756EDB3705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a164e6587c2ed4d5098b9be4380216ed4d27eef","datavalue":{"value":{"entity-type":"item","numeric-id":5297775,"id":"Q5297775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3514b58dc1c8b9d59488f1c6ae685e8a0da393c","datavalue":{"value":{"amount":"+0.8738958835601807","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":"Q2703128$EF18A2D5-3F47-4F43-9416-7F0F9491A883","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":"da3def41792a2073c2808543a416376475d1be11","datavalue":{"value":{"amount":"+0.8030791878700256","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":"Q2703128$9BA42872-79F9-4D2B-980E-22C99D96B265","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the efficiency of finite simple semigroups","badges":[]}}}}}