{"entities":{"Q5937623":{"pageid":8114425,"ns":120,"title":"Item:Q5937623","lastrevid":93426224,"modified":"2026-06-05T04:22:53Z","type":"item","id":"Q5937623","labels":{"en":{"language":"en","value":"On kernels of purifiability in arbitrary Abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1619874"}},"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":"Q5937623$BD234D1D-9A9A-4817-8EED-77E917D86358","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"318f9a4ab82cc33bc94033e9cc760d3a9207d2e5","datavalue":{"value":{"text":"On kernels of purifiability in arbitrary Abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937623$2D4C876E-8CA4-4720-B735-58577BAD74AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62a33a3e120267c2c027209eb44f1c545caa9924","datavalue":{"value":"0984.20033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937623$F1B74006-E453-4D4E-B183-FE0631D72C8A","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":"Q5937623$DDBFAB94-CFB7-4B81-9E58-EFA48B6ECD23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8906603afbe7d7f343c7af08e15171ad84bcd46b","datavalue":{"value":{"entity-type":"item","numeric-id":189797,"id":"Q189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937623$F81545F8-B66E-4EEA-AB71-CC76C1460C4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be789cf65ea97b98ed4f42fd12d8cb71830efe2","datavalue":{"value":{"time":"+2002-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937623$A49E6B59-761E-4CC4-AB4E-9C8ABEC35A1A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"356b4f9baa2487af87bde69b260779b8322ed0fd","datavalue":{"value":{"entity-type":"item","numeric-id":405811,"id":"Q405811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937623$992EF3E4-22FD-46F7-9E3F-6A23E0D8089A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eff0a0b30fce63a72f2b4716638c8599020c0a0c","datavalue":{"value":"20K21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937623$EDB034E5-D36F-4558-B5BB-441AFA4662C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c3b6ad199b0a7cb38e73a1b14a4a2e6f90b62b0a","datavalue":{"value":"20K27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937623$1EFF8561-8E61-44CC-A561-CD34080DD5C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35226a1b90d78a988ff503c54ec98d5f76d04bf7","datavalue":{"value":"1619874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937623$5BA15CFD-2CE0-464C-A4CF-562D69A5419D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5df85f96a38ca46aac4675cb288ebd8e5b061e2","datavalue":{"value":"purifiable subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937623$5FED4D7A-4196-4E75-BA92-70BA3576A050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e137c211be6b8d5bc05ee8c620bf6fe3e0518d90","datavalue":{"value":"kernels of purity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937623$7F234D96-650E-4E79-A0A5-2CA165A2F8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"939b5f4f9a91565ac7f8ee582bba1283013449c6","datavalue":{"value":"kernels of purifiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937623$8B24D96F-91ED-47D0-BB4D-EA873E985A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8ce47503fccb04e9446375d521e750a74b90311","datavalue":{"value":"vertical subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937623$97414E8F-9C54-4579-B84F-506DD6146903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1d849b78c9fe39a91397d121c78c6fa404ef3","datavalue":{"value":"pure subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937623$BA3AA1C1-162E-4748-8A93-2FD57000E916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"372483037bfdf7ce4375b7b030bbe453e0cfc61d","datavalue":{"value":"neat hulls","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937623$EAA7E90D-57F9-415E-A6F0-8756B0D080C1","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":"Q5937623$0F6CB7E6-724B-47B0-B472-D91CD99C46DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3acb0a90f5c83062a99da14e1fda3eedfe18bad","datavalue":{"value":"https://doi.org/10.14492/hokmj/1350911930","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937623$0A8EFAFE-ADEA-4CA4-B24A-9DE4E40036BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ce56ff55c3d54a0128b2d2c4d83b1327e5aeb62","datavalue":{"value":"W2061673935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937623$8FC2C4E8-AC64-4449-B0E9-30E30673A148","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e55c8cb890d3774a1191fa7ee2fefd173d2c662c","datavalue":{"value":"10.14492/HOKMJ/1350911930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937623$C7E11114-78B4-4E83-94A3-26BA1B9D35C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"568cba467d6dc77096e131ede88ee12507cf9a48","datavalue":{"value":"The paper deals with arbitrary Abelian groups and basically asks which subgroups are \\(p\\)-purifiable, i.e., contained in a minimal \\(p\\)-pure subgroup. The question is not easily answered and has spawned companion problems. A kernel of \\(p\\)-purity is a subgroup whose neat hulls are \\(p\\)-pure and a kernel of \\(p\\)-purifiability is a subgroup whose neat hulls are \\(p\\)-purifiable. There are groups with subgroups that are kernels of \\(p\\)-purifiability but not kernels of \\(p\\)-purity while the kernels of \\(p\\)-purity obviously are kernels of \\(p\\)-purifiability. The author obtains the following major results.NEWLINENEWLINENEWLINETheorem~2.14. A subgroup \\(A\\) of an arbitrary Abelian group \\(G\\) is a kernel of \\(p\\)-purity in \\(G\\) if and only if either (1) \\(A[p]\\) is \\(p\\)-dense in \\(G[p]\\), or (2) for some non-negative integer \\(k\\), \\(G[p]+A=p^kG[p]+A\\neq p^{k+1}G[p]+A\\) and \\(p^n(G/A)[p]=(p^nG[p]+A)/A\\) for all \\(n>k\\).NEWLINENEWLINENEWLINECorollary~2.15. Suppose that there is a non-negative integer such that either (1) \\(p^n G[p]+A=p^{n+1}G[p]+A\\) for all \\(n\\geq m\\), or (2) \\(p^n(G/A)[p]=(p^nG[p]+A)/A\\) for all \\(n\\geq m\\). Then \\(A\\) is \\(p\\)-purifiable in \\(G\\).NEWLINENEWLINENEWLINEA subgroup \\(A\\) of \\(G\\) is \\(p\\)-vertical if \\((A+p^{n+1}G)\\cap p^n G[p]=(A\\cap p^nG)[p]+p^{n+1}G[p]\\) for all \\(n\\geq 0\\).NEWLINENEWLINENEWLINETheorem~3.6. Let \\(G\\) be an arbitrary Abelian group and \\(A\\) a \\(p\\)-vertical subgroup \\(G\\). Then \\(A\\) is a kernel of \\(p\\)-purifiability of \\(G\\) if and only if one of the following three conditions holds. (1) \\(A\\cap p^mG\\) is \\(p\\)-dense in \\(p^mG\\) for some \\(m\\geq 0\\); (2) \\(p^n(G/A)[p]=(p^nG[p]+A)/A\\) for some \\(m\\geq 0\\) and all \\(n\\geq m\\); (3) there exist \\(m\\geq 0\\), and subgroups \\(H\\), \\(K\\) of \\(G\\) such that NEWLINE\\[NEWLINE\\frac{p^mG}{A\\cap p^mG}=\\frac{H}{A\\cap p^mG}\\oplus\\frac{K}{A\\cap p^m G},NEWLINE\\]NEWLINE where \\(\\frac{H}{A\\cap p^mG}\\) is a divisible subgroup of \\(\\left(\\frac{G}{A\\cap p^mG}\\right)_p\\) of finite rank and NEWLINE\\[NEWLINE\\frac{K}{A\\cap p^mG}[p]=\\frac{p^mG[p]+\\left(A\\cap p^mG\\right)}{A\\cap p^mG}\\text{ such that }p^\\omega\\left(\\frac{K}{A\\cap p^m G}\\right)[p]=0.NEWLINE\\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937623$9D5F4800-C424-4CC8-8B37-0EF64D880D09","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":"7d3d4e465af157b3ffcdbae4963ca21883f33a19","datavalue":{"value":{"amount":"+0.9017354249954224","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":"Q5937623$517DE731-2459-402C-AA7C-D0937C3F958D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03d68ff33044f909990c29e87ec694b87e72327","datavalue":{"value":{"entity-type":"item","numeric-id":3353252,"id":"Q3353252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7136d733b55853bdb91326e182d84a7118dfcb68","datavalue":{"value":{"amount":"+0.8997930288314819","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":"Q5937623$2F9D781B-F023-41B9-81C4-606C70AD3750","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":"3ede48e42ec2d1b27b16cf32f1e48a248ec1cf3e","datavalue":{"value":{"amount":"+0.8640087246894836","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":"Q5937623$CED55DE4-C4EF-41BD-AC97-61EB23B25B93","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":"ff774c907615e7a524b15b2a2d2c5e55bcdfb540","datavalue":{"value":{"amount":"+0.8606011867523193","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":"Q5937623$F6A8ECBD-E928-48A2-B5FF-18FFB0628BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba74cbd7232b4615c2342efdfc04d341ba8da792","datavalue":{"value":{"entity-type":"item","numeric-id":1775400,"id":"Q1775400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de39efe503eaffe9ecb72846d76d9f5241e528d","datavalue":{"value":{"amount":"+0.8496307134628296","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":"Q5937623$5407C445-EC96-4C9A-9188-587C9BAE14C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On kernels of purifiability in arbitrary Abelian groups","badges":[]}}}}}