{"entities":{"Q581672":{"pageid":583439,"ns":120,"title":"Item:Q581672","lastrevid":62933028,"modified":"2026-04-11T09:04:42Z","type":"item","id":"Q581672","labels":{"en":{"language":"en","value":"Torsion-free Abelian groups with hereditary rings of endomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4129098"}},"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":"Q581672$1D66E55A-5607-4D3A-9C97-98BDE4AE9A34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e4215ae14bebc1fd968519527492a050dde3347","datavalue":{"value":{"text":"Torsion-free Abelian groups with hereditary rings of endomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q581672$1A36A56B-D4E7-47A7-A9B3-F312032166F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17f1f75fcd520671f62a8c4da0c0a0bfa69ac8f2","datavalue":{"value":"0689.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581672$00B90968-2EF8-44C3-9FD5-959DE28C8AC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0ca78db535b0eda41f43212f93618b2e8ca7bab","datavalue":{"value":"10.1007/BF01978563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581672$A290AC0B-8C54-49E3-8E37-90AAFC597647","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581672$198F8003-4BFF-4F3B-B3A1-8F6B1FF67792","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q581672$CFC0482C-8A9F-4A06-A875-BDD029D40004","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9a1ec0e89f6dc508a86e8bda75c0b79bbe3cc3f","datavalue":{"value":"Let S be an associative ring with 1, A be a unitary right S-module, A is said to be self-small, if the image of any homomorphism \\(A\\to \\sum^{\\oplus}_{i\\in {\\mathfrak M}}A_ i\\), \\(A_ i\\cong A\\), \\(i\\in {\\mathfrak M}\\) is contained in the sum of a finite number \\(A_ i\\) for any set \\({\\mathfrak M}\\). An S-module G is said to be A-free (A-projective) if \\(G\\cong \\sum^{\\oplus}_{{\\mathfrak M}}A\\) (G is a direct summand of \\(\\sum^{\\oplus}_{{\\mathfrak M}}A)\\). G is said to be locally A-projective if any finite set of elements of G can be embedded in an A-projective direct summand of G. Let \\(R=End_ sA\\), \\(H=Hom_ s(A,-)\\), \\(T=-\\otimes_ RA\\), \\({\\mathcal P}_ R\\) be the category of all projective right R-modules, \\({\\mathcal P}_ A\\) be the category of all submodules G of A-projective S- modules with \\(G=tr_ GA.\\)    Theorem 1.1. Let A be a self-small S-module and a flat R-module. Then the following conditions are equivalent: 1) IA\\(\\neq A\\), for any proper right ideal I of R; 2) The functors H and T define an equivalence of \\({\\mathcal P}_ A\\) and \\({\\mathcal P}_ R\\). Theorem 1.2. If R is discrete in the finite topology and A is a flat R-module, then the following conditions are equivalent: 1) IA\\(\\neq A\\) for any proper right ideal I of R; 2) H and T define an equivalence of the category of all submodules G of locally A- projective S-modules with \\(tr_ GA=G\\) and the category of all submodules of locally projective right R-modules. Corollary 1.1. Let A be a self- small S-module and a flat R-module. The following statements are equivalent: 1) R is a right hereditary ring a ring of free right ideals); 2) IA\\(\\neq A\\) for any proper right ideal I of R and any submodule \\(G=tr_ GA\\) of an A-projective (A-free) S-module is A-projective (A-free).    In {\\S}2 of this article \\(S={\\mathbb{Z}}\\), \\(R=End_{{\\mathbb{Z}}}A\\). For an abelian group G \\(tr_ GA=G\\) if and only if there is an epimorphism \\(\\sum^{\\oplus}_{{\\mathfrak M}}A\\to G\\). The smallest \\({\\mathcal M}\\) of this kind is said to be the A-rank of G. Theorem 2.1. The following conditions on a reduced torsion-free abelian group A with noetherian ring R are equivalent: 1) R is right hereditary and for any subgroup \\(V\\cong A\\) the group A/V is periodic; 2) if B is a subgroup of finite A-rank of a locally A-projective group G, then the pure envelope \\(B_*\\) of B is a direct summand of G. Corollary 2.2. Let A be a torsion-free abelian group wth a hereditary noetherian semiprime ring R and A/V be periodic for any subgroup \\(V\\cong A\\). Then if B is a pure subgroup of a locally A- projective group G such that \\(tr_ BA=B\\) and the ring of endomorphisms E(B) is discrete in the finite topology, then B is a direct summand of G. Corollary 2.3. The following statements on a reduced torsion-free abelian group A of finite rank are equivalent: 1) R is right hereditary; 2) A is endoflat and if B is a pure subgroup of finite rank of a locally A- projective group G and \\(tr_ BA=B\\), then B is a direct summand of G; 3) If B is a subgroup of finite rank of a locally A-projective group G and \\(tr_ BA=B\\), then \\(B_*\\) is a direct summand of G.","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$EBA69037-9616-45D2-88CC-59376A1E3A33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cfb57c69293433f684dbc678151e805fcd25301","datavalue":{"value":"20K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581672$585BDDE9-E380-4CA0-8A9A-99F39B4BBD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13a880741f6f7aa1a4b691f23a1ea4d349674e32","datavalue":{"value":"20K30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581672$8288650A-3B08-4AB7-A7AE-75B7DE82914A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d3990e83d8adef69305bd4ca0e422b9869252","datavalue":{"value":"16S50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581672$8E0EA7D0-B63C-42BD-901E-29B571E6BDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2201aba74a3d4a617edab8e76a38123f9009fdfb","datavalue":{"value":"20K25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581672$C354C951-2D0C-4FC1-AEFB-D4036382102B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9828d161092142abeba8ebc404a6788b67cab0f3","datavalue":{"value":"16D90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581672$41381E01-28AF-4FF8-9303-6646F7F782C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"af8bc373c6b3dbb00fb5063d72d87f1d5b163800","datavalue":{"value":"16D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581672$BA06FD6B-C3EA-4E82-BD25-1AB272F57D8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efeba2e757f689fd712ba1e65781f0e7514d9c6f","datavalue":{"value":"4129098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581672$5B6E1FDD-69AE-463C-9DB8-8475EC608D89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"746b1f5a92003fcddfeafa473e08054af85ec549","datavalue":{"value":"direct summand","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$D32C21A0-DCD0-4DF5-A8F9-415C1EC58CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b49cb6010d4de71036bd3c2cdcc6e4de8c9353fe","datavalue":{"value":"locally A-projective","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$78369E90-35D9-4DE2-B2BC-70607468AE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"619671e657ef83f83cf3fa19364999bb7a553ac9","datavalue":{"value":"A-projective direct summand","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$494A7AC0-3E29-49D3-B1C7-87F3ACB5E6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dfd9b0ef6ee9331925d208c220d1d674f41d630","datavalue":{"value":"projective right R-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$DCA14495-589D-4A63-8974-C793D1406CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afb344af53198b0603372a6727077b26ad2ee41a","datavalue":{"value":"self-small S-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$6B822E59-9DBC-4944-918C-EA328618CB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e102ede221d4d7cbca8ef08578422c6772d0122","datavalue":{"value":"flat R-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$F9A0531F-4671-4CBA-A11E-0695A9492E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b371d96852ddeb70b96cb6b4e41da59dba907d33","datavalue":{"value":"finite topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$155D8D33-06AB-47AF-ACD5-3E856EF26D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e64dbcbfcf61bafd022a0f2ac9366e71a7accb2","datavalue":{"value":"equivalence of the category","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$680468D2-EC69-4221-AC4F-0D35BC4DBD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd2a026368fac33a6fa950a8bff480c6189548c4","datavalue":{"value":"right hereditary ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$AD64E7AB-39C5-4944-B8F7-A5805034C385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ec0bc287306de229cf607d7f8c37f616237b596","datavalue":{"value":"reduced torsion-free abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$EF43AE75-6155-4234-9EE5-1028F98F202F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14bc8e1710c09ad405ada4e08f92181e33281f01","datavalue":{"value":"noetherian ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$50589ECE-8D27-4E7C-9C74-3ABCD29D8A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d0f61cc88c7ef4eaa21315079cb1f212ce327bb","datavalue":{"value":"locally A-projective group","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$5D827808-2BB7-40A7-AD1D-9DBA4E28F650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22b9a10797d6251ce12384c5a99c377856b81207","datavalue":{"value":"pure envelope","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$E90A6446-1E2D-4E7E-8584-C1BE650C94E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e163b4946fac8180221df97b7c653f4a7349e9","datavalue":{"value":"pure subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$5562F302-AE97-4905-87FD-3102AEA5FE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e4afa0b115ff7f0da5f52f9d98b5978d43ae386","datavalue":{"value":"ring of endomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$D1C99E22-7A6B-4E90-BB88-02BA281726FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7577b1ffe67aebace544d42cfc6250a0d6b545b","datavalue":{"value":"endoflat","type":"string"},"datatype":"string"},"type":"statement","id":"Q581672$78963E2B-E353-4FAD-BAB3-9B5DB8111372","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc9b11347fa4d4f75c4fd43a03a05acfba97c718","datavalue":{"value":{"entity-type":"item","numeric-id":1669842,"id":"Q1669842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581672$6BC5B281-7A72-460B-8E20-3B8DE143CA38","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"09ab3215a8db104779b7fcb0e29aad3934f93db1","datavalue":{"value":{"entity-type":"item","numeric-id":635662,"id":"Q635662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581672$07445B58-C398-49D4-81F1-0011915A8A69","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":"Q581672$42A11A3A-07AF-4816-ACCF-31E7E11394F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e215ca988b495a4be0f873b302ce8744ca9719","datavalue":{"value":{"entity-type":"item","numeric-id":4095070,"id":"Q4095070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581672$7E45C239-D89D-48C1-951C-6331B68D9D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65df657c97f7a49617cbb6ab0c102b8800dc649d","datavalue":{"value":{"entity-type":"item","numeric-id":1229922,"id":"Q1229922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581672$9193672F-AC02-4FF7-93E0-E8F90DADE533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b4f955c6348ce87baacf5add332a6fb0725124","datavalue":{"value":{"entity-type":"item","numeric-id":5609457,"id":"Q5609457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581672$EC08A9EC-4CE4-4F36-8917-7219028623C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f8f43bcdb8c581a4679109992335989f05fdbb","datavalue":{"value":{"entity-type":"item","numeric-id":1070042,"id":"Q1070042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581672$73BD709B-7715-4E87-B6D1-1C807FE09A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a90c64386aa8259c8b08297276c55b37b5383ea","datavalue":{"value":{"entity-type":"item","numeric-id":3943133,"id":"Q3943133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581672$C3E483E8-79EE-4AB0-94E8-7BA18A725049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7238b790fe44d6bb56696c136b9b97a11b9cdd63","datavalue":{"value":{"entity-type":"item","numeric-id":1168433,"id":"Q1168433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581672$26F25395-DB9A-422A-9BE3-C8F74FA58726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a23a1b7e541751c74831c764a5c9eb4074bb18","datavalue":{"value":{"entity-type":"item","numeric-id":3843686,"id":"Q3843686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581672$93374094-6746-42EC-B514-8E17E92CE973","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba09ed54f9d7b5c163d77573d4c5b270bcbc2d6","datavalue":{"value":{"entity-type":"item","numeric-id":4713922,"id":"Q4713922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3df027d60a832bc69b0108a065fe2da349e4959","datavalue":{"value":{"amount":"+0.9045589566230774","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":"Q581672$F9A39213-BE5D-47FD-A355-D4BF38FCFDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01789374838464f62efb73f3db5d3ee042b028c2","datavalue":{"value":{"entity-type":"item","numeric-id":1333074,"id":"Q1333074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a261f719813f8eac42a84540e0aeb2b5dca78ccd","datavalue":{"value":{"amount":"+0.8970841765403748","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":"Q581672$E7582DBC-1DF8-429E-A274-19CC90323215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c834607de83de89fb803b8a3cc4009d49f78486","datavalue":{"value":{"entity-type":"item","numeric-id":4712331,"id":"Q4712331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f62d178d883383a5a5696b76e21c425e29e9d84","datavalue":{"value":{"amount":"+0.8944751620292664","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":"Q581672$5D33EC00-D75C-4883-B7DB-CF5A420167AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec0d512e5763d186479cfbe4f6f82c98aa1fb0dd","datavalue":{"value":{"entity-type":"item","numeric-id":4797485,"id":"Q4797485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c60f26860ec5c7fca6f3852fc67c9d40279d4d","datavalue":{"value":{"amount":"+0.8930786848068237","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":"Q581672$8F40C21D-AF26-4693-8078-5D74ACCB481F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f039c6c123948e2b65c5259f59fe4c6371c624bf","datavalue":{"value":{"entity-type":"item","numeric-id":3775720,"id":"Q3775720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6566769b6c0506be8ed6bf5eb13c9166e9550cfc","datavalue":{"value":{"amount":"+0.8551853895187378","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":"Q581672$734BEAE6-A321-430F-ABA6-226A1838549A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Torsion-free Abelian groups with hereditary rings of endomorphisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Torsion-free_Abelian_groups_with_hereditary_rings_of_endomorphisms"}}}}}