{"entities":{"Q914849":{"pageid":916697,"ns":120,"title":"Item:Q914849","lastrevid":65314509,"modified":"2026-04-12T01:44:32Z","type":"item","id":"Q914849","labels":{"en":{"language":"en","value":"Embedding any countable semigroup in a 2-generated congruence-free semigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150514"}},"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":"Q914849$06E9C3C6-D3A8-4E15-97F9-F1E60EC89F87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa271ce33dc12dfdc194c3377aa7bee3829c0a8f","datavalue":{"value":{"text":"Embedding any countable semigroup in a 2-generated congruence-free semigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914849$F984F984-E968-4E84-9185-98FF4CF04946","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a67a9d915a4871763fc940a3155ae0d237990dde","datavalue":{"value":"0702.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914849$0160DBCE-BEAE-4544-BBD7-2F53878E8F9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"285fd90e577b3f02ab1d7e555b96fffb8f10ca45","datavalue":{"value":"10.1007/BF02573385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914849$68459038-49BC-4CE3-BAE5-84CFA0CD421C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d6dabbfd4439bcdfeeeccb0e24ce64fd2cd85b","datavalue":{"value":{"entity-type":"item","numeric-id":914848,"id":"Q914848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$68241AE6-C993-4977-BBCA-AD5DA20E7942","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$95A3B2A2-D954-4E70-941A-6BE1C7524D4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q914849$5570825B-2B82-4FA8-B77D-B0D57316A0D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfb1b5ab6e75095571ed7de92fe9dab45ba4ccd8","datavalue":{"value":"https://eudml.org/doc/135043","type":"string"},"datatype":"url"},"type":"statement","id":"Q914849$A1EB115A-C52D-497C-B2FC-EBD94C9B47EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2965cb1580489a528df0c4298b7b9581ea215789","datavalue":{"value":"Let (S,.) be a semigroup and A, B sets which are mutually disjoint and disjoint from S. Let \\(\\alpha: A\\times S\\to A\\), \\((a,s)\\to a\\triangleright s\\) and \\(\\beta: S\\times B\\to B\\), \\((s,b)\\to s\\triangleleft b\\) be right and left semigroup actions, respectively. Let \\(P=(p_{a,b})\\) be an \\(A\\times B\\)-matrix with entries in \\(S\\cup A\\cup B\\) such that \\(p_{a\\triangleright s,b}=p_{a,s\\triangleleft b}\\) for all \\(a\\in A\\), \\(b\\in B\\) and \\(s\\in S\\). Then \\({\\mathcal C}(S;\\alpha,\\beta;P)\\) is the semigroup generated by the elements of \\(S\\cup A\\cup B\\) subject to the defining relations \\(ab=p_{a,b}\\), \\(as=a\\triangleright s\\), \\(sb=s\\triangleleft b\\), \\(st=s.t\\), for all \\(a\\in A\\), \\(b\\in B\\), s,t\\(\\in S\\). One can show that the mapping \\(S\\to {\\mathcal C}(S;\\alpha,\\beta;P)\\), \\(s\\to s\\), is an embedding. If S contains an identity, then a modification of the above construction yields a monoid \\({\\mathcal C}^ 1(S;\\alpha,\\beta;P)\\) so that again \\(S\\to {\\mathcal C}^ 1(S;\\alpha,\\beta;P)\\) is a monoid embedding.    Properties satisfied by \\(\\alpha\\), \\(\\beta\\) or P translate into properties enjoyed by \\({\\mathcal C}(S;\\alpha,\\beta;P)\\) or \\({\\mathcal C}^ 1(S;\\alpha,\\beta;P)\\). Using the above construction the author proves the following remarkable results: 1. any [countable] semigroup can be embedded in a [2-generated] congruence free bisimple semigroup with identity, 2. any [countable] semigroup without idempotents can be embedded in a [2-generated] congruence free semigroup without idempotents.","type":"string"},"datatype":"string"},"type":"statement","id":"Q914849$B45EE151-576D-4D69-9CA7-130C92B1A828","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914849$A9AC941C-BECB-41F9-84ED-7C4CB63C333E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914849$DF09664F-6CF8-4ED8-A0CF-5C29DEEAC016","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e2e57d9bba2d3f1326e22ea7fc83608511b4b27","datavalue":{"value":"4150514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914849$7D7C8DC0-92E8-437F-A603-17927FC4F6A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e73a2f146136b5248618c92e0def0f01e98ed72","datavalue":{"value":"embedding theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q914849$C642F4F0-AD64-43BC-AEBD-BBA837A3911C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"670d2ff1cd6eb7ead60fbda12f2415bd45f75386","datavalue":{"value":"2-generated semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q914849$045F42B6-E0D5-4C60-8467-B749E17ACDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67084131dceb98ce75018e53408d8ac7ed03926","datavalue":{"value":"semigroup actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q914849$F3B175F0-DC9B-4E7E-8C9B-850B2F57D2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b95c7182255c8e0e8ecfdca7f5a7528a1c597e","datavalue":{"value":"defining relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q914849$8648BA2B-A47A-4B03-8746-CBC35FC21CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066b49b5af97b20acbd2cfda4c14865688861335","datavalue":{"value":"monoid embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q914849$B25C1199-C6D8-43EE-9E3B-224B2B68EF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76be3e38e5777e1867d22d2620667018deefe118","datavalue":{"value":"congruence free bisimple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q914849$B6544C63-EC88-4B26-BF82-BF170BB87406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d24ca398b9316e5860c5a9239e0acea7db36a9","datavalue":{"value":"congruence free semigroups without idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q914849$D80E9ECD-24BA-4BE2-82BC-258EC6076B69","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eee9bd9c9ab6ed5b7dd1e7910ae950215efafcc9","datavalue":{"value":{"entity-type":"item","numeric-id":744857,"id":"Q744857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$6F686FDB-47EA-431F-9AC9-EEE8F791339A","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":"Q914849$6F39B004-97B1-41EE-96AA-766C9B2F1645","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b8f60e0cd3c4365199ff7a30d1592857f4449e","datavalue":{"value":{"entity-type":"item","numeric-id":3248988,"id":"Q3248988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$379FE0B8-70A5-4783-B15F-9D2F48172918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2f0e3a68bce3d8a3e76cd3e46a3652ba39a5598","datavalue":{"value":{"entity-type":"item","numeric-id":3324157,"id":"Q3324157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$485E9BE4-93A4-4FAB-B9B9-99F451FDBB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f716045dfd388585fbc8809fed50b600c74872d7","datavalue":{"value":{"entity-type":"item","numeric-id":3785047,"id":"Q3785047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$B0300D9D-D15E-45F5-A55B-3A1CADFE1A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$058301AF-11F5-47A3-B43C-3F0F1A4BD611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8480f9b7cca0afebe6be2c272287f1bb0eeb7fe0","datavalue":{"value":{"entity-type":"item","numeric-id":5812217,"id":"Q5812217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$3511C1C2-3937-41F3-BFB6-8277E6FCD213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b33aa578a1f59cdd2181012c3e2ea301ba21dc","datavalue":{"value":{"entity-type":"item","numeric-id":4063641,"id":"Q4063641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$8D7639B2-B82A-4FEF-940C-2059451B3CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2c4ac0c1ce32f8eff26a597392e2a766f0e3b4","datavalue":{"value":{"entity-type":"item","numeric-id":3885931,"id":"Q3885931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$B4F1141A-A165-4C63-A461-8C257C240331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd87b1d13b9bbbb5254e71191fd35484a3ec4c5","datavalue":{"value":{"entity-type":"item","numeric-id":3904789,"id":"Q3904789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$48550103-AC76-40AB-8126-4F579132B07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$A501D7DC-62ED-4481-831A-1036EE21953C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e176aba979691a99909dfc5e438331e1fafa573d","datavalue":{"value":{"entity-type":"item","numeric-id":1070360,"id":"Q1070360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$7B642E90-CB0E-447A-B6CD-8E7FF1BFD7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$3E15C293-1FD9-4CF1-AB46-25DB3D4080EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8f51fda0d7d53966cef93cf1d3242840e458f7","datavalue":{"value":{"entity-type":"item","numeric-id":1845087,"id":"Q1845087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$AD1B5227-AB6C-4C54-B918-AD6673521B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c63ef4cec7bb7ab1960df5a888358158dc373f2","datavalue":{"value":{"entity-type":"item","numeric-id":3263735,"id":"Q3263735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$246F3E3E-5E94-4AF5-9CD4-8CF5EE84305F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88def3edd0a88257aefc5e79efbf07530432c0d","datavalue":{"value":{"entity-type":"item","numeric-id":4137344,"id":"Q4137344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914849$8ED0518E-2290-4E36-A1DE-9DF994216481","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d935c3a956e38f6d31eb1bccc1ba303ceab8aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3785047,"id":"Q3785047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599085030b7842fb5240de64b5105a3b6885faa1","datavalue":{"value":{"amount":"+0.9227665662765504","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":"Q914849$744B1448-62B5-463F-BEA5-9D1C3F9F21DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7eab39f1e4936dfa996a5d7a030dfc8421dcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3324157,"id":"Q3324157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5784be17b996a85a5bacf4bb375786dd3aaed03","datavalue":{"value":{"amount":"+0.8938294649124146","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":"Q914849$0E85A9DC-8564-412B-A0C8-0AF77456916C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490873369a28991e46e7e1a3d64a395e1f70f50b","datavalue":{"value":{"entity-type":"item","numeric-id":2438925,"id":"Q2438925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2f08ada887836cbc492b075b37ce9624de522a","datavalue":{"value":{"amount":"+0.8131744265556335","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":"Q914849$3DFD286C-93CD-4DB9-BE40-D258738228C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9bff28bdf1787f05c1f5e8fb4524a722dca2a1","datavalue":{"value":{"entity-type":"item","numeric-id":1421247,"id":"Q1421247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f766d59a94c71b855ec37eef18e60da48491b6","datavalue":{"value":{"amount":"+0.7948898673057556","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":"Q914849$5618554E-2517-4ED3-93F7-B858F68E6AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5794c658b271bbd756cf6218a6d467cd947cedb8","datavalue":{"value":{"entity-type":"item","numeric-id":3329650,"id":"Q3329650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abcfc1bdebfac6718d1110f5cf42a5c1589a45c8","datavalue":{"value":{"amount":"+0.7892329692840576","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":"Q914849$ED2B128B-866D-4F62-9975-8E520A0CC378","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding any countable semigroup in a 2-generated congruence-free semigroup","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_any_countable_semigroup_in_a_2-generated_congruence-free_semigroup"}}}}}