{"entities":{"Q1314930":{"pageid":1325680,"ns":120,"title":"Item:Q1314930","lastrevid":67152045,"modified":"2026-04-12T15:38:23Z","type":"item","id":"Q1314930","labels":{"en":{"language":"en","value":"On purifiable subgroups and the intersection problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 508865"}},"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":"Q1314930$B3686669-E8B6-45F5-B36C-EC4E609E316A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08223ab96252b7a5ede8d862f911499aaa034723","datavalue":{"value":{"text":"On purifiable subgroups and the intersection problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314930$A3981D98-6437-4E3A-B184-B3A8E674DD4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7d6d1e79260d72fb874419cb95399dc7a12ba4b","datavalue":{"value":"0798.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314930$64CEB12A-A1E1-4202-8672-765DD4A1531B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94976abb2a6810218053f6c74224d4e257e497aa","datavalue":{"value":{"entity-type":"item","numeric-id":189813,"id":"Q189813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314930$38CD72BA-8347-48B7-AA2F-3D305EBD823A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314930$A96DE240-D63F-40C7-97D1-B00C5C7A37EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5cac1bac625d56172333526e9a905d35cc8227","datavalue":{"value":{"time":"+1994-11-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":"Q1314930$AF90F6FE-875B-44B9-8BBB-6C10FFF6C7A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0c841ee42ac9e70deef15fb6c7033b3368990c1","datavalue":{"value":"\\textit{L. Fuchs} posed the problem of characterizing the subgroups of arbitrary abelian groups which are intersections of finitely many pure subgroups [Infinite Abelian Groups, Vol. I (1970; Zbl 0209.055); Problem 13]. We show that this problem for purifiable subgroups of abelian \\(p\\)- groups can be reduced to the case where the subgroups are vertical. The result is as follows: Let \\(A\\) be a purifiable subgroup of an abelian \\(p\\)- group \\(G\\) and let \\(A\\) be \\(m\\)-vertical in \\(G\\) for some integer \\(m>0\\). Then \\(A\\) is an intersection of finitely many pure subgroups of \\(G\\) if and only if the following conditions hold: (1) \\(p^ mG\\cap A\\) is an intersection of finitely many pure subgroups of \\(p^ m G\\). (2) There exists an integer \\(t>0\\) such that \\(\\text{Cov}_ 0(G,A)\\geq t\\text{Com}_ 0(G,A)\\).   We use this result to give a solution of this problem for subgroups of abelian \\(p\\)-groups in two special cases; namely when \\(A\\cap p^ m G[p]\\) is dense in \\(p^ m G\\) for some integer \\(m>0\\) and when \\(A\\cap p^ m G\\) is pure in \\(p^ m G\\) for some integer \\(m>0\\). Moreover, we obtain the following result: In an abelian \\(p\\)-group \\(G\\), every pure hull of a purifiable subgroup is a \\(T\\)-high subgroup in \\(G\\) for some subsocle \\(T\\) of \\(G\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314930$8974535C-59D9-4324-BC6B-DA0B79C0EFC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c3b6ad199b0a7cb38e73a1b14a4a2e6f90b62b0a","datavalue":{"value":"20K27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314930$7DDFD696-BF20-40C8-AB87-9638D9EB3FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f702177706ed3af1ef53a4c3f4b9ee62c6496d4b","datavalue":{"value":"20K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314930$0EF8F65A-D5E6-4D01-B15B-E8BB6900D333","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec22c94da3514c637d524e062ddd8dab083f1759","datavalue":{"value":"508865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314930$FC5B2EE7-0BF1-4730-BC0F-9828203E3696","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1d849b78c9fe39a91397d121c78c6fa404ef3","datavalue":{"value":"pure subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314930$68B81911-D1D7-4C53-928D-545859062DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd27b8f299154a7a124ff70904542b5a96b9f7a3","datavalue":{"value":"\\(N\\)-high subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314930$EC6D1C24-16A9-4EA4-B0FA-3119DF351DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8ce47503fccb04e9446375d521e750a74b90311","datavalue":{"value":"vertical subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314930$4132B57A-616C-49EC-9ABD-2B0F12BC909C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7bb8ba7b1f878d5dc1e1e551d97ccbb780b3b5","datavalue":{"value":"intersection problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314930$23A0C5E5-D5F7-4129-9855-E602B2300CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82314632c06a6bb34a5fb9a57eea7f37887efe2a","datavalue":{"value":"purifiable subgroups of abelian \\(p\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314930$22433826-12A5-4FBF-A53B-E74A5156944D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba66ab16e3947d270498da9ffb29f876433d09fe","datavalue":{"value":"intersection of finitely many pure subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314930$7C33E0EF-2C3D-44C2-8324-AEC4535F19BD","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":"Q1314930$E04C6C47-22EF-46D0-A0FA-944A0EF87A8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d66269805523061cbe1dcb110af218c9054a23af","datavalue":{"value":"https://doi.org/10.2140/pjm.1993.157.311","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314930$02BE3D7E-A7FC-4C5E-84DD-DDA9ACA46322","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"032dc1a0d24dbdfe5151e9902a52e1de56a53804","datavalue":{"value":"W2081534972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314930$F880D4E9-0504-4672-A47E-E64D9E9F2602","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61955bf5398d6dbd25d741b3cf79dee96883545b","datavalue":{"value":"10.2140/PJM.1993.157.311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314930$358BDA4E-8A66-407F-BAAD-62E6D3FE4461","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a863f48537be8980690c4976793e74dc07f15a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4942348,"id":"Q4942348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63f10f1ed4c47e79b1416fd3bc25c4248ae1d52","datavalue":{"value":{"amount":"+0.8841602206230164","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":"Q1314930$D8992191-E707-45E1-9DC5-D312F4E58F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544bd18ab4018bcd5be304d6d803eaf8ceec7790","datavalue":{"value":{"entity-type":"item","numeric-id":2472541,"id":"Q2472541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1424632228c69b9efe029f0928b3502bdbc3e0","datavalue":{"value":{"amount":"+0.8618862628936768","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":"Q1314930$335E2D92-FDED-4AEB-A995-983A7EE9E55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62691e3efd17e8fcc5520ed647ca8aa0f0ebb27d","datavalue":{"value":{"entity-type":"item","numeric-id":3481955,"id":"Q3481955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609a84494c8bce340c96526214e98f15297fff61","datavalue":{"value":{"amount":"+0.858284592628479","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":"Q1314930$8C1FEE90-06A3-4FDE-8AE7-1DFBE351BA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a13ce40d6d9391067e5e255ae0e0ae0fb8074d7","datavalue":{"value":{"entity-type":"item","numeric-id":3203229,"id":"Q3203229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e77f20d1d2e809964d8526f7c5392eb6ef828c4","datavalue":{"value":{"amount":"+0.8570233583450317","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":"Q1314930$D289AEB6-A36A-4E0D-A61A-B6DD867FE024","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On purifiable subgroups and the intersection problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_purifiable_subgroups_and_the_intersection_problem"}}}}}