{"entities":{"Q1813826":{"pageid":1824568,"ns":120,"title":"Item:Q1813826","lastrevid":73017006,"modified":"2026-04-14T09:24:56Z","type":"item","id":"Q1813826","labels":{"en":{"language":"en","value":"The minimal ideal of compact subsemigroups of \\(\\beta S\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5218"}},"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":"Q1813826$BE514698-3C3E-4B9D-9BD5-7E8CD5EBF2B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bbedb9c50730ae59a2a5d49494bf22f1fcfe71e","datavalue":{"value":{"text":"The minimal ideal of compact subsemigroups of \\(\\beta S\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813826$2D33F733-89CE-4CB4-8B52-C143A82F3228","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7497128089a46c61e6030d1637ed5da70cb7def","datavalue":{"value":"0842.22001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813826$AF315DDE-FF0B-475D-B0AE-28259ADD5A26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31c40cf6b151b421c2d1bdd5d29ebb0c760a0604","datavalue":{"value":"10.1007/BF02573391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813826$B8451548-61E0-4FDF-9936-6E9503E14DEE","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":"Q1813826$B475BB51-B95A-4919-8F47-64BAFE7FF5FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-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":"Q1813826$253A4ED2-317F-401F-BD73-FC9AF973F248","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38d90d98c2d91862f4f5b5665029cb24d8007462","datavalue":{"value":"https://eudml.org/doc/135049","type":"string"},"datatype":"url"},"type":"statement","id":"Q1813826$FFBA7E46-D28E-4AC8-A9D4-0849497F22A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b3bcc4ee80276ea06ad8b0d2143e64fa010c667","datavalue":{"value":"Throughout this paper \\((S,+)\\) will be a discrete semigroup and \\(\\mathcal A\\) will be a filter on \\(S\\). We view \\(\\beta S\\), the Stone-\u010cech compactification of \\(S\\), as the set of ultrafilters on \\(S\\), each point \\(x \\in S\\) being identified with the principal ultrafilter \\(e(x) = \\{A \\subseteq S : x \\in A\\}\\). We will denote \\(e(x)\\) by \\(x\\), when this is not likely to cause confusion. The left-continuous extension of the binary operation on \\(S\\) will be denoted by +. So given \\(p\\) and \\(q\\) in \\(\\beta S\\), \\(p + q = \\{A \\subseteq S : \\{x \\in S : A - x \\in p\\} \\in q\\}\\) where \\(A - x = \\{y \\in S : y + x \\in A\\}\\). For \\(A \\subseteq S\\), we let \\(\\overline{A} = \\{p \\in \\beta S : A \\in p\\}\\). The set \\(\\{\\overline{A} : A \\subseteq S\\}\\) forms a basis for the open sets for \\(\\beta S\\). The set of all ultrafilters that contain our given filter \\(\\mathcal A\\) will be denoted by \\(\\overline{{\\mathcal A}}\\), that is \\(\\overline{{\\mathcal A}} = \\{p \\in \\beta S : {\\mathcal A} \\subseteq p\\}\\). See [\\textit{J. Berglund} and \\textit{N. Hindman}, Trans. Am. math. Soc. 284, 1-38 (1984; Zbl 0548.22002)] and [\\textit{N. Hindman}, Ultrafilters and combinatorial number theory. Number Theory, Proc. Conf., Carbondale 1979, Lect. Notes Math. 751, 119-184 (1979; Zbl 0416.10042)] for a more thorough discussion of \\((\\beta S, +)\\).   One can easily show that \\(\\overline {\\mathcal A}\\) is closed in \\(\\beta S\\). Moreover, if \\(K\\) is a closed subset of \\(\\beta S\\), then there exists a filter \\(\\mathcal F\\) such that \\(\\overline{\\mathcal F} = K\\). In section 2 we characterize compact ideals and compact subsemigroups of \\(\\beta S\\) via filters. -- \\textit{N. Hindman} [Semigroup Forum 21, 221-255 (1980; Zbl 0448.22004)] characterized the minimal right ideals and minimal ideals of \\((\\beta \\mathbb{N},+)\\) and \\((\\beta \\mathbb{N},\\cdot)\\). Furthermore, in [Rocky Mt. J. Math. 16, 685-701 (1986; Zbl 0624.22001)] \\textit{Hindman} characterized the minimal right ideals and minimal ideals of \\(U_{\\kappa} (S)\\) the set of \\(\\kappa\\)-uniform ultrafilters of \\(S\\), provided \\(U_\\kappa (S)\\) is a subsemigroup (an ultrafilter \\(p\\) is a \\(\\kappa\\)-uniform ultrafilter if \\(\\min\\{|A|: A \\in p\\} \\geq \\kappa\\) where \\(\\kappa \\geq \\omega\\) or \\(\\kappa = 1\\)). In section 3, we characterize the minimal right ideals and the minimal ideal of any compact subsemigroup of \\(\\beta S\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813826$B469CF30-A507-4DAC-BBA7-00FA11E84E82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813826$63A7B3EE-A183-4DFC-A340-A39E78B8270D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fad2bcc3a05f03f6e425cae173a26f34e25ab68","datavalue":{"value":"5218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813826$C57A0EDC-70EE-40E7-8030-0D75E0D2A859","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813826$0D726193-96C1-445A-8AFA-B0CA4AE3EE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813826$D4A03EDD-A8BF-43F1-A61A-8252842B94CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c29f5fc625c744e934f436a6a0be4da3efbea97","datavalue":{"value":"Stone-\u010cech compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813826$AB696901-8DF5-421C-B761-1EF0080A2A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9256724b8e750d74d5ea25645b17fc8bb369e885","datavalue":{"value":"ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813826$D97BF564-B6CF-482F-BEA1-9BC04326364E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b728b8ab4a2c5706368cbbd2dcbc0893cd2bc236","datavalue":{"value":"minimal ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813826$E6BC3F78-B290-41A7-BEFC-550476B7E85D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8485bd1390e7b78c6796a87f67962f4e0f16d4e","datavalue":{"value":{"entity-type":"item","numeric-id":427470,"id":"Q427470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813826$20E46C58-43E1-4FF9-8587-22B4CA69C569","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":"Q1813826$D2C8CDD5-9441-426F-9D0A-3AAEE9DF8600","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"076096853c8cff956f92c078c4fd83f2d4548e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3341060,"id":"Q3341060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813826$0CBAD28B-FB27-4DC4-88F6-B01F3E608A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cae99be17549a7a1f5a5794d113e3cc11fe7bd","datavalue":{"value":{"entity-type":"item","numeric-id":1257557,"id":"Q1257557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813826$BFD3354E-39B3-4A15-A59C-B998D296D3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b9ef438681553912b4fb2ef243f0c893478aa1","datavalue":{"value":{"entity-type":"item","numeric-id":1146774,"id":"Q1146774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813826$49BE57FF-1F41-4552-A8AF-154FD3021828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c99580b96aa14c2a1abbcc2bf33bfdeda906dd","datavalue":{"value":{"entity-type":"item","numeric-id":1092176,"id":"Q1092176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813826$B4C32CBA-2F00-4CDA-90D6-A577A98D96FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2848a9c7056a5813c1868b13281268c9a25219","datavalue":{"value":{"entity-type":"item","numeric-id":3205333,"id":"Q3205333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813826$101858A9-21BA-482A-9C8F-B6C1F667FF06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a911d4bef74a7edf1582f5a942ba72c0179eeb2a","datavalue":{"value":"W2074156971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813826$A61AF9CF-0A9D-4426-86C3-3CBB19433312","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ba341054a1dcc1421d05b307fb66d0d50b3e09","datavalue":{"value":{"entity-type":"item","numeric-id":2655458,"id":"Q2655458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b74b11230e2346ab6570c05dafa1d0d1121331","datavalue":{"value":{"amount":"+0.8902132511138916","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":"Q1813826$57ECB731-3A35-4880-8A55-E6B3D9A794E4","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":"7a2210fa94f3baa037ab27a38369cc260f48d96d","datavalue":{"value":{"amount":"+0.8678191304206848","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":"Q1813826$2D601E2B-3914-4E2D-81D4-CC911B4D6414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d2d880e91da95982e7d3206e6b2784d2601672","datavalue":{"value":{"entity-type":"item","numeric-id":1065164,"id":"Q1065164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6beb4a154c55fafa12c4474bb430535c52e4b151","datavalue":{"value":{"amount":"+0.8637136816978455","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":"Q1813826$5387425A-9355-47D0-AED4-FBCC6EACA6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01805627bd4e54571ea88f4c81c52080e8ecd7b5","datavalue":{"value":{"entity-type":"item","numeric-id":757608,"id":"Q757608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932f84457f93023230255302d607cebf6e577199","datavalue":{"value":{"amount":"+0.850803017616272","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":"Q1813826$BE8E6EDA-A8E0-4AB7-B7EC-C4BCDA833B37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The minimal ideal of compact subsemigroups of \\(\\beta S\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_minimal_ideal_of_compact_subsemigroups_of_%5C(%5Cbeta_S%5C)"}}}}}