{"entities":{"Q5952247":{"pageid":8129049,"ns":120,"title":"Item:Q5952247","lastrevid":47721445,"modified":"2026-01-02T12:55:01Z","type":"item","id":"Q5952247","labels":{"en":{"language":"en","value":"On subsemigroups of \\(\\beta\\mathbb{N}\\) and absolute coretracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1688643"}},"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":"Q5952247$240369E6-E356-4F30-891A-2243CC87CC6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05949d76287ac22b43ba4af4b5fb00fe7f8187b6","datavalue":{"value":{"text":"On subsemigroups of \\(\\beta\\mathbb{N}\\) and absolute coretracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5952247$F217B063-C2BE-4D9D-B344-D8611CC9062F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d4161e57a4403d1044a7ff005e6bf9962534f7f","datavalue":{"value":"1009.22005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952247$D798A1C1-C132-40C1-88AA-EEA39E7DF310","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6921673d165fceb50255eebf86074934695b4c0b","datavalue":{"value":{"entity-type":"item","numeric-id":222337,"id":"Q222337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952247$7FB6BCDF-7A56-408B-A4A9-1CF65459B09D","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":"Q5952247$341FDCD3-E956-4C55-8D1D-E2BC8A10C948","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09a2785f3a7fb107a15da6cdfc4554da314b6c03","datavalue":{"value":{"time":"+2002-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5952247$877FC649-BA0D-4453-8BE4-9C5EF85CC2EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1e755742777a917265e8bd3bb7f6701a2998b03","datavalue":{"value":"A semigroup \\(S\\) is called (weak) absolute coretract if for any continuous homomorphism \\(h\\) from a (finite) compact Hausdorff right topological semigroup \\(T\\) onto a compact Hausdorff right topological semigroup containing \\(S\\) algebraically there exists a homomorphism \\(s:S\\to T\\) such that \\(h\\circ s=id_S\\). According to Corollary 6.5 of [\\textit{N. Hindman} and \\textit{D. Strauss}, Algebra in the Stone-\u010cech compactification, De Gruyter, Berlin (1998; Zbl 0918.22001)], the semigroup \\(\\beta\\mathbb N\\) contains an isomorphic copy of each countable absolute coretract. The author defines a class \\(\\mathcal C\\) of countable absolute coretracts and proves that each finite weak absolute coretract semigroup of idempotents belongs to \\(\\mathcal C\\). This implies that a finite weak absolute coretract semigroup of idempotents is an absolute coretract and consequently embeds into \\(\\beta\\mathbb N\\). This result answers a question of [\\textit{N. Hindman}, Math. Jap. 44, 581-625 (1996; Zbl 0917.54031)] and yields many non-trivial examples of finite subsemigroups in \\(\\beta\\mathbb N\\).    The class \\(\\mathcal C\\) is defined as a collection of some special subsemigroups of the semigroup \\(V\\) whose elements are ordered pairs of words of the form \\((i_1i_2\\cdots i_p,\\lambda_p\\lambda_{p-1}\\cdots\\lambda_1)\\), where \\(i_k,\\lambda_k\\in\\omega\\), with the semigroup operation defined for pairs \\(x=(i_1\\cdots i_p,\\lambda_p\\cdots\\lambda_1)\\), \\(y=(j_1\\cdots j_q,\\rho_q\\cdots\\rho_1)\\) by \\(xy=(i_1\\cdots i_p,\\rho_p\\cdots\\rho_1)\\) if \\(p=q\\), \\(xy=(i_1\\cdots i_p,\\lambda_p\\cdots\\lambda_{q+1}\\rho_q\\cdots\\rho_1)\\) if \\(p>q\\) and \\(xy=(i_1\\cdots i_pj_{p+1}\\cdots j_q,\\rho_q\\cdots\\rho_1)\\) if \\(p<q\\). A subset \\(C\\subset V\\) is said to satisfy property \\(Z\\), if for each \\((i_1\\cdots i_t0\\cdots 0i_p,\\lambda_p\\cdots\\lambda_1)\\in C\\) (where \\(t\\) can be equal to \\(p-1\\)) we have \\(i_p\\neq 0\\) and if \\(i_t\\neq 0\\), then \\((i_1\\cdots i_t,1\\cdots 1)\\in C\\). Denote by \\(V_p\\subset V\\) the semigroup of pairs of words of length \\(p\\) and for a pair \\(x=(i_1\\cdots i_p,\\lambda_p\\cdots\\lambda_1)\\) and a subset \\(C\\subset V\\) let \\(\\overline x=(\\lambda_1\\cdots\\lambda_p,i_p\\cdots i_1)\\) and \\(\\overline C=\\{\\overline x:x\\in C\\}\\). By definition, the class \\(\\mathcal C\\) consists of all subsemigroups \\(C\\) of \\(V\\) such that (i) \\(C\\cap V_p\\) is finite for all \\(p\\), (ii) both \\(C\\) and \\(\\overline C\\) satisfy property \\(Z\\), and (iii) for every \\(t\\in\\mathbb N\\) either \\(C\\subset 1_t\\) or \\(\\overline C\\subset 1_t\\), where \\(1_t=\\{(i_1\\cdots i_p,\\lambda_p\\cdots\\lambda_1)\\in V: i_t=1\\) if \\(p\\geq t\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952247$06C50BFE-B065-4032-AC63-C4B78FECB6EC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10b95b16dd7989ad59b812a89375da65613b6b1b","datavalue":{"value":{"entity-type":"item","numeric-id":171175,"id":"Q171175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952247$38D5081A-DE2D-45B1-B139-8FB29CCF5F8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952247$AE34E151-BAF6-4FDF-8591-575F92B65532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c231f2a8391eee6faa2e6e3f3152e752850faa39","datavalue":{"value":"22A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952247$81BAE6CA-030E-4899-B6A1-FE6A56EA2C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952247$6BC1F154-AAA2-4D68-9B49-E54AC343A361","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"670589d8cd553f3f77c5da9b75a9f5c3ad32bdaf","datavalue":{"value":"1688643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952247$DD13BDDA-788C-4FA6-A91A-F194B320A370","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c29f5fc625c744e934f436a6a0be4da3efbea97","datavalue":{"value":"Stone-\u010cech compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952247$B9338E92-8768-4E88-B450-8160E7DC37B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f2162a93bfcd833dcbf1dec9d5b21bf6a6f313c","datavalue":{"value":"semigroup of idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952247$72DE1281-55E3-4B36-934C-C203F6B51E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"074a073785a1de81e58f79577bb6a0c8f70e5d3b","datavalue":{"value":"absolute coretract","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952247$794EE159-064C-4427-B290-7B4409CE7699","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":"Q5952247$7315A4BE-AE8D-4139-AE09-E1607060EBAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01333671ede751e57e8261fea5b7e8385e6dffb2","datavalue":{"value":"https://doi.org/10.1007/s002330010073","type":"string"},"datatype":"url"},"type":"statement","id":"Q5952247$E189F5ED-76CF-4B11-839D-FB9B13C38D96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1e9f5777643b7eb4cbb247791ec1c2fa1320a35","datavalue":{"value":"W1984151553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952247$8A806A72-6B33-419A-8206-26F5CD297AF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d17e97d944e41f562adb2d6cd448e4de33239fab","datavalue":{"value":"10.1007/S002330010073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952247$8803E70B-AF1E-4A38-A94C-5BA0842F899A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef50acef89e69dc349abded139b590228b261a4","datavalue":{"value":{"entity-type":"item","numeric-id":1338211,"id":"Q1338211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d1776dfda7f2507b9bbefc52e3dff5f6d2f7ba","datavalue":{"value":{"amount":"+0.753556489944458","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":"Q5952247$11E8F73A-9794-416C-97A8-BBB780F033BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed886ae1980d4b972c0c925e53d808146ba23a42","datavalue":{"value":{"entity-type":"item","numeric-id":4892733,"id":"Q4892733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a229a000a563b2d4f8263fd9b21c6cb94e3fe893","datavalue":{"value":{"amount":"+0.7534160614013672","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":"Q5952247$F00CCFEF-EC4F-4399-AD55-387391D6B908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91639c46f4688a02d863f61a53d59beccec37e0","datavalue":{"value":{"entity-type":"item","numeric-id":5441908,"id":"Q5441908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4360349eed703fa32bca8dff31fe4a084b34e79","datavalue":{"value":{"amount":"+0.7529929876327515","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":"Q5952247$3A6FA6EB-C261-45BF-ACE9-D5F3B8634AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a61cb70ea306d0ad52333375ee767b548a3d3b","datavalue":{"value":{"entity-type":"item","numeric-id":3182150,"id":"Q3182150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbd08c8cccfe2b4dadcf450c2d2bae7c3a68b0a","datavalue":{"value":{"amount":"+0.7440024614334106","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":"Q5952247$47D4614A-3F04-488A-81AC-397ADC53BE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91478bd7c1e3c633cf6cad314649429e288864e7","datavalue":{"value":{"entity-type":"item","numeric-id":791681,"id":"Q791681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3834c9132430131671510d7db29837a2d4d374eb","datavalue":{"value":{"amount":"+0.733916163444519","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":"Q5952247$9559852F-1854-4E5E-9A56-8935C997387D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5952247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5952247"}}}}}