{"entities":{"Q2709033":{"pageid":2719772,"ns":120,"title":"Item:Q2709033","lastrevid":79291088,"modified":"2026-05-06T13:34:58Z","type":"item","id":"Q2709033","labels":{"en":{"language":"en","value":"The semigroup efficiency of direct powers of groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1584833"}},"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":"Q2709033$7ED7F6D2-DF0C-4978-B5AF-DA9D6FE857CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93708d7d1045e829231cd55b871f35b236e8bb68","datavalue":{"value":"0984.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709033$34B66A60-AEF1-4B65-ADEA-2731589FB4F9","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":"Q2709033$4E61B338-6AC5-4788-A065-F0EC9EF388E1","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":"Q2709033$B580C165-F24E-4A74-A64E-7DD402AFB366","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":"Q2709033$601C1F13-03AE-485F-A441-CDAD3A975FDB","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":"Q2709033$DB583122-C0A2-4FC4-88AF-A47365BEAD68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"362f33d25583f225144c6b7972f273b23e07a87e","datavalue":{"value":{"time":"+2002-04-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":"Q2709033$14BC25BA-27E7-46FD-AEE3-00E2097984D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709033$AC9DC927-9325-4174-8338-6C2E85068787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709033$9128B42C-792B-48EF-BF6B-8E5F141E00ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a19ea6655d7be36f68fa9f5745081db550ade963","datavalue":{"value":"1584833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709033$7C6F8787-CA46-4022-A49C-B0D7F52D93AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709033$0833B2E6-810C-44A8-A8C2-1F6E8E66BBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44541ed4ca37e92f3ec66a67eba649a210105a50","datavalue":{"value":"integral homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709033$15E76A63-8EF1-46ED-B84A-2E552E80B2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46a981d7a862202a1886531f4e23d9eaade96888","datavalue":{"value":"direct products of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709033$1FE30CAE-AAAC-440D-8C45-7B553D6B4B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7307555e58d75af64bcea3c9269493ab94d809e2","datavalue":{"value":"semigroup presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709033$68981ACB-61A7-4E36-ABF7-A53F898DEA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9211beb596c6afcb81ab505450339b87eb555f39","datavalue":{"value":"dihedral groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709033$24C5CC98-E517-46FB-BAD3-775C20B0C3C0","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":"Q2709033$982AEF43-4425-42C6-A066-6AE1F5AC425F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5da45d1b60fadfd3e877ea3fca213df8860d5e0e","datavalue":{"value":{"text":"The semigroup efficiency of direct powers of groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709033$CCD84BEE-2BF0-4EC3-91F4-D7133E555105","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d8292837b04586db9173c8d22487b04edc28d19","datavalue":{"value":"A semigroup \\(S\\) is said to be defined by the presentation \\(\\langle A\\mid R\\rangle\\), with \\(A\\) an alphabet and \\(R\\subseteq A^+\\times A^+\\) (\\(A^+\\) the free semigroup on \\(A\\)), if \\(S\\) is isomorphic with the quotient semigroup \\(A^+/\\rho\\) where \\(\\rho\\) is the congruence on \\(A^+\\) generated by \\(R\\). A finite semigroup \\(S\\) is called efficient if it can be defined by a presentation \\(\\langle A\\mid R\\rangle\\) with \\(|R|-|A|=\\text{rank }H_2(S^1)\\), the rank of the second integral homology of the monoid \\(S^1\\). In this paper the direct product of groups is considered with respect to this kind of semigroup presentation. It is shown that the direct products of the dihedral groups \\(D_{2n}\\) and the alternating group \\(A_4\\) are efficient in the sense above.NEWLINENEWLINEFor the entire collection see [Zbl 0954.00028].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709033$B55E5CCE-93C1-4A12-AD25-C05B0E215DB5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e40a3870b32b18b840da0f31227db8fce409223","datavalue":{"value":{"entity-type":"item","numeric-id":731309,"id":"Q731309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709033$85F25652-D2F0-4D12-8808-2C27760BBABE","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":"2bd5155ed89e020036917d8c1a6d9da8ea7c4a9e","datavalue":{"value":{"amount":"+0.8708898425102234","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":"Q2709033$E4590B41-C236-4994-9596-052E0E8215B9","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":"0220226573ce04f12a851ad91fb4ee031d5ef57d","datavalue":{"value":{"amount":"+0.8699547052383423","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":"Q2709033$B80B49E3-2497-4C32-B831-935CBAC2B82C","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":"1b0b8b713508ac7935d6689fad2bb9e5cc26a0d6","datavalue":{"value":{"amount":"+0.8669507503509521","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":"Q2709033$973A8841-58B2-432C-8A37-397BBE028837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d16d1f0c1a7e5594f4246236f1067ebea8bab8","datavalue":{"value":{"entity-type":"item","numeric-id":2703143,"id":"Q2703143"},"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":"Q2709033$DB039D77-3E8D-435C-914B-70276F0AD4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c3c04dd67ae14c7b6e7ac712d6cec5ec4ec9fc","datavalue":{"value":{"entity-type":"item","numeric-id":3972452,"id":"Q3972452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3489a56dd1a6a39afd0fe0d623d3d1ab5521ac","datavalue":{"value":{"amount":"+0.843704879283905","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":"Q2709033$2FEB4784-9267-4549-BE4B-B1087ADA90E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The semigroup efficiency of direct powers of groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_semigroup_efficiency_of_direct_powers_of_groups"}}}}}