{"entities":{"Q1911788":{"pageid":1922530,"ns":120,"title":"Item:Q1911788","lastrevid":69272184,"modified":"2026-04-13T05:54:02Z","type":"item","id":"Q1911788","labels":{"en":{"language":"en","value":"An extension of Warfield duality for abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 870169"}},"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":"Q1911788$1DA6A2FF-7931-4646-A550-06F261B738E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"422fe0ec3fb3567fd97e78647c232919f40ce179","datavalue":{"value":{"text":"An extension of Warfield duality for abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1911788$451B11D0-A5B1-46D9-86A3-312AAB0EF3CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e11581aa6c73a86a9139cd053c962d98e7d3307b","datavalue":{"value":"0845.20042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911788$BB39723C-C899-4F81-93F8-8630BFB5EBF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"904241a26315121b19242f05c99ff3492c2cc108","datavalue":{"value":{"entity-type":"item","numeric-id":168803,"id":"Q168803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911788$5C10C8B5-D4C1-46CA-9AE4-405A40DCAA5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911788$5421DB56-73AA-4817-9256-090A0D5B39CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5470b5c22e4a6e136e70cd444d55e19e2eedef35","datavalue":{"value":{"time":"+1996-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1911788$AC41BFA6-E534-440B-95FD-BE18BD636D15","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"35f7324110088afa1fe4b84580ab313192fc8965","datavalue":{"value":"In 1968 R. B. Warfield, jun. showed how to adapt vector space duality to torsion-free abelian groups (hereafter, simply ``groups'') of finite rank. If \\(A\\) is a subgroup of the additive rationals, a group \\(M\\) is called \\(A\\)-locally free if \\(M\\) embeds as a subgroup of a (finite) product of copies of \\(A\\) and for each prime \\(p\\), \\(pA=A\\) implies \\(pM=M\\) (\\(M\\) is an \\(\\text{End}(A)\\)-module). Warfield duality says that \\(\\text{Hom}(-,A)\\) is a duality on the \\(A\\)-locally free groups. In this note, Warfield duality is extended by allowing \\(A\\) to be more general. The author defines a class \\(\\Gamma(p)\\) to be the groups \\(G\\) with the following properties: (1) \\(p\\text{-rank}(G)=1\\); and \\(G\\) is \\(p\\)-reduced; (2) \\(G\\) is a rank-1 module over \\(R=\\text{End}(G)\\); (3) A group \\(M\\) is naturally isomorphic to \\(\\text{Hom}_R(\\text{Hom}_R(M,G),G)\\) precisely when \\(M\\) is an \\(\\text{End}_R(G)\\)-submodule of a product of copies of \\(G\\).   Note that no assumption is made on rank. Any group \\(G\\) satisfying (1) and (2) is homogeneous and \\(\\text{End}_Z(G)\\) is an integral domain. On the other hand, by a result of Arnold, O'Brien and Reid, any homogeneous indecomposable finite rank group which is quasi-pure injective is in \\(\\Gamma(p)\\) for some \\(p\\). Since the author intends to use \\(\\text{Hom}(-,G)\\), for \\(G\\in\\Gamma(p)\\) as a duality functor, condition (3) seems artificial. However, that condition is not needed for groups of finite rank.   Theorem. Let \\(G\\) be a torsion-free group of finite rank satisfying (1) and (2). Then a finite rank abelian group \\(M\\) is naturally isomorphic to \\(\\text{Hom}_Z(\\text{Hom}_Z(M,G),G)\\) if and only if \\(M\\) is an \\(\\text{End}(G)\\) module and embeds as a pure subgroup of a product of copies of \\(G\\).   The ``locally-free'' result in the general case is the following Corollary. Let \\(G\\in\\Gamma(p)\\) and let \\(M\\) be an abelian group of finite \\(p\\)-rank. Then \\(M\\simeq\\text{Hom}_Z(K,G)\\) for some abelian group \\(K\\) if and only if \\(M\\) embeds as a subgroup of a product of copies of \\(G\\) and \\(M\\) is a left \\(\\text{End}(G)\\) module. The author illumines these and other duality theorems with numerous examples. A final section in the paper investigates an injective lifting property that is related to the duality results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911788$5D70CFA1-DFBE-4FBF-B0E9-2CAC0E52B150","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cfb57c69293433f684dbc678151e805fcd25301","datavalue":{"value":"20K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911788$45FD17A6-7E73-45F6-9F14-021BD2A96D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ee5ec82f1fe602a2f3e0151779f8d6f2f03f31c","datavalue":{"value":"20K40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911788$88FB347D-7DA7-4536-B9F8-646115B507CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86add130ce1bc29a7dcfc03615753d4d478943bf","datavalue":{"value":"20K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911788$9EEC1916-900D-4D81-9AC1-183807B245E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80e9b15362ac4065ac6748fcf713fb3d98eee9ec","datavalue":{"value":"870169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911788$E35BC419-DAFC-4223-9ED0-4935F3246683","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e08a6ff7958aa483351b9f75f1942a489aa1ae3","datavalue":{"value":"torsion-free Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911788$FDC8B580-4C2C-430B-90AE-AD73981F604B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1846a8d5727144992e91ceeda39252d48d616785","datavalue":{"value":"Warfield duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911788$F06C9617-D42E-4CA4-A5B4-447D27290A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601b614615aacc832c70db590b827f301e75e706","datavalue":{"value":"\\(A\\)-locally free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911788$ED611EB5-A3F3-4CCD-9D47-6172C4DE2893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64e46738215ecfbd052a8ba09e6087ce7d817649","datavalue":{"value":"homogeneous indecomposable finite rank groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911788$F4EF5D9A-E806-498A-96FB-BCA03F403CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72df7d4808439031a9ba00183d626b938ca5ea78","datavalue":{"value":"duality functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911788$E54BBC31-C55A-4A9B-AD71-104181B641DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1d849b78c9fe39a91397d121c78c6fa404ef3","datavalue":{"value":"pure subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911788$36206F17-511A-4B04-8C23-9CF54B910A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7aa63c38356fce7cd824cb38ff1cbdfc27d685","datavalue":{"value":"duality theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911788$F675F2D4-AC3E-439D-A912-1EDBBA7C3E68","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":"Q1911788$1E67083C-9F7B-4BC9-BB70-4B22114DD64B","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":"Q1911788$6023F6D8-6BFB-4876-BC3E-5CA7A539A5E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"130376d581e0a2cdc8748d94b3926b63e561117b","datavalue":{"value":"https://doi.org/10.1006/jabr.1996.0097","type":"string"},"datatype":"url"},"type":"statement","id":"Q1911788$135D7B4E-65C1-4D59-8419-7D7E6720BB1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6df8ed4719f163a7528d771ebde126f2f694a623","datavalue":{"value":"W2079043161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911788$C99FEF79-9E67-40E3-AC63-3CC1FEEF5487","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"558d85c42d43d830dcd8f3c66cf973ad8addd2a7","datavalue":{"value":"10.1006/JABR.1996.0097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911788$01B0FF01-DC3F-465C-B6B4-05BA84044794","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d42ab93c126fe2fe9c4684bf3eaabd7de5130c","datavalue":{"value":{"entity-type":"item","numeric-id":4025962,"id":"Q4025962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18abd6de4e8394a028d2861cd04e775b0f9c80a","datavalue":{"value":{"amount":"+0.8545853495597839","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":"Q1911788$281DEC10-2AFC-4C21-9648-029A13B8AE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c6b74ae8f03ff7cae43444bee2da311ae8c79e","datavalue":{"value":{"entity-type":"item","numeric-id":1096019,"id":"Q1096019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65492099e160cd3f6ddff39478ef3454732b6318","datavalue":{"value":{"amount":"+0.8424969911575317","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":"Q1911788$3DC9F673-2D90-4D2C-B1DD-EA61B0BCE7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470685e1f951b38fda6d3c839569ab2fe91942cf","datavalue":{"value":{"entity-type":"item","numeric-id":1295750,"id":"Q1295750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474557b5988402420f88ff38996d71b5165779c1","datavalue":{"value":{"amount":"+0.8318231701850891","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":"Q1911788$04400BF5-D7F7-482B-B4CD-82E90B382D4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extension of Warfield duality for abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_extension_of_Warfield_duality_for_abelian_groups"}}}}}