{"entities":{"Q2655458":{"pageid":2666201,"ns":120,"title":"Item:Q2655458","lastrevid":50886056,"modified":"2026-01-15T14:22:54Z","type":"item","id":"Q2655458","labels":{"en":{"language":"en","value":"The closure of the smallest ideal of an ultrafilter semigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5662390"}},"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":"Q2655458$15E3E08B-C11C-48B6-951A-FF86FE43169E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f687d21a3379bce950554570347cb7e616953e95","datavalue":{"value":{"text":"The closure of the smallest ideal of an ultrafilter semigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655458$4B230A8E-4FE8-442D-991B-B51D9DBB564B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"532471cca606cfb571e3d1021533938cebb64148","datavalue":{"value":"1184.22001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655458$23DA3A30-7CBC-4351-81AB-50AFCEC6AC0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc82ec48fa0bd0ae08a9682cceccaf3394d27427","datavalue":{"value":{"entity-type":"item","numeric-id":535215,"id":"Q535215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655458$5F1F6DC0-64E0-4918-A989-8019D4F87C04","rank":"normal"},{"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":"Q2655458$67D8EFC1-8C31-4037-973D-BF2A927C20CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c062d0c237ebc5021f597b185a0a75b7c4af2dd3","datavalue":{"value":{"entity-type":"item","numeric-id":372341,"id":"Q372341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655458$B8EA25F2-4D60-44BB-9198-411AB45FFD7D","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":"Q2655458$2BBD0C9C-9E15-4D5D-B81F-A6AE3D6A1271","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeda675146eaac960e312504b1b7dd784f800a08","datavalue":{"value":{"time":"+2010-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2655458$D3645D40-12AE-4243-9B9B-97FAB87D2A2D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"be69d8935a726d78320bc91a47d6cf2ab4cb0757","datavalue":{"value":"Given a discrete semigroup \\(S\\), the operation can be naturally extended to the Stone-\u010cech compactification \\(\\beta S\\) of \\(S\\) making \\(\\beta S\\) a compact right topological semigroup with \\(S\\) contained in its topological center. The points of \\(\\beta S\\) are taken to be the ultrafilters on \\(S\\), the principal ultrafilters being identified with the points of \\(S\\). As any compact Hausdorff right topological semigroup, \\(\\beta S\\) has a smallest two sided ideal \\(K (\\beta S)\\) which is a disjoint union of minimal right ideals and a disjoint union of minimal left ideals. The closure \\(cl K(\\beta S)\\) of \\(K (\\beta S)\\) is also a two sided ideal.   The ultrafilters from \\(K (\\beta S)\\) and \\(cl K (\\beta S)\\) have nice combinatorial characterizations which have been extended to certain important closed subsemigroups of \\(\\beta S\\), namely to \\(\\mathbb{H} \\subset \\beta\\mathbb{N}\\) and \\(0^{+} \\subset \\beta\\mathbb{R}_d\\) (the additive group of the reals with the discrete topology) where \\(\\mathbb{H} =\\bigcap_{n \\in \\mathbb{N}}\\overline{2^{n}\\mathbb{N}}\\) and \\(0^+ =\\bigcap_{n \\in \\mathbb{N}} \\overline{I_n}\\), \\(I_n = (0, \\frac{1}{n})\\).  It came to be known that unlike \\(cl K(\\beta S)\\), \\(cl K(\\mathbb{H})\\) is not a left ideal of \\(\\mathbb{H}\\). The question for \\(0^+\\) remained open. In this paper the authors first extend the above combinatorial characterizations to an arbitrary closed subsemigroup \\(T\\) of \\(\\beta S\\) with the help of a notion called piecewise syndetic.  Then they show that for a large class of closed subsemigroups \\(T\\) of \\(\\beta S\\), \\(cl K(T)\\) is not a left ideal of \\(T\\). In particular this includes \\(0^+\\) giving an answer to the unsolved problem. Also it includes a special type of subsemigroup \\(\\mathbb{H}_\\kappa\\) of \\(\\beta (\\oplus_\\kappa, \\mathbb{Z}_2)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655458$DE0B155E-CC24-43D4-A1C7-188EEEAB4777","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655458$ED07B871-5133-4CDE-ACDC-CE36D477B879","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"142ce31d1d3def453489cae28d8e86ed85671ef1","datavalue":{"value":"5662390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655458$7BFA29D8-3032-4A17-9D26-30D3D3DFA1D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c29f5fc625c744e934f436a6a0be4da3efbea97","datavalue":{"value":"Stone-\u010cech compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655458$33552665-E3DA-4820-A4F8-0A6C36CDDF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55ffacffec91d0c7911c6ef20e320a74404bd7a","datavalue":{"value":"ultrafilter semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655458$20EA2811-8253-48A9-B6A1-2B08B5E5FAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4aacd31df8c7f72b925ba9011b47139dbb3307e","datavalue":{"value":"smallest ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655458$8E0CAB0F-8137-4290-85A8-1863120C664F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5c1c11888d58a95f058162538790ccc84513ca","datavalue":{"value":"piecewise syndetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655458$E1BC4A5E-D4A8-4A1B-AD56-136EF8BDD68F","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":"Q2655458$9C5BB918-2133-4481-97E8-9168239727B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d4bd8beef78f7110345eb1dc2deeb21a34d5b12","datavalue":{"value":"https://doi.org/10.1007/s00233-009-9173-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655458$555F1581-2B91-45CE-B8CF-2963D4041BD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b7e53af655c13f2f1b7853eb0f38e1600ca07e2","datavalue":{"value":"W2083891911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655458$1297E49C-63E2-4D13-8CBE-7EF9A46C2337","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e707a8654662930c682a5244c577e51c4d80214e","datavalue":{"value":{"entity-type":"item","numeric-id":1065164,"id":"Q1065164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655458$EB1AF6D3-ED94-4DE4-8E40-3F6ED53D5C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3aea30c2f12ed1132d0742521b6290f6ec7aedb","datavalue":{"value":{"entity-type":"item","numeric-id":1300535,"id":"Q1300535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655458$18B9F79F-958D-49EA-AAF8-DCB0E0217C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693cd72b7d67705854cca4c0d84a2aa9f721ffe0","datavalue":{"value":{"entity-type":"item","numeric-id":1266503,"id":"Q1266503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655458$8C936051-A2BB-4D06-B6F2-FE62F91B5A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040a768e08ad1d8c4252fc84a178bc4a19b838ce","datavalue":{"value":{"entity-type":"item","numeric-id":864448,"id":"Q864448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655458$B4A1CA38-8484-467D-953F-48D7C6F4F454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b324d42fb191707342beb69bb735f934530b4b23","datavalue":{"value":{"entity-type":"item","numeric-id":3516820,"id":"Q3516820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655458$C323ED03-7C53-4F0C-BFE3-AF52DCE376BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d68912c2f1f0cdb6115f8958861e1eec2b38e55","datavalue":{"value":"10.1007/S00233-009-9173-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655458$75C94B01-B2B5-4798-B189-0F500E08C07A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a7ef927f946b886e31d54b8ad78f821dcdec22","datavalue":{"value":{"entity-type":"item","numeric-id":1813826,"id":"Q1813826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b29c78753f36db90883dac022b13ed36fb132d0","datavalue":{"value":{"amount":"+0.8657878041267395","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":"Q2655458$BA34EE8C-DA01-4045-938D-763C140F18A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d94e0f914033fa30f7c4b2d681cacfd2d095a0","datavalue":{"value":{"entity-type":"item","numeric-id":1092176,"id":"Q1092176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5058f86818504dc4116d937cfee52143968c1d","datavalue":{"value":{"amount":"+0.8656212091445923","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":"Q2655458$96E0F28B-AAC8-4ABD-B89A-8D102D62312C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb09c9f0569978baaa1ecf4d2f4300faf65909e7","datavalue":{"value":{"entity-type":"item","numeric-id":1032908,"id":"Q1032908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25efb3de5e91839295b9c4314416a74a565d714f","datavalue":{"value":{"amount":"+0.8451501727104187","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":"Q2655458$0D602CC7-BE83-454F-AC03-C4311F4CEE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc2854613814b1b7dfc7d7e70666ca6375874e2f","datavalue":{"value":{"entity-type":"item","numeric-id":554438,"id":"Q554438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c30ea7aead85d1a70f2acbc95dea592fb71640b","datavalue":{"value":{"amount":"+0.838550865650177","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":"Q2655458$F99BF54F-59A7-41FC-8D78-DD5667AF5B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae7185737c0061adc22309b1b8b98272b983ad9","datavalue":{"value":{"entity-type":"item","numeric-id":2373423,"id":"Q2373423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7de3b182bffc2d4eacf163d1904824e48ff0026","datavalue":{"value":{"amount":"+0.822067379951477","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":"Q2655458$8855465F-AEEE-4404-A37D-7BF5193F0D90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2655458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2655458"}}}}}