{"entities":{"Q1849728":{"pageid":1860470,"ns":120,"title":"Item:Q1849728","lastrevid":71477439,"modified":"2026-04-13T22:31:33Z","type":"item","id":"Q1849728","labels":{"en":{"language":"en","value":"\\(t\\)-sets and some algebraic properties in \\(\\beta S\\) and in \\(\\ell_\\infty(S)^*\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1837425"}},"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":"Q1849728$286C0532-E3F0-4141-9EC0-DAAE684FD230","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8420e3cfc1ef6b972d314de724137e2718b7043a","datavalue":{"value":{"text":"\\(t\\)-sets and some algebraic properties in \\(\\beta S\\) and in \\(\\ell_\\infty(S)^*\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1849728$507C2A73-BA0D-4C52-A709-004DB2A91AD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f30a7bf7f368d4c8a41a70c97ac36fd392b1baf","datavalue":{"value":"1100.22002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849728$FA1D8C4A-C2BB-4889-9CD5-3B8F98C66FE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"328ac5e7009b46a5f94bf09526770aceeb888237","datavalue":{"value":{"entity-type":"item","numeric-id":302280,"id":"Q302280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849728$EE71A1B6-F105-41CF-BEE0-7173524CB888","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":"Q1849728$C67D40F8-6206-463B-843A-2BE222E117FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0678386c3121cdf68e0eb1f8c81710720679d33","datavalue":{"value":{"time":"+2002-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1849728$D4AF9DDE-92C5-498E-B85B-D7C003B9A6CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a5f71dbaed359b514f04afdc37cc5cb7a76e2ca8","datavalue":{"value":"Let always \\(S\\) be a discrete infinite semigroup, called weakly right (left) cancellative [w.r.c.\\ resp.\\ w.l.c.]\\ if \\(\\forall s,t\\in S\\colon\\{u\\in S\\mid us=t\\;(su=t)\\} <\\omega\\); weakly cancellative [w.c.]\\ if both w.r.c.\\ and w.l.c. A subset \\(V\\) of \\(S\\) is a right (left) \\(t\\)-set [r.t.\\ resp.\\ l.t.]\\ if \\( \\forall s,t\\in S\\colon s\\neq t\\Rightarrow\\) \\(sV\\cap tV\\) (\\(Vs\\cap Vt\\)) is finite; a \\(t\\)-set if both a r.t.\\ and a l.t.; a weak right (left) \\(t\\)-set [w.r.t.\\ resp.\\ w.l.t.]\\ if \\(V=S\\) and \\(\\exists\\) transfinite enumeration \\((s_\\alpha)_{\\alpha<S}\\) of \\(S\\): \\(s_\\alpha V\\cap s_\\beta V\\) (\\(Vs _\\alpha\\cap Vs_ \\beta\\)) is \\(\\leq\\alpha\\) whenever \\(\\beta<\\alpha<S\\); a weak \\(t\\)-set [w.t.]\\ if both a w.r.t.\\ and w.l.t. Extending a result of Chou, every infinite subset \\(A\\) of a group contains a \\(t\\)-set of cardinality \\(A\\). Adopting a construction of Hindman, Proposition 2.2 asserts that if \\(S\\) is r.c.\\ (l.c.)\\ and w.c.\\ then every subset of \\(S\\) of cardinality \\(S\\) contains a w.r.t.\\ (w.l.t.), even with the transfinite enumeration involved given in advance. The truth of this is in doubt. Certainly, the inference \\(s_\\gamma V \\cap s_{\\gamma'}V\\leq\\gamma\\) in the proof is false.   Let \\(S\\) be the semigroup having a presentation with generators \\(s_\\alpha\\) (\\(\\alpha=0,\\ldots,5\\)) and relations \\(s_1s_3=s_2s_5\\), \\(s_1s_4=s_2s_3\\), and \\(s_1s_5=s_2a_4\\); note that \\(S\\) is countably infinite and cancellative; extend \\((s_0,\\ldots,s_5)\\) to an enumeration \\((s_\\alpha)_{\\alpha<\\omega}\\) of \\(S\\); let \\(S_\\alpha=\\{s_\\beta\\mid\\beta<\\alpha\\}\\) for each \\(\\alpha< \\omega\\); let \\(A=\\{s_\\alpha\\mid\\alpha\\geq3\\}\\); define an injective sequence \\((a_\\alpha)_{\\alpha<\\omega}\\) of members of \\(A\\) by the condition that for each \\(\\alpha<\\omega\\), \\(a_\\alpha=s_\\beta\\) where \\(\\beta\\) is the least ordinal \\(\\geq3\\) such that \\(s_\\beta\\neq a_\\gamma\\) for all \\(\\gamma< \\alpha\\) and \\((S_\\alpha s_\\beta)\\cap(S_\\alpha a_\\gamma)=\\emptyset\\) whenever \\(\\gamma<\\alpha\\); and let \\(V=\\{a_\\alpha\\mid\\alpha<\\omega\\}\\); the proof claims that \\(V\\) is a right \\(t\\)-set, which is false since \\(s_2V \\cap s_1V\\supset\\{s_1a_\\alpha\\mid\\alpha<3\\}=\\{s_2a_\\alpha\\mid\\alpha <3\\}\\) where the right-hand side has cardinality \\(3\\), which is greater than \\(2\\). However, it is true that \\(s_\\gamma V\\cap s_{\\gamma'}V\\leq \\gamma+1\\), which is to all intents and purposes the same.   Make the Stone-\u010cech compactification [S.-\u010c.\\ c.]\\ \\(\\beta S\\) of \\(S\\) a right-topological semigroup with left translations by members of \\(S\\) continuous. For each \\(x\\in\\beta S\\) let \\(\\| x\\|\\) be the least \\(A\\) for any subset \\(A\\) of \\(S\\) such that \\(x\\in\\bar A\\). For each cardinal \\(\\kappa\\) let \\(P_\\kappa(S)\\) (\\(U_ \\kappa(S)\\)) be the set of those \\(x\\in\\beta S\\) such that \\(\\| x\\|\\) is \\( \\kappa\\) (\\(\\geq\\kappa\\)). A short proof, appealing to no prior result, is given of the fact that if \\(\\kappa\\geq\\omega\\) then if \\(S\\) is w.l.c.\\ then \\(P_{\\kappa'}(S)P _\\kappa(S)\\subset P_\\kappa(S)\\) whenever \\(\\kappa'\\leq\\kappa\\) (hence the remarkable corollary that \\(P_\\kappa(S)\\), if nonempty, is a subsemigroup of \\( \\beta S\\)) while if \\(S\\) is w.r.c.\\ then \\(P_\\kappa(S)S\\subset P_\\kappa(S)\\). If \\(S\\) w.c., \\(V\\) a r.t.\\ or w.r.t., \\(x\\in\\bar V\\), and \\(\\| x\\|=V\\) then every bounded real-valued function on \\(Sx\\) extends to a continuous function on \\( \\overline{Sx}\\) [so the S.-\u010c. c.\\ of \\(Sx\\) can be identified with \\(\\overline{Sx }\\)] (Lemma 3.2). The conclusion implies that \\(Sx\\) is discrete, but this is gotten much more easily, with only `w.l.c.' instead of `w.c.', in Lemma 3.1.  These results and others (including the extension of Lemmas 3.1 and 3.2 to \\(Sx_1 \\cup Sx_2\\) instead of \\(Sx\\) when \\(\\| x_1\\|=\\| x_2\\|\\)) pave the way for the main results:   if \\(S\\) is w.c., \\(V\\) a r.t.\\ or w.r.t., and \\(x\\in\\bar V\\) with \\(\\| x\\|=V\\) then \\(x\\) is right cancellable in \\(\\beta S\\);   if \\(S\\) is a subsemigroup of a group and \\(\\omega\\leq\\kappa\\leq{}S\\) then the set of all members of \\(P_\\kappa(S)\\) that are right cancellable in \\(\\beta S\\) has an interior in \\(P_\\kappa(S)\\) that is dense in \\(P_\\kappa(S)\\);   if either \\(S\\) is left cancellative and \\(V\\) is a r.t.\\ or w.r.t.\\ or \\(S\\) is r.c.\\ and w.c.\\ and \\(V\\) as in the proof of Proposition 2.2 then \\((\\beta S)x_1\\cap(\\beta S)x_2=\\emptyset\\) whenever \\(x_1\\) and \\(x_2\\) are distinct points in \\(\\bar V\\setminus V\\), both of norm \\(V\\);   hence Corollary 1: if \\(S\\) is cancellative, \\(V\\) a r.t., \\(x_1,x_2\\in \\bar V\\setminus V\\), \\(x_1\\neq x_2\\), and \\(\\| x_1\\|=\\| x_2\\|\\) then \\(( \\beta S)x_1\\cap(\\beta S)x_2=\\emptyset\\) (a partial confirmation of a conjecture of Chou);   if \\(S\\) is r.c., w.c., and left amenable then there are \\(2^{2^{S}}\\) left invariant means on \\(l^\\infty(S)\\) with pairwise disjoint supports of the corresponding inner regular complex Borel measures on \\(\\beta S\\) [the cardinal \\(2 ^{2^{S}}\\) cannot be improved since it is the cardinality of all of \\(l^\\infty(S )^*\\)];   with the same assumptions on \\(S\\) except amenability, every nonzero right ideal in \\(l^\\infty(S)^*\\) has dimension \\(2^{2^{S}}\\); in particular, so does the radical of \\(l^\\infty(S)^*\\) if nonzero; and more.   See also \\textit{M. Filali} and \\textit{J. S. Pym} [Bull. Lond. Math. Soc. 35, 128--134 (2003; Zbl 1027.22009)] and references therein.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849728$2504FCF6-1B79-4798-BEB3-D964ED6E0D5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849728$85B8A8AB-E2AE-4ADE-9D32-C322ADC2DC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849728$D35E2393-C4B5-4E4A-B145-68318D33BDA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"900661386c9fdf39cfda4a41b9574ee9cf8e5c56","datavalue":{"value":"1837425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849728$49DC5B94-EE9A-4913-94F2-4AA71D39181D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0bb7806ee4e79465c0138b613da0e1a1e60f2891","datavalue":{"value":{"entity-type":"item","numeric-id":168689,"id":"Q168689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849728$87178CB7-00CB-492B-AD9D-1678A05B8B6A","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":"Q1849728$66964C1C-4B98-4FDA-B908-6D7EE72184CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e0c6aed847f26adcce7f7e8e6b599f7788283c5","datavalue":{"value":"https://doi.org/10.1007/s002330010111","type":"string"},"datatype":"url"},"type":"statement","id":"Q1849728$DE8C176B-85CB-4C58-A8BD-4C2658030BE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed73ed04c0ca484d1e73e69d18bc7f257f46f6d5","datavalue":{"value":"W2072518812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849728$D6446F9F-565C-4D50-8D80-7CD1D21452C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bf48f2d639e444f0af1c5f6cc9f0883685a4806","datavalue":{"value":"10.1007/S002330010111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849728$6548B10C-DDF9-4092-B23C-376DC2E410B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cbc36686ca67b8f6780e0c4b3d0c19e908c58d","datavalue":{"value":{"entity-type":"item","numeric-id":1914086,"id":"Q1914086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8a7ff633bb7cf8cd34988aab3fd1fd170725dad","datavalue":{"value":{"amount":"+0.86407071352005","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":"Q1849728$E1CC41CF-E953-4AD7-82F0-53A660601EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f08f1229086f49d319a246a067a8ccc92687b0e4","datavalue":{"value":{"entity-type":"item","numeric-id":4424937,"id":"Q4424937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7401d944e072d57faa4cc6b020aa4585a5579f9b","datavalue":{"value":{"amount":"+0.8328872323036194","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":"Q1849728$6E4FB7F0-BF91-461F-A425-FF60FD61B6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698e20c6188c296cf030b2401e8af23d3fb5ebac","datavalue":{"value":{"entity-type":"item","numeric-id":1796315,"id":"Q1796315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3c3cab97561d4acced305fa44f5cf8e9deb00e","datavalue":{"value":{"amount":"+0.8321952819824219","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":"Q1849728$5D1F7B61-14C4-425A-9867-80A0B17FAF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23eac5a5ec50d3a62de8176850120c14fcc2efb4","datavalue":{"value":{"entity-type":"item","numeric-id":4373417,"id":"Q4373417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e110ecc246bf9ffe396835a8594bf7f3437580a","datavalue":{"value":{"amount":"+0.818928599357605","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":"Q1849728$9F9A288A-966D-4EFF-8C3E-5A4B960C635E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65beecf297da8aa12fa8eba733bb3fec613cf0c8","datavalue":{"value":{"entity-type":"item","numeric-id":734994,"id":"Q734994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c506b0b48aa0283e91140f1a4209affe9419946","datavalue":{"value":{"amount":"+0.8189281225204468","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":"Q1849728$CAEFA377-4848-4BC8-BC55-A5B69188D900","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(t\\)-sets and some algebraic properties in \\(\\beta S\\) and in \\(\\ell \\infty(S)^*\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(t%5C)-sets_and_some_algebraic_properties_in_%5C(%5Cbeta_S%5C)_and_in_%5C(%5Cell_%5Cinfty(S)%5E*%5C)"}}}}}