{"entities":{"Q2338576":{"pageid":2349319,"ns":120,"title":"Item:Q2338576","lastrevid":57862083,"modified":"2026-04-02T20:37:25Z","type":"item","id":"Q2338576","labels":{"en":{"language":"en","value":"Countably compact group topologies on the free abelian group of size continuum (and a Wallace semigroup) from a selective ultrafilter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7134802"}},"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":"Q2338576$4135FB34-ECEF-488F-97CF-36DBB2BF4914","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6454ba3a8be68ee2566c58aef32a8bcab797c7a","datavalue":{"value":{"text":"Countably compact group topologies on the free abelian group of size continuum (and a Wallace semigroup) from a selective ultrafilter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2338576$1F906B47-4B8A-45DF-8A8C-B6A752FA2805","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c64fcd6fd162bae7b1aadac4412102fc0960edcd","datavalue":{"value":"1449.54043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338576$CC452DDD-6F1D-46D8-A1C6-0EC9CD3D4BD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47a57002c6da6c392b4e050f0271135cd305230a","datavalue":{"value":{"entity-type":"item","numeric-id":491797,"id":"Q491797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338576$D82CCBA8-4188-4A83-94FB-CC155907ADE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7f127320f538ae9c40cf17f15f4b7cce32dd613","datavalue":{"value":{"entity-type":"item","numeric-id":2338575,"id":"Q2338575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338576$DDC63475-1159-49F6-86D1-DC2883C3AEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e58ec161809957194d31ec739c1f8d2bc1714f00","datavalue":{"value":{"entity-type":"item","numeric-id":491799,"id":"Q491799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338576$3FC80AA2-8BE2-4E59-A46B-5550C07F33DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338576$9DF219F0-21AE-4850-86F7-A7C104C13790","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df8a8a76ae09508c8444c01bbacb33e3edfbee9a","datavalue":{"value":{"time":"+2019-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2338576$9837E45F-681B-4822-B5D4-E2F62A95DE72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4089b864c20eae03808b3a673cb1cc8f7cf727bc","datavalue":{"value":"https://arxiv.org/abs/1909.03607","type":"string"},"datatype":"url"},"type":"statement","id":"Q2338576$3A005087-21C4-4233-98E6-9D6717D8C936","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44806344304fca4e3727d9592e54eccba936617b","datavalue":{"value":"It is well known that a non-trivial free abelian group does not admit a compact Hausdorff group topology. On the other hand, it was shown that the free abelian group generated by \\(\\mathfrak{c}\\) elements can be endowed with a countably compact Hausdorff group topology under some set-theoretic assumptions. \\textit{R. E. Madariaga-Garcia} and \\textit{A. H. Tomita} [Topology Appl. 154, No. 7, 1470--1480 (2007; Zbl 1116.54004)] also obtained such a group assuming the existence of \\(\\mathfrak{c}\\) many pairwise incomparable selective ultrafilters and asked whether the existence of one selective ultrafilter implies the existence of a countably compact group topology on the free abelian group of size \\(\\mathfrak{c}\\).\\par It was known that compact both-sided cancellative semigroups are topological groups. In the 1950's, Wallace asked whether every countably compact topological semigroup with both-sided cancellation is a topological group. A counterexample to Wallace's question has been called a Wallace semigroup. The main example in the above cited paper of \\textit{R. E. Madariaga-Garcia} and \\textit{A. H. Tomita} yields a Wallace semigroup from the existence of \\(\\mathfrak{c}\\) selective ultrafilters. \\par In this paper, the authors prove that the existence of a selective ultrafilter implies the existence of a countably compact Hausdorff group topology on the free abelian group of size \\(\\mathfrak{c}\\) answering the above first question, and the existence of a Wallace semigroup.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338576$AA415468-7F55-468A-812B-92FCC1743A9F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3f7561be16ca4054bdd9df5ed3e0512f0ecaff58","datavalue":{"value":{"entity-type":"item","numeric-id":306133,"id":"Q306133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338576$8A68D297-CE0C-4F4B-B415-F29D3FDE1E69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8975949a4f53f61db0206a6e464e5b70f054fb","datavalue":{"value":"54H11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338576$F34F8070-907B-425E-968A-69A28CEA9B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b401dc4eec2ba3cb0025b54e4a8352cc0d7a062","datavalue":{"value":"22A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338576$25AAF403-AD95-462E-A516-72D54F9AD78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338576$110409EC-F234-4D85-82BD-2AD39776E97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"274088953313a890ba3bbd805e749c0476d9c823","datavalue":{"value":"54G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338576$E3DA06D5-174E-492C-BD8F-05E86B0F23EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20245813286fff34c3c0b18aa083accb6d7e63a3","datavalue":{"value":"7134802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338576$13C21098-09D3-4671-BA2E-C3B36301C50B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f7804c3abe2f4d058e92c6855bf4734c56bc91","datavalue":{"value":"topological group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338576$67058204-C701-455E-95A5-E40D16A2ECBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7f1d2d6d0d78f881fbcb38b9c73e181b21c84b4","datavalue":{"value":"countable compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338576$02783192-3CF1-4C80-849A-6C05A0983216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3c8cf5cf9efcde4a1e1017c1ea2b50608898fd","datavalue":{"value":"selective ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338576$C213E4CD-FA95-4F8B-B59F-267319AD08A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1309373166bb13d6f7a16a541589fac44707048c","datavalue":{"value":"free abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338576$78F048C3-243E-431C-8BF3-2E0A2A0E4320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8944c8e7db5cc400ca016a567d5d17c144068a80","datavalue":{"value":"Wallace's problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338576$BE893DF0-0663-4551-9E91-F1B135C55F3F","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":"Q2338576$561E9992-C545-431F-9448-8850B2B33634","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3149354ad0054824f7f775212231b788cb04c0db","datavalue":{"value":"W3103158176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338576$81CD9B82-AAAE-400A-AFDB-320F2E3A7C22","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4829b4c4963e9c37b30153bf13a61069d4a66c4b","datavalue":{"value":"Q127084319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338576$40E0105E-9A1B-41DF-B544-AACAA16EC8E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7bc40dd873670b25338a783b18f25e06c9a2693","datavalue":{"value":"10.1007/S10474-019-00991-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338576$123ADC9A-F9DE-4E45-827D-6A77F9EB3AAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14f55de04986611b4fc53ba98ca37e611c4b541","datavalue":{"value":{"entity-type":"item","numeric-id":3083671,"id":"Q3083671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcda8d329660b47730c72e69c833136778e0b107","datavalue":{"value":{"amount":"+0.85727304","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":"Q2338576$A48F8C55-A4B0-4AEC-A06F-AF464EABFA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1358e9cd357338d7bbb32d0402a8f9939d41162f","datavalue":{"value":{"entity-type":"item","numeric-id":876543,"id":"Q876543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd0bc5f8ccdd7e738e9f2abdb437b497caf0c54","datavalue":{"value":{"amount":"+0.8193034","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":"Q2338576$69132C74-8D9B-4E19-A91C-1881C6021E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60d3d857fa476d86500fd0518ae5bd61fabc26a","datavalue":{"value":{"entity-type":"item","numeric-id":4342801,"id":"Q4342801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25125b9afd0736dd53ab61f259fc9dcc3195d1d0","datavalue":{"value":{"amount":"+0.80856717","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":"Q2338576$0EE6C8C9-5C09-464C-BD69-4508CAA36300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f7f2cfe36879657350823fdb6624074b425c43","datavalue":{"value":{"entity-type":"item","numeric-id":1807593,"id":"Q1807593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b994bde85398f678ca3e5b6364eb1499b9082c","datavalue":{"value":{"amount":"+0.78460616","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":"Q2338576$BF7B3ED2-EDD8-4A9D-8676-75A1F8809DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e202ad9c7be0718c21cea9c4816c953b9c817598","datavalue":{"value":{"entity-type":"item","numeric-id":4229139,"id":"Q4229139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8804b276f74db224c3ac8d90664cba6230daa87","datavalue":{"value":{"amount":"+0.76904005","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":"Q2338576$5C0FB69C-54E8-4E6A-B339-5F9CC95BB667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ecf03e557a9b33a16f8f211421c75c7fe3e1771","datavalue":{"value":{"entity-type":"item","numeric-id":4227953,"id":"Q4227953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa194683f06b43c65d89efeb76535204c43df27","datavalue":{"value":{"amount":"+0.76796865","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":"Q2338576$D516C7F0-7EDB-4F6F-8171-1D8DFC154D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71be616c335f953f78a85a6f2cbdd594df86d32","datavalue":{"value":{"entity-type":"item","numeric-id":4229135,"id":"Q4229135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e5916645d183304adc41351c75045bc1cf8247","datavalue":{"value":{"amount":"+0.75701416","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":"Q2338576$BF1D6D39-8E0F-46FC-A172-FF1B9C4138D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667fe1b6442bc344241b3094f9ebdd25d681cb0c","datavalue":{"value":{"entity-type":"item","numeric-id":6044444,"id":"Q6044444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1671f10d7ace83cfc6eb64c335bee26a06fa5b8e","datavalue":{"value":{"amount":"+0.7545583","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":"Q2338576$AC5253B4-B217-4268-9D86-3C7AA9B4F805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f01781ab4b64c9c52855d5a9944a3232d226d2c4","datavalue":{"value":{"entity-type":"item","numeric-id":4874339,"id":"Q4874339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee09fcf5350ef02a4e5da76ebaf6f05ba15d631","datavalue":{"value":{"amount":"+0.7444343","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":"Q2338576$09377AFD-8CC5-42B3-A308-F991F69ECF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2fdcacf151b0dea54707a777b267a4bb0ff55f","datavalue":{"value":{"entity-type":"item","numeric-id":4955963,"id":"Q4955963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c9323643b40bbeadf726401cf1d5888b64d75b","datavalue":{"value":{"amount":"+0.73544705","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":"Q2338576$9375BA1D-B82B-4B5A-AA82-58D6FE2EADA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2338576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2338576"}}}}}