{"entities":{"Q2725478":{"pageid":2736217,"ns":120,"title":"Item:Q2725478","lastrevid":82837862,"modified":"2026-05-06T22:12:06Z","type":"item","id":"Q2725478","labels":{"en":{"language":"en","value":"Relative injectivity and equivalence theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1619259"}},"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":"Q2725478$74BD77D4-6ED1-4648-8122-44B113D4A888","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef69d1c2e694ece56b39fcb40ca6ddf0859b1e96","datavalue":{"value":"0989.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725478$09F86583-1480-4BE2-A643-76A7689F5EC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2708d3391b4a41d621cc621e745ca45b73ae8340","datavalue":{"value":{"entity-type":"item","numeric-id":1815504,"id":"Q1815504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2725478$CC67D1F7-DC0A-4C50-9FD8-D7394B0C1524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d76b4c1e24b9093b76838ef31747a9a56414cec","datavalue":{"value":{"entity-type":"item","numeric-id":226442,"id":"Q226442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2725478$4393F232-6D6A-4C0C-BE3D-14372B9DB8CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0df0cb4a09cb048bf114138d01e3d80be5c036c1","datavalue":{"value":{"time":"+2001-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2725478$7215A2DC-F355-488D-B737-B22573B196C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86add130ce1bc29a7dcfc03615753d4d478943bf","datavalue":{"value":"20K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725478$57858A23-E270-47F1-8002-BC9A5E4E75E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13a880741f6f7aa1a4b691f23a1ea4d349674e32","datavalue":{"value":"20K30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725478$EF207D2C-99A3-470C-9FBE-287AFB837BC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c53eb31c03e874580b4e58b9464daf2fa855e8c","datavalue":{"value":"1619259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725478$DAFDF10E-4506-431E-A350-3A6A9786385D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d79181134b447872e6cd7bf58aa6992c7f05ee72","datavalue":{"value":"equivalent subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725478$7ED9F650-98FC-4D9C-B29C-AE5A146DA296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dde44b039039827a20558586c9aa15a00303555","datavalue":{"value":"strongly homogeneous groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725478$EC5F2331-3BCE-4518-ACED-F4C083504D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725478$AB658590-64FD-4CAE-9A5B-113E8BB9484E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf1c493f6d029e393f1796280b2ca85d5f61cbd6","datavalue":{"value":"torsion-free Abelian groups of finite rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725478$61B417ED-1584-4611-85BB-EAE63911BF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db142dd107fdc467fbdf3710d60d5927512fee12","datavalue":{"value":"homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725478$1086120B-918C-4693-9BE0-45415D82C1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1d849b78c9fe39a91397d121c78c6fa404ef3","datavalue":{"value":"pure subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725478$0D37E063-0696-4CF2-87C9-022EFDC3E9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09f04570def689715b84014013c9f3df4e02641","datavalue":{"value":"endomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725478$18D4F48E-390C-488B-9889-B87D1C1E12EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf547ddf884065f503b6cd0389141b48bd0e1e8","datavalue":{"value":"minimal test for equivalence of pure subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725478$AACD8A38-4724-441B-A955-8B12550CC416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bfd4c4821a1cce09127768246431b5488106dfe","datavalue":{"value":"lifting isomorphism property for pure subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725478$A0A1A4C5-2C41-4EA0-9F87-0C8A822E8582","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":"Q2725478$06A31F66-F2DE-4E81-8E8B-B3085024C709","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e18949d1a6554e532e4f62883a3c1fa353d0849","datavalue":{"value":{"text":"Relative injectivity and equivalence theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2725478$13A48745-0A9D-4A89-91A8-F4BAD89449D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ff13492d09c80c19f4228cc55f69e63742454364","datavalue":{"value":{"entity-type":"item","numeric-id":6551723,"id":"Q6551723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2725478$93BB7049-6265-4E6F-9A7C-DB96EAF7DC12","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db2ad3ba4514eb161b193e8f3051fefb2e1fed8f","datavalue":{"value":"Two subgroups \\(H\\) and \\(K\\) of an Abelian group \\(G\\) are called equivalent if there is an automorphism of \\(G\\) sending \\(H\\) onto \\(K\\). The authors investigate the relationships between several notions related to equivalence, all in the category of torsion-free Abelian groups of finite rank.NEWLINENEWLINENEWLINEThe relevant definitions are listed first. A group \\(G\\) (always torsion-free of finite rank) is strongly homogeneous if for any two pure rank-1 subgroups \\(X\\) and \\(Y\\) of \\(G\\) there is an automorphism of \\(G\\) sending \\(X\\) onto \\(Y\\). The group \\(G\\) is quasi-pure injective (qpi) if any homomorphism from a pure subgroup into \\(G\\) lifts to an endomorphism of \\(G\\). The group \\(G\\) has minimal test for the equivalence of pure subgroups (mteps) if whenever \\(H\\) and \\(K\\) are isomorphic pure subgroups of \\(G\\), \\(H\\) and \\(K\\) are equivalent in \\(G\\). Finally, \\(G\\) has the lifting isomorphism property for pure subgroups (lips) if whenever \\(H\\) and \\(K\\) are pure subgroups of \\(G\\) and \\(f\\colon H\\to K\\) is an isomorphism, there is an automorphism of \\(G\\) that lifts \\(f\\).NEWLINENEWLINENEWLINEIn restricted settings, all these notions coincide, as the following shows.NEWLINENEWLINENEWLINECorollary 1.1. Let \\(G\\) be indecomposable and homogeneous such that \\(\\{p\\text{ prime}:pG=G\\}\\) is finite. The following are equivalent: (1) \\(G\\) is strongly homogeneous; (2) \\(G\\) is qpi; (3) \\(G\\) has lips; (4) \\(G\\) has mteps.NEWLINENEWLINENEWLINEIn the homogeneous case, mteps and qpi are equivalent with a miniscule exception.NEWLINENEWLINENEWLINECorollary 2.9. Let \\(G\\) be homogeneous. (1) If \\(G\\) is qpi, then \\(G\\) has mteps; (2) If \\(G\\) has mteps and \\(G\\) is not a rank-3 group for which \\(\\{p\\text{ prime}:pG=G\\}\\) is infinite, then \\(G\\) is qpi.NEWLINENEWLINENEWLINEThe rank-3 condition in (2) of the corollary can not be removed -- the authors provide an example of a rank-3 group having mteps that is not qpi.NEWLINENEWLINENEWLINEA weakened version of the lips condition is useful in the nonhomogeneous case. A group \\(G\\) has the weak lips condition if any two isomorphic rank-1 pure subgroups are equivalent. Let \\(R\\) be a subring of an algebraic number field such that for every \\(r\\) in \\(R\\) there is a prime \\(p\\) such that \\(pR\\neq R\\) and \\(r-k\\in pR\\) for some integer \\(k\\). Then \\(R\\) is called a pointwise locally rational (plr) ring.NEWLINENEWLINENEWLINETheorem 4.5. Let \\(G\\) be strongly indecomposable and nonhomogeneous. Then (1) \\(G\\) has lips if and only if \\(G\\) has weak lips and \\(\\text{End}(G)\\) is a plr ring. (2) Suppose that either the rank of \\(\\text{End}(G)\\) is not 3 or \\(pG=G\\) for only finitely many primes. Then \\(G\\) has mteps if and only if \\(G\\) has lips.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725478$E5B4AD1D-3801-4B9F-AFBC-F012DD3C932F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6865107c5cbf016122c5b8a57ea7bf7ab4d24b78","datavalue":{"value":{"entity-type":"item","numeric-id":1232462,"id":"Q1232462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2725478$1917CA5F-E8F5-45DE-ADFF-4DC356359BA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd0a7122036b2d0167337d839faa2c4eded15d4","datavalue":{"value":{"entity-type":"item","numeric-id":3033980,"id":"Q3033980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087687245e39b580ee4d08a10ca63b3823cca724","datavalue":{"value":{"amount":"+0.8431299924850464","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":"Q2725478$78B2DAD0-41BD-4FEA-B8E1-7F03E7268B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a261226a404256cba402241169fe95d2199b1845","datavalue":{"value":{"entity-type":"item","numeric-id":3222375,"id":"Q3222375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98d17c51b67ba0c9e9bdbd2b788e5b8e853c684","datavalue":{"value":{"amount":"+0.8429666757583618","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":"Q2725478$83FB3074-7DAE-4582-9AF6-ACAF1D4432D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c4377beb5610cafc831183887c599780e5e69a","datavalue":{"value":{"entity-type":"item","numeric-id":4849555,"id":"Q4849555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2415407067fd4bfb6578583c811348fdf4c9d3","datavalue":{"value":{"amount":"+0.8360862731933594","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":"Q2725478$A59E28E0-E035-4FC6-848A-6DCBCA1DDA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a642e4391a0c65bb13c757d5c4f3e2a968c2272d","datavalue":{"value":{"entity-type":"item","numeric-id":4133846,"id":"Q4133846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ecfa82320e415bf29c84b6abc7f0ce434f5b05","datavalue":{"value":{"amount":"+0.8329848647117615","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":"Q2725478$7406AA51-7644-42C6-8632-58E959F2640A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b80ef41ef682ada5569df35ba90c5c8e14bfd9d","datavalue":{"value":{"entity-type":"item","numeric-id":3801783,"id":"Q3801783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e323e7fd16aecc9824a9dfed456db5abfd5e27","datavalue":{"value":{"amount":"+0.8108856678009033","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":"Q2725478$E2B64A4B-2C26-4755-A277-72ACB02B969A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relative injectivity and equivalence theorems","badges":[]}}}}}