{"entities":{"Q1380764":{"pageid":1391504,"ns":120,"title":"Item:Q1380764","lastrevid":68589288,"modified":"2026-04-13T00:45:59Z","type":"item","id":"Q1380764","labels":{"en":{"language":"en","value":"Comultiplication on monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1127598"}},"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":"Q1380764$B9C43A4A-92E9-4949-8FE8-FBD1CF6A52DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c41008c3971d15f9cc80ff43f98149d057241c9f","datavalue":{"value":{"text":"Comultiplication on monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380764$899D9E02-F4F8-49BE-A9C9-6D61F564E77C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13cc10936e39f07d4712fbf53591ce93365a28cd","datavalue":{"value":"0893.20042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380764$EDD84E7E-3C66-446C-98A7-CEA0CCB16612","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbebecb461aedcd00c909334f1f3b7cb81147959","datavalue":{"value":"10.1155/S0161171297001099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380764$2F71ED19-B7F0-47D9-8998-C90F335C4C1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"603b82af0563c83af86a20cf82599427e1701986","datavalue":{"value":{"entity-type":"item","numeric-id":175201,"id":"Q175201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380764$507E4A3D-0BA7-4AFD-9727-68355405C3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4438df567402e65a22b408e720db80b32c07eacc","datavalue":{"value":{"entity-type":"item","numeric-id":1184021,"id":"Q1184021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380764$6CFA0BB6-C71D-488B-B428-C02558CBAFA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380764$B6037A4A-4616-47DE-905C-1588ADEFB4D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50be06f6d092f252de9c2eaf3f0ef4dc9d82808c","datavalue":{"value":{"time":"+1998-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1380764$6818CF5B-F4FB-4558-856A-FE574ACB0ACB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4117aff5192b72cfb5dadbe82cbdde5e69ddcdc8","datavalue":{"value":"https://eudml.org/doc/47923","type":"string"},"datatype":"url"},"type":"statement","id":"Q1380764$B049BA17-5053-45AB-A986-608CC8425E0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0be7c9a29d401c3f09893f7599c7bc80f5993d2d","datavalue":{"value":"A comultiplication on a monoid \\(S\\) is a homomorphism \\(m\\colon S\\to S*S\\) (the free product of \\(S\\) with itself) whose composition with each projection is the identity homomorphism. A monoid \\(S\\) is said to have the inverse (equidivisibility) property if whenever \\(a,b\\in S\\) and \\(ab=1\\), then \\(ba=1\\) (if, respectively, the equation \\(ax=by\\) in \\(S\\) implies that either there exists a \\(c\\in S\\) such that \\(a=bc\\) and \\(cx=y\\) or there exists a \\(d\\in S\\) such that \\(b=ad\\) and \\(x=dy\\)). It is proved that a monoid \\(S\\) having the inverse property admits a comultiplication if and only if \\(S=U*M\\), where \\(U\\) is a free group and \\(M\\) is a free monoid. It is also shown that a monoid which satisfies the inverse property and has a comultiplication is cancellative and equidivisible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380764$A2855F06-C0B1-4703-B5A5-EF6C082B0C6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380764$F1874D20-D0A7-4E23-88BE-695A9AF29AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380764$709017BA-493D-460B-BCDA-6B03A726E592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380764$7D336DB4-D5DD-48EE-84CC-2BA45878B05F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20d5a6ec03b77c5c35941d476902fa04a8c623a0","datavalue":{"value":"1127598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380764$D54E25C3-8B24-480F-AAF4-75C2CC3DC324","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e18c623eba5d62005ca69b5291a3d005a51283c","datavalue":{"value":"free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380764$E442166D-6D64-404B-AD6F-2C1FDBD533AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07a95e7a36d61cf4ef26ffe4e670c35830f2b439","datavalue":{"value":"inverse property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380764$40D81CA6-90F2-4322-AB84-B0EB3D1E8694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75292728c112334f615516b61eba7b10be598027","datavalue":{"value":"cancellativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380764$AA1A0EDD-61BA-4320-AA52-04B7F92BD9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cef386331fec96ec3dbd9d470981967efb35f15","datavalue":{"value":"equidivisibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380764$84EB1844-048F-4481-8A85-0418ECFEA013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08077b0774d37733cad1b4ae87e50536630f4b1f","datavalue":{"value":"semi-free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380764$78B26444-238B-47D7-96F9-B36D29EF1B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f430de4f0a99676b684930082f2a3e647b332788","datavalue":{"value":"comultiplications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380764$D66375FD-A0CA-4C9C-825A-F4FB06791C04","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380764$D333732A-B4BC-4EA8-A154-FD763F61DD53","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":"Q1380764$73535A87-173D-4F40-8B63-29353A5EA58B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3353527bd6d59db1e3511ad60db81ecc3593a150","datavalue":{"value":"W2001499926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380764$608AA55C-B73B-44EB-B065-2FB3C803C74A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e726f7ecfe9d6d897d5502c3fc37ad443e4929","datavalue":{"value":{"entity-type":"item","numeric-id":4382978,"id":"Q4382978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e1647b34be21b0cda24d9c0fb24b03d9777234","datavalue":{"value":{"amount":"+0.7297467589378357","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":"Q1380764$53EE3C0D-54B5-4F64-BA13-F753449A4CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953bdd97c14a38f69d7d6c127a2d884b45eec6e5","datavalue":{"value":{"entity-type":"item","numeric-id":972496,"id":"Q972496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0884017592ff667c041ac2bd660515ebde601e73","datavalue":{"value":{"amount":"+0.689323902130127","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":"Q1380764$E7F594DA-B160-43B6-BC77-ADED80438288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142aab3c841f7efb6a33dd78b9bf9b8929574a52","datavalue":{"value":{"entity-type":"item","numeric-id":5166790,"id":"Q5166790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f513f8e6589cb08c22e07a5d879257a321e9d9","datavalue":{"value":{"amount":"+0.6865211129188538","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":"Q1380764$37B96FFE-F0CE-461D-923E-71BD9BC3AD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26f808f30ac7cb2bf7643f913b09c3c7966b88a","datavalue":{"value":{"entity-type":"item","numeric-id":744853,"id":"Q744853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc46ca7da38f0172896647d0f1bb859beade5364","datavalue":{"value":{"amount":"+0.6840234994888306","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":"Q1380764$3C2BA711-3EBC-4E79-8642-B3E2EAC378DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comultiplication on monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comultiplication_on_monoids"}}}}}