{"entities":{"Q2566476":{"pageid":2577219,"ns":120,"title":"Item:Q2566476","lastrevid":48555154,"modified":"2026-01-05T05:14:19Z","type":"item","id":"Q2566476","labels":{"en":{"language":"en","value":"Efficiency for self semi-direct products of the free Abelian monoid on two generators."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207726"}},"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":"Q2566476$10D81A77-18C3-492E-8F0A-8550B7291C30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55f12bf5c53be79fc79e9d65bdacf311d67f4eb4","datavalue":{"value":{"text":"Efficiency for self semi-direct products of the free Abelian monoid on two generators.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566476$A88FA8A0-AEC2-4974-B7FE-EEFA3721FBBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcdda7b6ecd753b80307dc58036bc61b819021b4","datavalue":{"value":"1088.20032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566476$877F57DF-0834-4773-8E7B-F90CB0C2E8C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$8795EBE8-8A1A-4054-A65E-078947335D4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$A3136447-25A1-4FC5-B82A-FC3A40C1AD17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c82177ea1a441a2602ee1de7046679058e82c52","datavalue":{"value":{"time":"+2005-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566476$0DEBADB6-6FC3-474D-80C9-89228DEB4132","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"92f7a88f743f8735d5733b4d335d4999dc8c2665","datavalue":{"value":"Let \\(A\\) and \\(K\\) both be free commutative monoids on two generators. For any connecting monoid homomorphism \\(\\theta\\colon A\\to\\text{End}(K)\\), let \\(D=K\\rtimes_\\theta A\\) be the monoid semi-direct product.   The author gives a characterization for the efficiency of a standard presentation for \\(D\\) in terms of the matrix representation for \\(\\theta\\). The main result states: Let \\(p\\) be a prime, and let \\(\\theta\\colon A\\to\\text{End}(K)\\) be a monoid homomorphism represented by \\(2\\times 2\\) matrices \\({\\mathcal A}=(\\alpha_{ij})_{2\\times 2}\\) and \\({\\mathcal B}=(\\beta_{ij})_{2\\times2}\\). Let \\({\\mathcal P}_D\\) be the resulting standard presentation  \\[ [a,b,c,d;\\;ab=ba,\\;cd=dc,\\;ca=ac^{\\alpha_{11}}d^{\\alpha_{12}},\\;da=ac^{\\alpha_{21}}d^{\\alpha_{22}},\\;cb=bc^{\\beta_{11}}d^{\\beta_{12}},\\;db=bc^{\\beta_{21}}d^{\\beta_{22}}] \\]  for the semi-direct product \\(D=K\\times_\\theta A\\). Then \\({\\mathcal P}_D\\) is \\(p\\)-Cockcroft if and only if \\({\\mathcal A}\\equiv I_{2\\times 2}\\pmod p\\), \\({\\mathcal B}\\equiv I_{2\\times 2}\\pmod p\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566476$60FA6884-D067-41CF-B243-224E9ED8736E","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":"Q2566476$7856C039-4383-453B-859C-B9B44261A6FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566476$52D2A72D-F58D-4A1E-9E4A-F40131933374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566476$BA57720B-4CF0-4E6E-86FD-4AECBA13A876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566476$FCA8DB96-0A83-4FB1-B58E-F8346B01F7CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c935dd0faa0f214e2126516dd60bfc19bb883c0a","datavalue":{"value":"2207726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566476$8F5205FF-E03A-4144-9ADB-A6E934B527A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"debf76944c29f2b7caad86a7b5c3eebe886af35b","datavalue":{"value":"Cockcroft property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566476$54B94745-8015-4C21-9D3D-22AC07137314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7121d53cbfd197961e641a9ea096c7dd96cf09bf","datavalue":{"value":"monoid presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566476$C776F566-298B-4C09-8E33-2CE19AB5F814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39a950668503190b9e5d11aa994738fb16c1942","datavalue":{"value":"trivializer sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566476$CAC435E6-0EA9-4FA3-A999-544CD464270E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa272f7e20d07255d919385199eb668b84320e2","datavalue":{"value":"semidirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566476$503D794F-AC51-4133-A3AB-32C56C4C85CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b1a8bcdb526bdc177bd08015d75bead0edb11f3","datavalue":{"value":"efficient presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566476$52F9F9E3-B42B-4C85-A7E3-6F34A82C13F8","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":"Q2566476$F8E82468-59C1-47BB-A026-431297DE4F9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"950bfc10f05df2dfe5cb9f658a59fcfc83a550ac","datavalue":{"value":"https://doi.org/10.1216/rmjm/1181069767","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566476$6E9206CA-1D0B-45B4-9B98-1901155C6B79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bed9fd3142606667c782e458b85d0e55182ec7b","datavalue":{"value":"W2069676900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566476$E97F6000-93E8-4399-8F30-541B470BEE18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6efd9c44b1bc4428f572e7829358fdf3a2afbd0","datavalue":{"value":{"entity-type":"item","numeric-id":1248048,"id":"Q1248048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$C56390A0-35F9-4D11-B3D9-3088A8E31DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2596d3be3d8d9b60706c409e0f3fdb6bf03c48ab","datavalue":{"value":{"entity-type":"item","numeric-id":1971716,"id":"Q1971716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$B5F7B4D9-F789-4918-834C-41BC40AFF981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0575cc36f623e45444245277994b2d9b07a8cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":3043625,"id":"Q3043625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$DFF86291-1A32-40CD-94B5-AA5147781B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70199011dc3ece9139f582cbdfd554a2b6a5610a","datavalue":{"value":{"entity-type":"item","numeric-id":4039402,"id":"Q4039402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$F7E0E18F-395C-41EF-BA75-1CA35C79F4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb1f77777280fd5ebb4d7465452dc782db65104","datavalue":{"value":{"entity-type":"item","numeric-id":1338340,"id":"Q1338340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$761ED1DC-2345-47C1-A687-ACC46365295F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a1d06c62d80acdc8a63159eb7e82a1cd7259ac","datavalue":{"value":{"entity-type":"item","numeric-id":5570968,"id":"Q5570968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$FAF5F065-73AD-4949-97D3-56B396156188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ef9dd50be05075d9a6884c99d01f178372f4879","datavalue":{"value":{"entity-type":"item","numeric-id":5639012,"id":"Q5639012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$E965406C-A1FA-4198-B0A7-21C940A2366A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a1f2839a7701e81d176438ba7fa5486537c21e","datavalue":{"value":{"entity-type":"item","numeric-id":4377871,"id":"Q4377871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$F684F725-F672-49F5-8C35-D7386C3AA1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acdd5709e2d4e255787516046c25cdc193f6c44","datavalue":{"value":{"entity-type":"item","numeric-id":3349084,"id":"Q3349084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$6E7F869F-2A2F-42A5-8922-063FDB26DF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea621a95f3ef46bceffc30c1e1e711323989aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1910764,"id":"Q1910764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$E16C7797-2B94-470F-B8E7-C60184F8BAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$0049C802-C14B-49EF-ACF4-42E8A694A67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96bd8ff157acdc45b1ad590bd13213b824369c7b","datavalue":{"value":{"entity-type":"item","numeric-id":3123637,"id":"Q3123637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$6AD49A50-42BC-4E40-96D6-EA49D484BB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d27ee8114483b860dbd0ba4b77b85c42fed53ce","datavalue":{"value":{"entity-type":"item","numeric-id":4863965,"id":"Q4863965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$00FFB5A5-0F1B-4779-8304-2FE3DF7C933E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f471f379e5cdd671899d77069c9b3b80cf82abcf","datavalue":{"value":{"entity-type":"item","numeric-id":1118701,"id":"Q1118701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$3E655BC8-1565-4F17-B2EE-79225A2BD63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176b878b32dd9698208225bb09fc4b5ae95cc597","datavalue":{"value":{"entity-type":"item","numeric-id":1105040,"id":"Q1105040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$B40D7FC3-6C05-4BC9-B74E-2DB9A6F72D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ebd09d4db6178be1d9708eddba00ffc4ee7ffa","datavalue":{"value":{"entity-type":"item","numeric-id":1127330,"id":"Q1127330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566476$D9DD0246-1EE3-49B4-BBC4-855CD302A04B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a9cdbd58014b79244d55f4407f1b9c2b9e4a438","datavalue":{"value":"10.1216/RMJM/1181069767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566476$EC4041A6-5BCC-4A22-88CC-E58054671984","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6823e0eeb1adc667980622ac50c28adcd2dd51ba","datavalue":{"value":{"entity-type":"item","numeric-id":5308808,"id":"Q5308808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58cc979141c8bfac608c02a66c8433727774815e","datavalue":{"value":{"amount":"+0.9080827236175536","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":"Q2566476$B4E3D8A2-CD59-4618-B0A0-042A1F6EAC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1327532d3ff28fdbafebbc6967da6020864c89f9","datavalue":{"value":{"entity-type":"item","numeric-id":3442596,"id":"Q3442596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e3911dd585549b0baf90f3af8d5ff80f6d981a","datavalue":{"value":{"amount":"+0.8629218339920044","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":"Q2566476$EFD56E63-05D5-4981-99E8-553F2E03E9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914b670ecfb3790bdf3a521a24ee951041c90208","datavalue":{"value":{"entity-type":"item","numeric-id":5263350,"id":"Q5263350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a2becce697bd3bd208984776e50f3fb11a56df","datavalue":{"value":{"amount":"+0.8301751613616943","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":"Q2566476$1D77E390-C3E5-428D-AD46-CA643A7C514E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b08cad8ef221f89ebe81bb329cb407f4430c96a5","datavalue":{"value":{"entity-type":"item","numeric-id":3043625,"id":"Q3043625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2cec5361229989c61d5f22725272e566012250","datavalue":{"value":{"amount":"+0.8282483220100403","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":"Q2566476$E11D2945-9AFC-4524-9CB9-621CB98F3FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7405dddb32c29e0b004be2ac27d917653f2aa05c","datavalue":{"value":{"entity-type":"item","numeric-id":1864474,"id":"Q1864474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e928b7e840e9db312de02227bbdecbe5805053b5","datavalue":{"value":{"amount":"+0.8269756436347961","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":"Q2566476$4FAE4165-D9F0-4007-AC31-8F8B259A182D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2566476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2566476"}}}}}