{"entities":{"Q6172293":{"pageid":13307181,"ns":120,"title":"Item:Q6172293","lastrevid":102688643,"modified":"2026-06-06T05:17:38Z","type":"item","id":"Q6172293","labels":{"en":{"language":"en","value":"Central sets theorem in arbitrary semigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7714273"}},"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":"Q6172293$E506542B-3FBB-4D17-AD8F-8BFBB600FD9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"555aebcb8d4c63c01e0cfdc20bd3ca5453d037c8","datavalue":{"value":{"text":"Central sets theorem in arbitrary semigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6172293$594FC1A8-7835-4923-9D4A-8DDF6CF4FD5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3f5932b9523593da5cfec3d451e238eab366ab0","datavalue":{"value":"1525.22001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6172293$5FE0A2EE-5B97-4529-860A-211A2F200524","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172293$B95A241A-3982-4F6E-AE42-D3F83F7C351D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1fd33d6fd5885b3c4b5a43add4092249236d17d","datavalue":{"value":{"time":"+2023-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6172293$AEE387D6-2957-4316-A2E7-568B6E7BF89C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a2db5719321e78ac0ef58a4c50c432c3852d38d","datavalue":{"value":"In the article, a generalised version in terms of matrices of the Central Sets Theorem is provided. The Central Sets Theorem, which can be seen as a joint extension of the Finite Sum Theorem and van der Waerden's Theorem, was originally introduced by Furstenberg.  For a set \\(A\\), let \\({}^AA\\) be the set of all functions from \\(A\\) to \\(A\\), let \\(\\operatorname{fin}(A)\\) be the set of all finite subsets of~\\(A\\), and for positive numbers \\(m\\), let \\(A_m\\) and \\(A^m\\) be the set of all \\(m\\)-tuples of \\(A\\) considered as a \\(1\\times m\\)-matrix or as a \\(m\\times 1\\)-matrix, respectively.  The main theorem of the article states as follows: Let \\((S,+)\\) be a commutative semigroup and let \\(B\\) be a central subset of~\\(S\\). Then for any positive natural number \\(m\\) there are functions \\(\\alpha:\\operatorname{fin}(({}^SS)_m)\\to S\\) and \\(H:\\operatorname{fin}(({}^SS)_m)\\to \\operatorname{fin}(S^m)\\) such that that for any \\(G,G'\\in \\operatorname{fin}(({}^SS)_m)\\) with \\(G\\subsetneq G'\\) we have \\(\\max H(G)<\\min H(G')\\), and whenever \\(r\\) is a positive integer, \\(G_1\\subsetneq G_2\\subsetneq \\ldots \\subsetneq G_r \\in \\operatorname{fin}(({}^SS)_m)\\) and \\(A_i\\in G_i\\) (for \\(1\\leq i\\leq r\\)), we have: \\[\\sum_{i=1}^r\\left(\\alpha(G_i)+ \\sum_{t\\in H(G_i)} A_i\\cdot t \\right)\\in B\\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q6172293$5AFC2EE7-D808-4636-BF0D-8BB3CF75B296","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b0457d5a9eb511fd2403d89981ce94ff3728981","datavalue":{"value":{"entity-type":"item","numeric-id":209696,"id":"Q209696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172293$7714178C-2C09-46EF-9EF6-A610D2303582","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6172293$6680EB87-9CA7-4403-84BF-51D4E599EEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6172293$62242840-51DB-4285-9462-AACAD8DC199A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68b51577a1dd4998c37632bce89096914f601ab7","datavalue":{"value":"54H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6172293$29AA69F3-F300-41B0-90F6-6C4F5B21796E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"065e6dd18f4d71f5048db926639b447ab921c661","datavalue":{"value":"7714273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6172293$236128C1-71D1-4D76-93D5-845BE907A465","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1eec02dd2b1d1150e66bd66d981d38a00890edc","datavalue":{"value":"central sets theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6172293$1A754B9B-6A73-404C-BA14-1F1284F042E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a7978fdffe9a69480ebc4bbcefd5ea0b180a13d","datavalue":{"value":"\\(J\\)-set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6172293$889C84DB-C401-4C6F-A5A9-47D8C57D3A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d2c07f11ecd6580bfdc8ebbb8a045371464463","datavalue":{"value":"\\(C\\)-set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6172293$00612294-BE0A-4943-B345-10F7B08352F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8c1b53a0bbfe40998b80bb19a01b2941f3724d0","datavalue":{"value":"central sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6172293$3176F286-743A-4C90-B8FE-1A68E47DDDD2","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":"Q6172293$77E62673-8994-4B92-98B5-05201CE2CE82","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cb51653643e6dd2bd9a8fe23126aaefa5f16137a","datavalue":{"value":"Q122225997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6172293$1D4EDF0A-035E-472F-B213-B7879A0A258D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8568ab1117ca3da5a69d943acbed8a17ad397fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5203253,"id":"Q5203253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172293$F0C2FCEC-B341-4358-BECC-3284FD7AD667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1458c860c3bff5449f391cd56ac50720ebd17dfc","datavalue":{"value":{"entity-type":"item","numeric-id":5458421,"id":"Q5458421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172293$06101217-1062-4BF6-A795-0F35360FE4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ec82f9b4d64f3ee4985956ec19e96ccbfe88cd","datavalue":{"value":{"entity-type":"item","numeric-id":3633260,"id":"Q3633260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172293$76A55479-E0FF-4940-BFF7-E89560B74709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b37799c9e26baae0b2b93f30775072f585b68c","datavalue":{"value":{"entity-type":"item","numeric-id":3909268,"id":"Q3909268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172293$CB1A6944-82B3-47D5-B4D4-1342D9EFA0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e233511fe3454b730e62f4212ac2da4cfcdfd71","datavalue":{"value":{"entity-type":"item","numeric-id":5053403,"id":"Q5053403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172293$CA16621F-E599-4861-98EB-17CA53C4D9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dedb9c0531e565ece50849364f5cdcba886b0118","datavalue":{"value":{"entity-type":"item","numeric-id":2344323,"id":"Q2344323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172293$2A5B4DF9-A739-4D12-9898-790131AF2760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf95abe82d601f9162c019bc6896758fd8724064","datavalue":{"value":{"entity-type":"item","numeric-id":2312699,"id":"Q2312699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172293$5A198651-89FE-4193-9474-71B2BD1B50F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f5808d59192734475905a4f876a7ef91f4edd81","datavalue":{"value":"10.1016/J.DISC.2023.113551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6172293$AE43A54A-462A-4E85-A5CA-E6EED1AC6709","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1be42807d623a0940c11a16df596f36fe2be94b","datavalue":{"value":{"entity-type":"item","numeric-id":891250,"id":"Q891250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb8dfd4bda2f3f768f220489955d8702022d077","datavalue":{"value":{"amount":"+0.847498893737793","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":"Q6172293$686D34B3-F881-4BF1-8191-C2E42EB00114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9482538cabc8f189c157a564a6c0c02f341b5770","datavalue":{"value":{"entity-type":"item","numeric-id":5458421,"id":"Q5458421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620e18243cf0c8487e8497812fe478495237032d","datavalue":{"value":{"amount":"+0.8367233872413635","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":"Q6172293$993865AD-A9F2-4E11-B23F-9566CB0FDA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1f6635301887d3edb18d8a43a93270ed26ecd0","datavalue":{"value":{"entity-type":"item","numeric-id":2297056,"id":"Q2297056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77eeb54e23b5b8ff8845bdf5287cb5a4dcaa898f","datavalue":{"value":{"amount":"+0.8169600367546082","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":"Q6172293$CDF0C75D-46E8-4436-A487-BD955DD1A20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd10d44d741138b06ec8be7861e026b07e8a3d0f","datavalue":{"value":{"entity-type":"item","numeric-id":2088123,"id":"Q2088123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e0c5f4e5ca10362c650d38c1a81a7743718397","datavalue":{"value":{"amount":"+0.8074681758880615","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":"Q6172293$3BE0C866-7025-4AFB-B57D-0D0E15102198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736a4d1eafb55cdb9286902574b0e55744d11b0a","datavalue":{"value":{"entity-type":"item","numeric-id":2312699,"id":"Q2312699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837c5ce780ee0dc73e1160f3fc396e17a45706cb","datavalue":{"value":{"amount":"+0.8062766194343567","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":"Q6172293$2BB4A307-3320-406B-99CD-12E3F5EFA657","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Central sets theorem in arbitrary semigroup","badges":[]}}}}}