{"entities":{"Q2738749":{"pageid":2749488,"ns":120,"title":"Item:Q2738749","lastrevid":47663467,"modified":"2026-01-02T09:13:09Z","type":"item","id":"Q2738749","labels":{"en":{"language":"en","value":"Quotient divisible mixed groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1639874"}},"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":"Q2738749$C05E7DBE-9682-4717-A6BE-EA16A764D1B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c300b69e6da966dc65479d5d7bc20f72da49dbb6","datavalue":{"value":"0989.20044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2738749$F1437BCB-DB56-4BC2-8244-BCBB072711DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0ad5a041ba241aa8acd7b1ba5ce82be5f4fc6ba","datavalue":{"value":{"time":"+2002-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2738749$6302D9F3-0579-4FC8-A9D3-056DE2022AF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eff0a0b30fce63a72f2b4716638c8599020c0a0c","datavalue":{"value":"20K21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2738749$82AB8786-65B8-4EE2-AB7A-1DEF6E918D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86add130ce1bc29a7dcfc03615753d4d478943bf","datavalue":{"value":"20K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2738749$220BD347-3499-48B5-A326-6B6351A059C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ee5ec82f1fe602a2f3e0151779f8d6f2f03f31c","datavalue":{"value":"20K40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2738749$27EB2F1A-98FE-4FD2-9BA3-1B439DCD8FFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f29c36ab53b5769e309323ac321ee20ff1406b2","datavalue":{"value":"1639874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2738749$B00F410A-1BDC-4EDB-9852-1ADD8E339004","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c158c9b75553f1deb7c2822a33ecd60d0f11aab","datavalue":{"value":"modules over pseudo-rational numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738749$DA7843B6-5AFB-4B2C-AEB5-4E48D41A33C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f59f3edeb6ffab708a450b77037dfc796e4f33c7","datavalue":{"value":"quotient divisible groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738749$B4904B89-7B99-4E00-994A-DDAF1F6E3828","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":"Q2738749$1C9FB880-CD8D-43FC-BC1A-61E771675282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea6536fdc508a9f866aad9e257713e6653cf592a","datavalue":{"value":"free finite-rank subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738749$2FCACECC-189F-4F65-88CD-4CDBA1B38DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b378c0bbe31c95f8c954d0ad82b3a13c8d2e8c1","datavalue":{"value":"quasi-homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738749$8FF4182F-C2ED-4FFD-A564-48B4E6E4F9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc62728f3da45a208be762803dd0928efb0d3e6","datavalue":{"value":"dualities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738749$B368910D-CAE2-4935-84AD-070B63EB3559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad51b9d3a404f3f6443eb4df90a2e418a14ff148","datavalue":{"value":"minimax groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738749$9A9DCA39-7200-4529-8841-7EC5616C0626","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"030f9a1e48f47d8307ca80b90650d03bd48fc571","datavalue":{"value":{"entity-type":"item","numeric-id":1414987,"id":"Q1414987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2738749$DFD2537A-5AE6-4DBA-95D6-9022DBD3C670","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":"Q2738749$95808535-5901-44FD-9A0B-83811FE857FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dce983aa154477427f62e07608cf50129337e435","datavalue":{"value":{"text":"Quotient divisible mixed groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2738749$B9EA2D2F-C67C-46C9-A57D-78C6D3952FC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ceb3daa6f5f3e2ec7a6051b77c96d09e8056783c","datavalue":{"value":"This paper continues the author's study of modules over the pseudo-rational numbers as an aid to understanding both quotient divisible groups and torsion-free Abelian groups of finite rank. We begin the review by reviewing the relevant definitions.NEWLINENEWLINENEWLINEThe pure subring of \\(\\prod_p\\widehat\\mathbb{Z}_p\\) generated by 1 and \\(\\bigoplus_p\\widehat\\mathbb{Z}_p\\) is called the ring of pseudo-rational numbers. An Abelian group \\(A\\) is called quotient divisible if it does not contain torsion divisible subgroups, but does contain a free finite-rank subgroup \\(F\\) such that \\(A/F\\) is torsion divisible.NEWLINENEWLINENEWLINEThree categories play important roles in the paper: 1. The category \\(\\mathcal{QD}\\) has objects the quotient divisible groups and morphisms are the quasi-homomorphisms, \\(\\mathbb{Q}\\otimes\\text{Hom}(A,B)\\). 2. The category \\(\\mathcal{QTF}\\) has objects the torsion-free Abelian groups of finite rank and morphisms are again the quasi-homomorphisms. 2. The category \\(\\mathcal{FR}\\) has objects that are pairs \\((F,M)\\), where \\(F\\) is a free finite-rank Abelian group contained in an \\(R\\)-module \\(M\\) such that \\(F\\) generates \\(M\\) as an \\(R\\)-module. A morphism from \\((F,M)\\) to \\((F',M')\\) is a pair \\((f,\\phi)\\) such that \\(f\\colon F\\to F'\\) is a group quasi-homomorphism and \\(\\phi\\colon M/F\\to M'/F'\\) is an \\(R\\)-module quasi-homomorphism such that \\(\\pi'f=\\phi\\pi\\), where \\(\\pi\\), \\(\\pi'\\) denote the factor maps \\(M\\to M/F\\) and \\(M'\\to M'/F'\\).NEWLINENEWLINENEWLINEIt turns out that all quotient divisible groups are determined by the objects in \\(\\mathcal{FR}\\).NEWLINENEWLINENEWLINETheorem 2.8. Let \\(A\\) be a quotient divisible group with a free subgroup \\(F\\) such that \\(A/F\\) is torsion-divisible. Then there exists an \\(R\\)-module \\(M\\) such that \\(A\\subset M\\), \\(F\\) generates \\(M\\) as an \\(R\\)-module, and \\(A\\) is the pure hull of \\(F\\) in \\(M\\).NEWLINENEWLINENEWLINEThe next theorem formalizes the relationship between quotient divisible groups and objects of \\(\\mathcal{FR}\\).NEWLINENEWLINENEWLINETheorem 3.5. The categories \\(\\mathcal{FR}\\) and \\(\\mathcal{QD}\\) are equivalent.NEWLINENEWLINENEWLINEHaving shown in an earlier paper with W. J. Wickless that \\(\\mathcal{QD}\\) and \\(\\mathcal{QTF}\\) are dual, the author immediately concludes:NEWLINENEWLINENEWLINETheorem 4.1. The category \\(\\mathcal{QTF}\\) is dual to the category \\(\\mathcal{FR}\\).NEWLINENEWLINENEWLINETwo more definitions introduce the final theorem. Using the duality of Theorem 4.1, the pseudo-rational rank of a torsion-free Abelian group \\(A\\) of finite rank is defined in terms of a rank function (not defined here) on objects in the category \\(\\mathcal{FR}\\). The group \\(A\\) is called a minimax group if it contains a subgroup that satisfies the maximum condition on subgroups for which the factor group satisfies the minimum condition.NEWLINENEWLINENEWLINETheorem 4.5. The following statements are equivalent for a torsion-free finite-rank group \\(A\\): 1. The pseudo-rational rank of \\(A\\) is \\(0\\), 2. \\(A\\) is an extension of a free group by a torsion divisible group of finite rank, 3. \\(A\\) is a minimax group.NEWLINENEWLINEFor the entire collection see [Zbl 0960.00043].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738749$7970AE48-C537-4136-8367-452A4BD82086","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":"Q2738749$56291BD7-ABD2-4DD3-8E3B-ECD1ADB32201","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f61f722ad080b146c6f61db01d9ca818bda0b7","datavalue":{"value":{"entity-type":"item","numeric-id":3082449,"id":"Q3082449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f87c959f01ad706925a33dd62651e64d9fc4a1f","datavalue":{"value":{"amount":"+0.8668131828308105","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":"Q2738749$4F72CA9F-D42E-4D75-88C2-71362CE22944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad43e1489007d4403812545f5c97870aeb1d40a7","datavalue":{"value":{"entity-type":"item","numeric-id":4372723,"id":"Q4372723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507c6ae1bd86d0c9434025ee4f96d3bff205eb10","datavalue":{"value":{"amount":"+0.8585212826728821","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":"Q2738749$B6DA3002-4644-4426-99E0-0EDEEEE6FDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5340b59ae113fd141ae707d2125ff3ccfc0add5","datavalue":{"value":{"entity-type":"item","numeric-id":2519185,"id":"Q2519185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507c6ae1bd86d0c9434025ee4f96d3bff205eb10","datavalue":{"value":{"amount":"+0.8585212826728821","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":"Q2738749$BC7F16FC-2E7F-4B9F-A965-0BDADA281391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a971fadae62d41f7f33e3e423d81b824d6660673","datavalue":{"value":{"entity-type":"item","numeric-id":5393699,"id":"Q5393699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba877617da8c2e1405281978b56f41d097ec642","datavalue":{"value":{"amount":"+0.8449164032936096","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":"Q2738749$133C763A-29A9-434F-B342-B094BEF76357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a23fb3532f600c9e1cfa664aa9ce3b3352bf11a","datavalue":{"value":{"entity-type":"item","numeric-id":3158219,"id":"Q3158219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2daa9034a519845d44869689d11a84ca1c36d6","datavalue":{"value":{"amount":"+0.8412112593650818","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":"Q2738749$4D47B348-19FB-4DCF-92A3-622140E8C9A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2738749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2738749"}}}}}