{"entities":{"Q1032900":{"pageid":1034748,"ns":120,"title":"Item:Q1032900","lastrevid":66668835,"modified":"2026-04-12T11:43:47Z","type":"item","id":"Q1032900","labels":{"en":{"language":"en","value":"Density and invariant means in left amenable semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5625460"}},"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":"Q1032900$699AF130-876C-410F-A68D-B5AC0EF3DE3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a340854f357a25dc354cb6acac63b33f091f8b5a","datavalue":{"value":{"text":"Density and invariant means in left amenable semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1032900$5FCC7583-372A-4A32-8A5E-321011662026","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d927e57abef9adc01481d4e7c3bcfcbf11418da","datavalue":{"value":"1189.22003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032900$F3392321-C13A-4E3B-A93E-BA04F3ABFAE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a51e12fb29128739fb6990cdbe33743d6ac0c0c8","datavalue":{"value":{"entity-type":"item","numeric-id":171732,"id":"Q171732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$ECFE24FF-8C9F-4A7C-8DB4-F0DAEE5F1195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a79fca5a8b55da007f27cacf23236556649d7a18","datavalue":{"value":{"entity-type":"item","numeric-id":591283,"id":"Q591283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$F70192AB-12BE-468C-8BB4-59F1752FD2A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$7B68E0C7-0CF5-41CF-974A-ECE76BD943FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f64cda6c38473afdec30989105db5294c67eb19e","datavalue":{"value":{"time":"+2009-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1032900$C12AE4BF-F45B-4844-A364-C29503587D48","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"90c02f04f2b04220229b151c8d627767a8219292","datavalue":{"value":"F\u00f8lner conditions and densities are usual tools associated to the amenability of semigroups. In the present paper the authors consider the F\u00f8lner density, a particularly well-behaved notion of density denoted as \\(d\\) that was introduced in a previous paper of theirs [Semigroup Forum 73, No. 2, 273--300 (2006; Zbl 1111.22004)]. The F\u00f8lner density is defined through so-called F\u00f8lner nets, that is, nets \\(( F_\\alpha)_{\\alpha \\in D} \\) of finite subsets of \\(S\\) such that \\((\\frac{|sF_\\alpha \\triangle F_\\alpha|}{|F_\\alpha|})_{\\alpha\\in D}\\) converges to 0.   If \\(\\text{LIM}_0(S)\\) denotes the subset of \\(\\ell_\\infty(S)^\\ast\\) consisting of all accumulation points of F\u00f8lner nets in a semigroup \\(S\\), then \\(\\text{LIM}_0(S)\\) forms a weak\\(^\\ast\\) closed subset of the set \\(\\text{LIM}(S)\\) of all left invariant means of \\(S\\). The authors prove that \\(\\text{LIM}(S)\\) is actually the weak\\(^\\ast\\) closed convex hull of \\(\\text{LIM}_0(S)\\), when \\(S\\) is left cancellative and left amenable. This is a crucial step for the product formula for the F\u00f8lner density that constitutes one of the main objectives of the paper. This product formula states that \\(d(A\\times B)=d(A)d(B)\\) whenever \\(A\\) and \\(B\\) are subsets of left amenable, left cancellative semigroups \\(S\\) and \\(T\\), respectively.  It is also shown that \\(\\text{LIM}_0(\\mathbb N)\\) is a convex set. As a consequence, \\(\\text{LIM}_0(S)= \\text{LIM}(S)\\) when \\(S=\\mathbb N\\), but it is left open which other semigroups may satisfy this equality.  The final part of the paper concerns properties of invariant means of semigroups viewed as measures on their Stone-\u010cech compactification. It is proved, for instance, that any two distinct extreme points of \\(\\text{LIM}(S)\\) are mutually singular or that \\(\\mu(\\{p\\})>0\\) for some \\(\\mu\\in\\text{LIM}(S)\\) and \\(p\\in \\beta S\\) if and only if there is a F\u00f8lner net \\(\\langle F_\\alpha\\rangle_{\\alpha\\in D}\\) for which \\(\\langle| F_\\alpha|\\rangle_{\\alpha\\in D}\\) is bounded (and that in this case minimal left ideals of \\(\\beta S\\) are finite groups).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032900$EDB06664-55E6-49B8-8666-88A3EF949134","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2d7b4eb3d6e7f982249b86753828dfa8e4ac3706","datavalue":{"value":{"entity-type":"item","numeric-id":586417,"id":"Q586417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$E050834C-3833-436C-8978-D2525A2FB212","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032900$5464A5AA-27F0-4B79-9C20-D384F80AE4D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd372a6cd63a2f92b1bdda3c9ea233f9976e9b5d","datavalue":{"value":"5625460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032900$27BB8261-ACFF-44A5-A2B9-38F9A4FD753A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c186c9217096a22be052278f681f49470db911","datavalue":{"value":"Invariant mean","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032900$D987F91B-F886-43D5-ADF7-07A2C898A6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01ee01077a14e69c3c27408efccd7f448855eec","datavalue":{"value":"density","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032900$3FDB3FD2-A30B-43FE-8DAD-21EB210FDAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9bb0d54062c33d3dcf2c46be24397c33e348d43","datavalue":{"value":"amenable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032900$2292040A-DCF1-4FC2-82BA-CC13E107C1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80091b0f987885b65c386927812ebb37cdb5ede","datavalue":{"value":"semigroup, F\u00f8lner condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032900$7FC6B876-80BE-46C1-A588-24AE8C6D0E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ec8961ac7223d468384afa0af68232a74e21cd","datavalue":{"value":"F\u00f8lner net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032900$7AFF90F0-737E-481D-98F6-58DABEEF261B","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":"Q1032900$520B98CF-013A-460D-BC31-C9B20F4557A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94bc35c26e32cf6c29fd9828e0b00a73ebe5a08e","datavalue":{"value":"https://doi.org/10.1016/j.topol.2009.04.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q1032900$2E5E52A0-E1BC-44C8-94B9-48FB43087347","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70bab60f4a4f1fa5f7b9177625e612d039cdf2a8","datavalue":{"value":"W1965317431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032900$F013913D-D37F-465A-B75B-FD6CE8946614","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9fba78db378a1008a4bb288077814edd8041ad7","datavalue":{"value":{"entity-type":"item","numeric-id":5531999,"id":"Q5531999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$03410428-22B7-4837-9999-D2217FC37F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ffa6a63589d12d57e1c25004286acd647d5657","datavalue":{"value":{"entity-type":"item","numeric-id":4946887,"id":"Q4946887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$08DBB766-891B-408A-8C52-87F3B5C9E3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"886bcc99d5c67c3b80dba79a055c2e45f84fea5f","datavalue":{"value":{"entity-type":"item","numeric-id":5599341,"id":"Q5599341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$70AC6231-C7DB-4087-91CA-A716B2257F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdffd67bfbf30e319a3f081f539a38a4f45512e","datavalue":{"value":{"entity-type":"item","numeric-id":5565461,"id":"Q5565461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$674BD8E5-1C7A-481E-8E13-338E41591EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa15a908ebb5a57f9b94f5a3f52060e0bb31367d","datavalue":{"value":{"entity-type":"item","numeric-id":3227598,"id":"Q3227598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$66507740-6D60-476D-9475-5EF7754DCB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d0f87a7a9c77dbc12879de09aa35c23b818174","datavalue":{"value":{"entity-type":"item","numeric-id":1233943,"id":"Q1233943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$9881419A-91A3-498E-9015-0086812BFBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f4f5abcc86e6b740670096395532fcdc9856a8","datavalue":{"value":{"entity-type":"item","numeric-id":2544492,"id":"Q2544492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$2AD239F1-2AD5-41BA-9CA2-D89155F00111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527c32bfdebe2d344183ecf6bff1a46c02156604","datavalue":{"value":{"entity-type":"item","numeric-id":3205756,"id":"Q3205756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$D6B2CEFD-6E95-4378-A8C5-EC2AC544927A","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":"Q1032900$95E3E15E-876A-4FA5-8C94-2ECFCACECB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e63334a6d536b4dd1288ec206b3976fd695217f2","datavalue":{"value":{"entity-type":"item","numeric-id":863469,"id":"Q863469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$4EA72BE3-A2D4-490B-9718-19B6F49D4A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c426a69485f0aae5a1f6f8b802fba39f4f18df","datavalue":{"value":{"entity-type":"item","numeric-id":3182148,"id":"Q3182148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$77DE9C9A-5E3A-4204-A314-304899E10446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8bd548fb300f8362cf0eedaa0cc7f410be08b9","datavalue":{"value":{"entity-type":"item","numeric-id":5723419,"id":"Q5723419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$515730FD-6E9B-4367-9DFF-E40A21E444EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"910943e851b4a71d862a64c112a7e26bc500a35d","datavalue":{"value":{"entity-type":"item","numeric-id":5598384,"id":"Q5598384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$1FE78F0E-6F71-4647-B9A9-F503932F75C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de649cc4544c5e4d7d76cfe892d136b19e06462c","datavalue":{"value":{"entity-type":"item","numeric-id":5619441,"id":"Q5619441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$A443FC41-74D5-47D0-B1D8-CE6034BC635B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f57dd960f1e3144f8c4c09d72ccf750ce6e649","datavalue":{"value":{"entity-type":"item","numeric-id":5513403,"id":"Q5513403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$C104C9E9-7B8D-4A3D-A31D-1FDB37A94DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b430b25e563f4f6fd47d0ca0b91803e6578b04f","datavalue":{"value":{"entity-type":"item","numeric-id":4059028,"id":"Q4059028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032900$B87F16EF-CD33-4605-9617-EF1FFEBB6E7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94956e0a5f18f8ae1cf8cb36b27f8be8a0dad9f0","datavalue":{"value":"10.1016/J.TOPOL.2009.04.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032900$273C8FDE-7D40-40E2-B8EE-39DE0F17F02D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b070bee416be789021e7ce8c348d50cc2a56fe","datavalue":{"value":{"entity-type":"item","numeric-id":863469,"id":"Q863469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4544d14b19237ed20a3ea207f7179ba4133ae6f0","datavalue":{"value":{"amount":"+0.8619341254234314","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":"Q1032900$FEECBC1F-ABB4-4E27-80EA-A0BFF1A8B29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef90789b01e230af5767fc0aafb120c565156b15","datavalue":{"value":{"entity-type":"item","numeric-id":3748729,"id":"Q3748729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53af39770d58fa9346b5d4ef569bbf824214f67a","datavalue":{"value":{"amount":"+0.8437851667404175","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":"Q1032900$F8D8F5BC-A6AC-4605-BD11-AF479519427E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b7a3f6f9b22fdc73634fb898449c91377f3837","datavalue":{"value":{"entity-type":"item","numeric-id":3477454,"id":"Q3477454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6c486a198e6c6b376c664bbf54b0cefe420aaa","datavalue":{"value":{"amount":"+0.8285558223724365","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":"Q1032900$C5808DD7-87BD-4DC2-902F-C8FFFF9A44EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dff13a919dc8e4c8ef67cdb36753cdc3bcd28d9","datavalue":{"value":{"entity-type":"item","numeric-id":1088105,"id":"Q1088105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2236f6bc13b3647e58304e7cd25e4db3e1d6e3ba","datavalue":{"value":{"amount":"+0.814002275466919","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":"Q1032900$F3143350-B2FC-4665-B3F9-C224DC9D3729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7b82fbb9c9bfebda997731556c99144b2210d1","datavalue":{"value":{"entity-type":"item","numeric-id":2049870,"id":"Q2049870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f569b64a6055290ae1c75ccefca9011ff7c65fa0","datavalue":{"value":{"amount":"+0.8022922873497009","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":"Q1032900$DEC07049-E993-4FF9-B0AB-5418D6EA7113","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Density and invariant means in left amenable semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Density_and_invariant_means_in_left_amenable_semigroups"}}}}}