{"entities":{"Q1343850":{"pageid":1354589,"ns":120,"title":"Item:Q1343850","lastrevid":70198299,"modified":"2026-04-13T13:06:18Z","type":"item","id":"Q1343850","labels":{"en":{"language":"en","value":"Hereditarily separable groups and monochromatic uniformization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 720059"}},"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":"Q1343850$FD40DE33-A467-4BF5-A723-8F1DE8142F64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8f4862e1ce2587df8ee090dcc9003a331810a81","datavalue":{"value":{"text":"Hereditarily separable groups and monochromatic uniformization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1343850$E6138FB8-1BE5-40A9-9834-893644D1C505","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53066affb6b6f2648d50c16fca5c0a7defa8e89a","datavalue":{"value":"0827.20066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343850$970EB5E0-47E6-4BE3-9FA0-877B773F0B9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93725df6aeae0e01cd074293a665c20e3cb28012","datavalue":{"value":"10.1007/BF02937512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343850$7920F5C8-08ED-44BD-84E8-65D04A8C8033","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8c8f9af85b0e6fc0b21083f04bbb665147754e0","datavalue":{"value":{"entity-type":"item","numeric-id":169247,"id":"Q169247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$D45064EC-EB3A-436C-816F-FCCBAD3D8A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab434b340e8fb2070bdba3713f2f4c6339ea5ac4","datavalue":{"value":{"entity-type":"item","numeric-id":908906,"id":"Q908906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$E08D6515-F87E-4AD0-B2CA-9A0561110D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$0D99D6B5-1279-4929-BD2E-1B98231EF009","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$F7132710-3D92-4B7C-BBDC-AEE5D1AD56BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825562d8f2afae6a37dc432bafc88c050ff424bd","datavalue":{"value":{"time":"+1995-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1343850$9926D872-4003-4E33-B4DD-8A65F50060F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b28ab996031b8720828c4747b3215e0373112686","datavalue":{"value":"https://arxiv.org/abs/math/0406552","type":"string"},"datatype":"url"},"type":"statement","id":"Q1343850$C9A57B19-6A9C-43D0-8DDC-9DAC936075E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2704e161acec8576f47ff5fb25af6bc3f1519d5","datavalue":{"value":"In this paper an abelian group \\(G\\) is said to be separable if every finite rank pure subgroup is a free direct summand of \\(G\\); \\(G\\) is hereditarily separable if every subgroup of \\(G\\) is separable.   Let \\(S\\) be a subset of \\(\\lim (\\omega_1)\\). If \\(\\delta \\in S\\), a ladder on \\(\\delta\\) is a function \\(h_\\delta:\\omega \\to \\delta\\) which is strictly increasing and has range cofinal in \\(\\delta\\). A ladder system on \\(S\\) is an indexed family \\(\\eta=\\{\\eta_\\delta:\\delta \\in S\\}\\) such that each \\(\\eta_s\\) is a ladder on \\(\\delta\\). The ladder system \\(\\eta\\) is tree-like if whenever \\(\\eta_\\delta(n)=\\eta_r (m)\\), then \\(n=m\\) and \\(\\eta_\\delta (k)=\\eta_r(k)\\) for all \\(k < n\\). For a cardinal \\(\\lambda \\geq 2\\), a \\(\\lambda\\)-coloring of a ladder system \\(\\eta\\) on \\(S\\) is an indexed family \\(c=\\{c_\\delta:\\delta \\in S\\}\\) such that \\(c_\\delta:\\omega \\to \\lambda\\). A uniformization of a coloring \\(c\\) of a ladder system \\(\\eta\\) on \\(S\\) is a pair \\(\\langle g, g^*\\rangle\\) where \\(g:\\omega_1 \\to \\lambda\\), \\(g^*:S \\to \\omega\\) and for all \\(\\delta \\in S\\) and all \\(n \\geq g^*(\\delta)\\), \\(g(\\eta_s(n))=c_\\delta (n)\\). If such a pair exists, we say that \\(c\\) can be uniformized. We say that \\((\\eta, \\lambda)\\)-uniformization holds or that \\(\\eta\\) satisfies \\(\\lambda\\)-uniformization if every \\(\\lambda\\)-coloring of \\(\\eta\\) can be uniformized.   A monochromatic coloring \\(c\\) of a ladder system \\(\\eta\\) is one such that for each \\(\\delta \\in S\\), \\(c_\\delta\\) is a constant function. Consider a monochromatic coloring with \\(\\lambda\\) colors to be a function \\(c:S \\to \\lambda\\) which gives the constant value, \\(c(\\delta)\\), of the coloring of \\(\\eta_\\delta\\). Then a uniformization of a monochromatic coloring \\(c\\) is a pair \\(\\langle f, f^*\\rangle\\) where for all \\(\\delta \\in S\\) and all \\(n \\geq f^*(\\delta)\\), \\(f(\\eta_s (n))=c(\\delta)\\). If every monochromatic \\(\\lambda\\)-coloring of \\(\\eta\\) can be uniformized we say \\(\\eta\\) satisfies monochromatic uniformization for \\(\\lambda\\) colors.   A ladder system \\(\\eta=\\{\\eta_\\delta:\\delta \\in S\\}\\) on \\(S\\) is said to satisfy monochromatic uniformization for \\(\\omega\\) colors if for every function \\(c:S \\to \\omega\\), there is a function \\(f: \\omega_1 \\to \\omega\\) such that for every \\(\\delta \\in S\\), \\(f(\\eta_\\delta (n))=c(\\delta)\\) for all but finitely many \\(n \\in \\omega\\).   The main result of this paper is the following: Theorem 1: A necessary and sufficient condition for the existence of a non-free hereditarily separable group of cardinality \\(\\aleph_1\\) is the existence of a ladder system on a stationary subset of \\(\\omega_1\\) which satisfies monochromatic uniformization for \\(\\omega\\) colors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343850$7EAE87AB-93E6-4DD8-99D8-F961420F9C21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cfb57c69293433f684dbc678151e805fcd25301","datavalue":{"value":"20K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343850$AB1A0EAB-745A-409C-B9CC-77F970DF3043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343850$873928C4-6823-48C3-AD18-6F0C174D2740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c3b6ad199b0a7cb38e73a1b14a4a2e6f90b62b0a","datavalue":{"value":"20K27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343850$A4DDD630-ECB1-4229-A2E8-A52401686353","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"849ddb06e50b5b909b32c4a31720be0ac9b3aa75","datavalue":{"value":"720059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343850$1A146CF9-DF51-4A26-A5DA-E2AE47757721","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e445d228b7fb21dc843ff91a921c84ae0cb633a","datavalue":{"value":"Whitehead problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343850$E90CAFF5-0F3D-4828-951A-9E940740BAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a6ea5445f29babec0059a2b254099891191288","datavalue":{"value":"Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343850$94B165A7-D5DE-418A-AB32-459597886CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cab9326e0e1f1235e6b582954886fe819e8aedd","datavalue":{"value":"finite rank pure subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343850$D6D4F16B-0155-4FE6-9065-D78198A204F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571cbec1b9c514e7ab18af9f42d276f30f91a0cd","datavalue":{"value":"free direct summands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343850$0AE26C8E-760D-48E0-B2C6-854526778596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da86cf6ef82c2a0339a905b95f108a7dfd7ee191","datavalue":{"value":"non-free hereditarily separable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343850$7A34EA15-B536-43BD-AFAD-B46138C85F51","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"09ab3215a8db104779b7fcb0e29aad3934f93db1","datavalue":{"value":{"entity-type":"item","numeric-id":635662,"id":"Q635662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$3339E50C-991C-429B-B2CD-F89E78E10DB8","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":"Q1343850$7CB1FDC6-EF0B-4F79-8375-B42201F52ED3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7757d27f06fa84991538330582e2cdae5c5f3ef9","datavalue":{"value":{"entity-type":"item","numeric-id":3661568,"id":"Q3661568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$D91FFE34-172B-4F74-9F09-38A47CB868DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d0aefaeeeb7ed27edff98f8ae0b72602e4605d","datavalue":{"value":{"entity-type":"item","numeric-id":1255946,"id":"Q1255946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$F137DE4C-6C2F-402D-BAF2-1A5BCE6A27DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba10a227b7b0ab28f76deefd9f94f3582304bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3995749,"id":"Q3995749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$3A2F1063-B1BF-4D85-AA1B-4AA7B1657846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4121d9d5359dfc5329820e24f35deb87bc4d3ee3","datavalue":{"value":{"entity-type":"item","numeric-id":1802789,"id":"Q1802789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$F1F15D39-2B89-411D-8FEE-26174B2C936B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338ac8e6e945472c5bb977bf08aab59a1ffe73b9","datavalue":{"value":{"entity-type":"item","numeric-id":3831203,"id":"Q3831203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$3166DB8F-F1D9-47D6-BD2F-11E6DD18DFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778a5cc6f03afd091fa43b25c1c29725d82580ce","datavalue":{"value":{"entity-type":"item","numeric-id":5573434,"id":"Q5573434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$5D0CD0B7-696C-4A2E-97CD-DAAED3A56A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae9b51e11da388b9beb50352997a31144bf7850e","datavalue":{"value":{"entity-type":"item","numeric-id":1222163,"id":"Q1222163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$C35DAE9C-4DC4-44BA-8696-BD723326F855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58585faf35296230dff2b05d5a1b579a4e0907c1","datavalue":{"value":{"entity-type":"item","numeric-id":1243716,"id":"Q1243716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$A2FBC3D2-4BF7-4C58-BAF3-087C27CCAB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4491141d9d52f5fd3dbc7dc136bd0c0f10402fd","datavalue":{"value":{"entity-type":"item","numeric-id":1260187,"id":"Q1260187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$AF066002-07D0-403F-938E-95F69C70D054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63500d2ba09a694affe75156d6d90b704b492463","datavalue":{"value":{"entity-type":"item","numeric-id":1155610,"id":"Q1155610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343850$AB4E5F5B-2B87-470D-B9D2-680910BDC8C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12d33fdeb03806792e45f23296b349c46abc99e2","datavalue":{"value":"W2105753951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343850$2D51B503-F1DA-4FA8-80DD-4C3E7F257FE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf7d80355bc88d53987875e41aa4a6a6ecec8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1802789,"id":"Q1802789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd4ff93604b2f36aac215c557f488cd1432d2eb","datavalue":{"value":{"amount":"+0.8420091867446899","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":"Q1343850$0EFE4C6E-D920-4D16-9C0A-9C3D0AF7E1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5af5063f5a53a1a311edd3ff91ee4c4454c51c","datavalue":{"value":{"entity-type":"item","numeric-id":3797399,"id":"Q3797399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef128512a722e02812659df2f8b22f63c0bf147e","datavalue":{"value":{"amount":"+0.8419134020805359","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":"Q1343850$1998DA1A-8C8F-47D7-8FB1-B8E515BAB219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbec279e4832f7f259edb6e1713d0f32b89c8a1","datavalue":{"value":{"entity-type":"item","numeric-id":5688690,"id":"Q5688690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f642a54b1ddcb1c4d13b85fa333736cfeef2872","datavalue":{"value":{"amount":"+0.7539860010147095","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":"Q1343850$571CD485-E99E-4DDB-9E75-5608601C8411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950298452a3085d2991e497ddee66eb2dd5cc644","datavalue":{"value":{"entity-type":"item","numeric-id":4029192,"id":"Q4029192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f642a54b1ddcb1c4d13b85fa333736cfeef2872","datavalue":{"value":{"amount":"+0.7539860010147095","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":"Q1343850$7C430B1B-2973-413D-A6EE-F654666D35A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2122aab9ca6fb850ca92951d046e577db76f3d37","datavalue":{"value":{"entity-type":"item","numeric-id":3476805,"id":"Q3476805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d33c0996d86d3525d0fd9c81f13e7c9642170d","datavalue":{"value":{"amount":"+0.7318745851516724","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":"Q1343850$2A099A65-2D2B-4109-9B16-30DCEFF4EF74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hereditarily separable groups and monochromatic uniformization","badges":[]}}}}}