{"entities":{"Q1182933":{"pageid":1193682,"ns":120,"title":"Item:Q1182933","lastrevid":66783909,"modified":"2026-04-12T12:50:24Z","type":"item","id":"Q1182933","labels":{"en":{"language":"en","value":"Laws in a class of groupoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 32458"}},"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":"Q1182933$9A7EBA73-A309-4A67-9410-6374CD20F947","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bca7f7a8cd785eab6897aa05a6acbdcf6e88611c","datavalue":{"value":{"text":"Laws in a class of groupoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182933$CD7033DB-B0C5-46E7-A43F-B807CF40619F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de05563636c77c19211891f7fcf6f888cb6ae5a7","datavalue":{"value":"0745.20058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182933$52A5501B-107C-40DA-8D7D-9B7FA88F1C36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1925fa0a54ea33495470557b1943c79b197866d8","datavalue":{"value":"10.1016/0012-365X(91)90276-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182933$58499C09-907B-4FCE-848C-73D093B2671A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3da247817f252c12ce7139b1bee3f0fc093f3a","datavalue":{"value":{"entity-type":"item","numeric-id":593296,"id":"Q593296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182933$308D8F45-1E76-479D-91A6-3BB2D590B0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"477d06c8df9685ded9948a7e96bdfcaf1696b8f3","datavalue":{"value":{"entity-type":"item","numeric-id":1353178,"id":"Q1353178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182933$D825D085-B91E-479E-BD2B-CE4A8E4B6CCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182933$31B4CF77-BB12-4CE5-8F3B-AEED2AA5436C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-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":"Q1182933$B1E40345-51FA-4E0A-BD0C-10621CB3E466","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1324d24d916fc4e0e9f2480d553421c1182c892a","datavalue":{"value":"In an earlier paper [Bull. Aust. Math. Soc. 26, 385-392 (1982; Zbl 0492.08008)] the first author introduced a class of groupoids derived from commutative semigroups. The previous paper showed that such groupoids have no finite basis for their laws; this paper investigates the laws that hold in all groupoids of the class.   Let \\({\\mathcal S}=(S,+)\\) be a commutative groupoid, and \\(\\alpha,\\;\\beta\\) two commuting endomorphisms of \\(\\mathcal S\\). A new operation \\(\\mu\\) is defined on \\(S\\) by \\(xy\\mu=x\\alpha+x\\beta\\) and it is the groupoid \\({\\mathcal G}(\\alpha,\\beta)=(S,\\mu)\\) (or \\(\\mathcal G\\) for short) that is the object of attention. Since it is only the laws that hold in all such groupoids that are of interest here, \\(\\mathcal S\\) can be taken to be the free commutative semigroup of countable rank, and \\(\\alpha,\\;\\beta\\) to be freely commuting. An example of such a law (in fact, the shortest nontrivial law) is the medial law \\(xy\\mu zt\\mu^ 2=xz\\mu yt\\mu^ 2\\). An infinite sequence of laws is defined as follows. Let  \\[ u_ m=x_ 1x_ 2\\dots x_ m\\mu^{m-1}, v_ m=x_{m+1}x_{m+2}\\dots x_{2m-1}\\mu^{m- 2}x_{2m}\\mu,\\;w_ n=u_ mv_ m\\mu,\\;\\hbox{ where } n=2m. \\]  Let \\(w_ n'\\) be the word obtained from \\(w_ n\\) by interchanging the variables \\(x_{m-1}\\) and \\(x_{2m-2}\\); then the main result of the paper is: Theorem. Each of the laws \\(w_ n=w_ n'\\) for \\(n=2m\\geq 6\\) holds in \\({\\mathcal G}\\) and is independent of all shorter laws of \\(\\mathcal G\\). An immediate consequence of this is that the laws of \\(\\mathcal G\\) do not have a finite basis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182933$46CF91C2-5CD4-48F6-BC7C-7FD60D9A12F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182933$BC959E9C-C045-460E-90C9-836EE1F6ADBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182933$ABC7D69B-4DCA-463C-AC11-29B7B4AF0AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182933$4C1AFE51-0F90-45F7-A1CC-9EAF85A553EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd43a1b9f2417f5aebe919f08e6aa2b510501c27","datavalue":{"value":"20A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182933$A3F79D09-5F3E-4DFF-B9D6-F26401A3DCDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"863fa49fb55bce1796af92726f3f8ceecf67a69a","datavalue":{"value":"32458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182933$24B26253-B464-448C-AC89-A7EB8784317F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587aca19d9948a88d24a703438dbfae5199be411","datavalue":{"value":"class of groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182933$63B08D87-12FA-4981-BB37-08F4A917832B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6095a683b4a79232d5a50824d8d9dffcc4700b27","datavalue":{"value":"commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182933$D60F240F-202D-4A13-B64A-56448E743CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3997d31b3452a159289c7de18af4dd478d16d4b","datavalue":{"value":"commuting endomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182933$935485EC-6F65-4E5E-A582-40033B5D76CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2074d5f41df4ddf353ef8f69d5c6db689c4fb94a","datavalue":{"value":"free commutative semigroup of countable rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182933$10E3B353-98C5-41A7-A044-B56EBCBB091D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe57cd5ff24d73c581d281b2f3eb18bb568b71aa","datavalue":{"value":"medial law","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182933$D403557C-0132-4254-B83E-5AFCAB5B618E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ce85af5334c6bccee458333b2057e6b2653932b","datavalue":{"value":"infinite sequence of laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182933$2F1335C6-EF03-4217-917F-46174EC4A2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c9d10a3cc7e7a04e25f3a32ce40e8fbcfa3f461","datavalue":{"value":"word","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182933$55886E9A-E6AA-4F28-8840-96DBC19FFEFB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182933$C0AE49EB-36A0-4A15-ACB6-C06204E3DB6F","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":"Q1182933$7244818B-18D7-4A3F-A304-96D3C0D74B5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d529431e906a8d8c49d5b36d1c4c16020004e79","datavalue":{"value":{"entity-type":"item","numeric-id":5790810,"id":"Q5790810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182933$93ECBE5B-C3A0-4B09-B045-4FDC8A25AD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff00a7949d66af388f6ee6fa6e4cbd83beb143f","datavalue":{"value":{"entity-type":"item","numeric-id":3953827,"id":"Q3953827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182933$850B649B-D19F-498D-8ABD-518A23716743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08037d16435c8109b44246e822b4d2f5eccaf7ce","datavalue":{"value":{"entity-type":"item","numeric-id":5772827,"id":"Q5772827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182933$D14B7A1B-5638-4336-B487-0DC6D694CE7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"187d07daf7931534e60dbf7add40ce9d9ed96541","datavalue":{"value":"https://doi.org/10.1016/0012-365x(91)90276-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1182933$6EF77433-6B05-4D84-9E9D-2BFB29AA8642","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05cc94d006ccc0793bfeb1383cc84628d091611c","datavalue":{"value":"W2025905090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182933$9F1DEEE5-A82A-4CD0-B5E4-697C022CEFEE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"08184b723e167669e0a6c2c7f312d74ea3657d3d","datavalue":{"value":"Q126377265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182933$40778746-D2FC-43DE-A129-E563469A8CA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcc20ff1feb000fdf5420b0a78fcc428e8fbffc","datavalue":{"value":{"entity-type":"item","numeric-id":3739355,"id":"Q3739355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c087f9a19d6d03bdab0434e36e31bd11bbe7bb27","datavalue":{"value":{"amount":"+0.8028956055641174","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":"Q1182933$67B95D4D-0B2C-4B12-A15C-1C94B489B28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004ed7030725d349d5481e827db4eb8725da5ec4","datavalue":{"value":{"entity-type":"item","numeric-id":3218312,"id":"Q3218312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfb9117f640ed4d67e70afed16785a787a3bcd5","datavalue":{"value":{"amount":"+0.7890180349349976","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":"Q1182933$45CF9677-B9EA-4A5D-806A-1FFF0A41EA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01965652e96a4708e08612beb8a1024462e9a0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4378252,"id":"Q4378252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ea0f200a0b538d85d716b918687b419e2bc24d","datavalue":{"value":{"amount":"+0.7860058546066284","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":"Q1182933$C5BDCC31-4C4E-46AB-9A02-8673180D45FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b01461938d328275ccbddb2ca39b48661e10be2c","datavalue":{"value":{"entity-type":"item","numeric-id":1207679,"id":"Q1207679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f81411c61611c6ebc1b9284ac1d4c08c8b1af0","datavalue":{"value":{"amount":"+0.7805152535438538","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":"Q1182933$9C2364D3-27D6-4895-BBAC-5CD52E8014F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a02c3726c5ad3e547cc6184d324ee4b2efc062","datavalue":{"value":{"entity-type":"item","numeric-id":4805426,"id":"Q4805426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb11072b7b5a6a65a500aaba020da6d3d59296bc","datavalue":{"value":{"amount":"+0.7795586585998535","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":"Q1182933$D7E28EAC-FA55-48D5-B11A-1A307FB0D818","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Laws in a class of groupoids","badges":[]}}}}}