{"entities":{"Q1308148":{"pageid":1318898,"ns":120,"title":"Item:Q1308148","lastrevid":67355499,"modified":"2026-04-12T17:04:32Z","type":"item","id":"Q1308148","labels":{"en":{"language":"en","value":"Strongly summable ultrafilters on abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1366393"}},"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":"Q1308148$20B112D3-7851-484A-992E-C265786ACE0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cc1d6a6899d2a1303a23c95eab353ea2337ff98","datavalue":{"value":{"text":"Strongly summable ultrafilters on abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1308148$9139B2A2-5971-4B02-86B8-682ED2244AA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c324f0031595a1502c6c4249a231fd3c408fd5ae","datavalue":{"value":"0934.22005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308148$BF36A597-C2C0-4FFA-AF45-AC22E619FE7A","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":"Q1308148$FA2183F4-592F-4B58-9E12-30633794884A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cb1d379f2563db8a305ff12c6fe193076b7f407","datavalue":{"value":{"entity-type":"item","numeric-id":591340,"id":"Q591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308148$F837A19D-84CC-4A85-9824-5A23A0FEBCAB","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":"Q1308148$9077501D-021D-462C-AA93-D434D9629983","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"76caccbb93554a967ec5b7fd50c0c4476c4954ba","datavalue":{"value":{"entity-type":"item","numeric-id":226315,"id":"Q226315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308148$A4F346B0-F08F-4AEF-ABC7-FC7544620AA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44ea73af336f54e7d95b283a1b6808a7f8e98994","datavalue":{"value":{"time":"+1999-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1308148$2FDA6D55-05E8-437E-BE3E-098679A49285","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f4ac1e9a088657b5e1c7cf23c44c623ec2a73cc","datavalue":{"value":"As stated in its abstract, this paper is mainly devoted to establish several facts about strongly summable ultrafilters on countable Abelian groups that were previously known in some particular cases, such as Boolean groups or the group \\({\\mathbb Z}\\) of the integers. Let us recall that, given a commutative semigroup \\(G\\), an ultrafilter \\(p \\in \\beta G\\) is called strongly summable if it is generated by sets of finite sums. A trivial example of a strongly summable ultrafilter is then the principal ultrafilter which has \\(\\{0\\}\\) as a member. Section 3 of the paper under review shows that the existence of a nonprincipal strongly summable ultrafilter on a countable Abelian group \\(G\\) implies the existence of a \\(P\\)-point in \\({\\mathbb N}^{\\ast }\\) and is thus undecidable in ZFC. Section 2 shows however that Martin's Axiom implies the existence of such ultrafilters on every countable Abelian group \\(G\\). Analogous results can be deduced from \\textit{A. Blass} and \\textit{N. Hindman} [Trans. Am. Math. Soc. 304, 83-99 (1987; Zbl 0643.03032)] when \\(G={\\mathbb Z}\\) and from \\textit{V. Malykhin} [Soviet Math., Dokl. 16, 21-25 (1975; Zbl 0322.22003)] when \\(G\\) is Boolean. The last section of the paper centers around the uniqueness of the solutions of equations involving strongly summable ultrafilters. It is proved, for instance, that the equations \\(p+x=p\\) and \\(x+p=p\\) have only one solution when \\(p\\) is a strongly summable ultrafilter and \\(G\\) is embeddable in the circle group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308148$3ACA90A5-5AFD-41BC-819C-DD54CB22916E","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":"Q1308148$730073B2-9C69-4571-943E-1483838C81C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b401dc4eec2ba3cb0025b54e4a8352cc0d7a062","datavalue":{"value":"22A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308148$0C1FB0FF-36F4-44F6-8D01-9686690B7F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8975949a4f53f61db0206a6e464e5b70f054fb","datavalue":{"value":"54H11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308148$5C35954A-2A27-4515-9897-4C1CDCF2598C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308148$18225EF4-39C3-4BBF-9EF2-D63176E2C401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308148$5F98C5D0-0A42-44EF-BBC4-B278716CBC19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10729bf736892b4c2aed2888a08d877a49f844c1","datavalue":{"value":"1366393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308148$B468EF4E-949E-476A-8B7D-B563051BE643","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bed9187d3cf440389ecacf0e33ba35ff88259f6","datavalue":{"value":"strongly summable ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308148$7EA5C918-9356-4282-BD83-1C9DC7519729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308148$7B1D5800-8883-490F-A6AE-88E25B743501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c0d1e92fea6d7db131a4694ca9d8654f02d8eab","datavalue":{"value":"commutative semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308148$076E3174-68EA-46D5-8737-61D8877D2020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a3a0517bf3f848d18ddc62afe332c3a9a26a53a","datavalue":{"value":"countable Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308148$3A3434DF-6661-457F-BD2D-AD41AD491056","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":"Q1308148$64CDBA88-25F8-4C5E-ABE4-E29517B76438","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1d009a3dffc09e51acefe5c27fee86feaac489","datavalue":{"value":{"entity-type":"item","numeric-id":1308274,"id":"Q1308274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcb55f0548154069ee5c2cc40b9c5c68ff09951","datavalue":{"value":{"amount":"+0.8070418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308148$097067C8-BE0D-4EE2-98AB-57FF784E663B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24134e0de53eda9146b49678b677da629a6e704","datavalue":{"value":{"entity-type":"item","numeric-id":2786451,"id":"Q2786451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3dc05f1be5c79ba6e461788356b64e385f72933","datavalue":{"value":{"amount":"+0.79879016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308148$25873304-D224-4CF1-AED3-443B29986468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"293ec0f23cd979f1d006586967a2f53746361978","datavalue":{"value":{"entity-type":"item","numeric-id":374053,"id":"Q374053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081350ca2285e7b6617c64b74657290f19a27a04","datavalue":{"value":{"amount":"+0.7948319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308148$15B7B14C-3A33-405C-B979-8FFCA380211F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3568eebd12de9eb111705b0c853eb61aeda80b12","datavalue":{"value":{"entity-type":"item","numeric-id":634459,"id":"Q634459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f911f737e958fc8f89626dc9a85fc3b3e68635","datavalue":{"value":{"amount":"+0.7508272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308148$3497B4B6-46C6-4886-A3D3-42A290EC66C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4444243b44511ff2e5e0dcd5895ebda85728d0","datavalue":{"value":{"entity-type":"item","numeric-id":713072,"id":"Q713072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca2548da44c82bb68825adfea56631fe857bb7c","datavalue":{"value":{"amount":"+0.73881894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308148$BBB619EF-292A-4EA6-98EB-27930FF3A61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06fac5ba8537c74d02da92df7d69111df9afaf57","datavalue":{"value":{"entity-type":"item","numeric-id":3772206,"id":"Q3772206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b1f850f5cf0b9d0758b176714da6e0ff785c8f","datavalue":{"value":{"amount":"+0.72920126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308148$7CD7DD38-6BD0-471E-AC03-39FE15B2C601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde7902db03c79e58fb247d3f0a81900ade2f991","datavalue":{"value":{"entity-type":"item","numeric-id":3784059,"id":"Q3784059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a80147450bb99884be391181499895041917f3","datavalue":{"value":{"amount":"+0.7268462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308148$E7FECF54-E3FD-4C53-A09E-DBBED21F1017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ad85caace77839d60135a855d1a2a5745a4378","datavalue":{"value":{"entity-type":"item","numeric-id":284670,"id":"Q284670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a8284443d72b24942ed7b5580fca02f1ac5c5e","datavalue":{"value":{"amount":"+0.72476554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308148$DC31D385-B5FE-4FE2-BBBA-0F0B63B80329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2a6c4c998780ef5e0c6fe88df21fc03fb90723","datavalue":{"value":{"entity-type":"item","numeric-id":752863,"id":"Q752863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b7c6aceb1c08799cbacfe2e92a84543dda713d","datavalue":{"value":{"amount":"+0.7203169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308148$E559BF4E-19F7-4E5C-81F4-97B611E54BDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strongly summable ultrafilters on abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strongly_summable_ultrafilters_on_abelian_groups"}}}}}