{"entities":{"Q284670":{"pageid":286437,"ns":120,"title":"Item:Q284670","lastrevid":60644874,"modified":"2026-04-10T18:15:33Z","type":"item","id":"Q284670","labels":{"en":{"language":"en","value":"Strongly productive ultrafilters on semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6581739"}},"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":"Q284670$C5399A77-B43A-44AA-A703-9C9A035B741D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fe2e1912ff90ae5e0953f1678e8707fc46697af","datavalue":{"value":{"text":"Strongly productive ultrafilters on semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q284670$856AA11C-AE46-4478-9347-7A2AB1747612","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90df3ff19953e62c0b98c837adf317fd8dbda7cd","datavalue":{"value":"1342.22002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284670$7C66704E-1F22-43ED-9383-18AC0A2B9B16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f30872f191f9cb78a9a9f965b89301be32e1caa0","datavalue":{"value":{"entity-type":"item","numeric-id":284668,"id":"Q284668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$072B517E-A9BD-41E2-8B4F-6169C9061EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47fdd8a1fed808b4d7fc432e120cebdf6cd5eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":284669,"id":"Q284669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$D0E0E3CC-D08E-42CB-AB05-451555DFCEDA","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":"Q284670$42A9D6CB-9CD1-4DA0-9E83-E8C1041C8B05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"520e6f0241f1a69086f50367d5722006ec0b624b","datavalue":{"value":{"time":"+2016-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q284670$958B7219-D644-47C3-A709-FEDC918B2257","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bebae3c9bcfda03f5f75e1e3e89247870512a41","datavalue":{"value":"https://arxiv.org/abs/1309.3636","type":"string"},"datatype":"url"},"type":"statement","id":"Q284670$FD0D0C86-47A1-45AB-AC72-B0845B407A27","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d882336aa6d1c5ecf6599934b6e61403c095d19","datavalue":{"value":"The finite products set FP\\((\\vec x)\\) associated with a sequence \\(\\vec x=(x_n)_{n\\in\\omega}\\) of elements of a multiplicative semigroup \\(S\\) is the set of elements of \\(S\\) that are products \\(\\prod_{i\\in a}x_i\\) taken in increasing order of indices for finite sets \\(a\\subseteq\\omega\\). An ultrafilter \\(p\\) on \\(S\\) is strongly productive if it has a basis consisting of finite products sets. In the case of additive notation, strongly summable ultrafilters are considered. The semigroup operation naturally extends to the set of all ultrafilters \\(\\beta S\\) on \\(S\\).  The study of strongly summable ultrafilters was started by Hindman in the case of the semigroup of positive integers and later this study was extended for arbitrary abelian groups.  In the paper under review, the authors get generalizations of some of these results. They prove that if \\(S\\) is a commutative semigroup with well-founded universal semilattice of idempotents or a solvable inverse semigroup with well-founded universal semilattice of idempotents, then every strongly productive ultrafilter on \\(S\\) is idempotent. They also answer a question of Hindman and Legette Jones by proving that any very strongly productive ultrafilter on the free semigroup with countably many generators is sparse.","type":"string"},"datatype":"string"},"type":"statement","id":"Q284670$9EC03263-9CDF-4DB6-ADB6-C5530C4A87B7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24f8d16b2be3be7c389bb7bc4bfcdf6adc672a29","datavalue":{"value":{"entity-type":"item","numeric-id":173771,"id":"Q173771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$F3D7F3FE-B1F7-42E5-9875-EB85BDE6F7AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284670$EDF23ECD-2B2D-441B-BA18-1A8611A1E94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284670$F1CFED81-0DEA-4B36-912C-80148B074635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"849bcac29a22658739860df4ed100017aba1a860","datavalue":{"value":"54D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284670$366E4DE3-7BB0-4D73-8BAC-8D3A8C2D04CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bce1bee5fd2c5bdabf8b43440f31c4a6c944d545","datavalue":{"value":"6581739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284670$3ED2DA95-9777-4C73-8D79-4D60ED3A2ECF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9256724b8e750d74d5ea25645b17fc8bb369e885","datavalue":{"value":"ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q284670$484E9853-A9AC-4A61-8728-BC8235D97B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edb666264bc8e7d4f05774d2bf3828179128637d","datavalue":{"value":"strongly productive ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q284670$511527A8-C0FD-4B84-B576-0EB27E3A0CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6095a683b4a79232d5a50824d8d9dffcc4700b27","datavalue":{"value":"commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q284670$724F961B-E890-4069-B855-D0470C2C8A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef18e45b31bdcff1d7b420ebfc8d24ddbe66e08e","datavalue":{"value":"solvable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q284670$8B27EEA8-6C65-4697-A1B3-94A6FD2F18DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffef32048dfd64aa0a28ade2a718daefb51bd81","datavalue":{"value":"solvable inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q284670$65A4A54E-DFFF-4BE6-A972-2D257F52660B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3b707716cdb67ff4a078bf55a6ade8e793ba63d","datavalue":{"value":"\u010cech-Stone compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q284670$5F3F30C2-7A46-4430-9131-528C51266B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"606455f6101fef93d43b619d0be07ada0f46bd86","datavalue":{"value":"finite products","type":"string"},"datatype":"string"},"type":"statement","id":"Q284670$62EB27BD-0B5E-4E83-9DE9-7BF9EEFCB576","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":"Q284670$673E6FE9-08A3-493A-90FD-200F87F989B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5186e8af9daf1fa0c6b88963e6b47066fd0a7142","datavalue":{"value":"W3102674590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284670$C76E5BDA-9FA8-4806-91FB-22D6F0A7D8B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d869d702a6b7d17629a4da52e1875415f116835","datavalue":{"value":{"entity-type":"item","numeric-id":3772206,"id":"Q3772206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$06E1B76D-FFCB-4979-B16A-81240503CA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8b9a1d6de4ce7f7fcfad6470d925140d358578","datavalue":{"value":{"entity-type":"item","numeric-id":2786451,"id":"Q2786451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$FE6DCF1F-76EB-4256-AD2F-523A38B1D536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25429efdb04f8e8f4845098d3e8d212a4e425f","datavalue":{"value":{"entity-type":"item","numeric-id":2348139,"id":"Q2348139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$0AAF90B0-721E-4478-B139-054125C3660D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$45932A93-61D5-426C-856F-37A3E90365A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b4f955c6348ce87baacf5add332a6fb0725124","datavalue":{"value":{"entity-type":"item","numeric-id":5609457,"id":"Q5609457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$ADC9C6CB-2859-4BEE-933C-84A7ABCB1D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0849bfc5839137425132014c5272d2ee494b1f","datavalue":{"value":{"entity-type":"item","numeric-id":4839155,"id":"Q4839155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$DDFAB791-4795-49A6-B655-63CB68B2B9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f477b6a4a4e5a27496905043b94618754c488c1","datavalue":{"value":{"entity-type":"item","numeric-id":4437948,"id":"Q4437948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$B582CD61-89D3-4CBD-975E-EA5270ED81C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839de57f28ad2caa1273528afc3181565e98c730","datavalue":{"value":{"entity-type":"item","numeric-id":3772207,"id":"Q3772207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$821C6CCF-3941-4B14-8FF5-D0A38EE1AD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b6fe6cce97520d2cc7813593cff93168099473","datavalue":{"value":{"entity-type":"item","numeric-id":2439668,"id":"Q2439668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$5461A45B-ED16-428C-BB67-F90A81B134BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d2926566a07a00551efc10fcd55d9b7471a264","datavalue":{"value":{"entity-type":"item","numeric-id":658129,"id":"Q658129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$673CD348-D640-4EC3-B2C7-5C7BCD664A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4082728d3e16c1abb3a8859400bdf7d674dc9362","datavalue":{"value":{"entity-type":"item","numeric-id":1308148,"id":"Q1308148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$678EEB23-4529-4976-853A-388D00416A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7c0a3c960b6d6802532df484ff6c60114d6b51","datavalue":{"value":{"entity-type":"item","numeric-id":713072,"id":"Q713072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$37CE9FCA-BBCD-451F-B28E-C13A8EE76F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a842c7f2d8e37f2e6254beae30aa69a1297a7e75","datavalue":{"value":{"entity-type":"item","numeric-id":634459,"id":"Q634459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$110A2708-EEE5-49BA-AD23-F568C99D3A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$56688989-D10E-4C42-B322-57E50780BD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e6e393e1c3ded91ab2f3ca3701c8c7690446ff","datavalue":{"value":{"entity-type":"item","numeric-id":1083554,"id":"Q1083554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284670$FF451ACE-0FEB-4C7C-9386-BAC0BDDD952A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c431a309d0adbd9f71559855d4cabbc50ecf2b4","datavalue":{"value":"10.1007/S00233-015-9746-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284670$B7D60AE3-D8F9-4687-BFD9-2310734FA7C5","rank":"normal"}],"P1643":[{"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":"0ab14d2c1cc5aae306c1cabc3ee30605b6e9e7cd","datavalue":{"value":{"amount":"+0.8099339604377747","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":"Q284670$A1ECB87E-C447-4945-816C-96CE624C3C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"348586b8e2d4e9d103fa57e25afff5d7067aa1e9","datavalue":{"value":{"entity-type":"item","numeric-id":1308148,"id":"Q1308148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdaaad2bd9355064398e9d7ad0f95034a05fb993","datavalue":{"value":{"amount":"+0.7960655093193054","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":"Q284670$B561CA98-72FF-4DFB-ABE4-4FBA4F424557","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":"c60de2a1791b8594a9365e0573008636a97286ed","datavalue":{"value":{"amount":"+0.7831241488456726","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":"Q284670$6124E780-3346-4C66-B1EC-CC62E09DA864","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":"eb261ae466a62aa7db3b8556746c941f2388a2f1","datavalue":{"value":{"amount":"+0.7649623155593872","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":"Q284670$7E7CAF3C-6F2D-472B-A49C-24BB5DCDF716","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":"61cea0cbbf7208bda7284f91f82e5aa4a1664aab","datavalue":{"value":{"amount":"+0.7641629576683044","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":"Q284670$83669E26-E422-42EC-940A-17FE25B37AF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strongly productive ultrafilters on semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strongly_productive_ultrafilters_on_semigroups"}}}}}