{"entities":{"Q1315167":{"pageid":1325917,"ns":120,"title":"Item:Q1315167","lastrevid":67153152,"modified":"2026-04-12T15:38:47Z","type":"item","id":"Q1315167","labels":{"en":{"language":"en","value":"The existence of envelopes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 510097"}},"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":"Q1315167$5AAE1AA2-CBB4-4F3B-A966-587022F4B00A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac06dd3fd34784c4e2daa7c114a659a121560e38","datavalue":{"value":{"text":"The existence of envelopes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1315167$B7216193-E0EB-4FAE-B5EF-FDEEB845AB55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1ce1e37f02af31e6bb6d48cd7320af95ee637c5","datavalue":{"value":"0803.16001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315167$3F0586FD-31EF-43CA-B1AE-609B188D3431","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8da75221719b784c553f9e897f731f8787c18c0e","datavalue":{"value":{"entity-type":"item","numeric-id":206782,"id":"Q206782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$BF9BCD9C-78A4-4C0A-A49A-701C4B631978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c725258c50cfe55ecb897b1f54521701972eee0","datavalue":{"value":{"entity-type":"item","numeric-id":206783,"id":"Q206783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$FF452B15-9F0D-4AFB-A7FA-434BD47E9711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3540270dd772408fcec027c1e3ae07314be085c1","datavalue":{"value":{"entity-type":"item","numeric-id":1633856,"id":"Q1633856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$569A282E-8439-4FCC-86ED-94CA90CF2A08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"816e97a1cfcdf018f87d172411a8ab21b6bfff04","datavalue":{"value":{"entity-type":"item","numeric-id":361729,"id":"Q361729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$2B05DD78-220A-4859-A8DA-337D8017D21E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"474438facc06fb671d8e5448a17e8dde14fde7a6","datavalue":{"value":{"time":"+1995-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1315167$818E8783-7828-4B4C-814C-872BBFA2276F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d699e39e42ba1f2d1c5563c238603cfe04fc8baf","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1993__90__45_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1315167$134217B3-67A7-4D33-B127-475FC41E73A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7ae161d9b889d6d8c2156ec1b6c042a5433beb7","datavalue":{"value":"https://eudml.org/doc/108308","type":"string"},"datatype":"url"},"type":"statement","id":"Q1315167$5DE1F6E3-BE24-4A74-BAF4-D72869AA5817","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ba5cc1d4aca1165f172d1602027d5c48080c70f","datavalue":{"value":"For a ring \\(R\\) and a class \\(\\mathcal F\\) of left \\(R\\)-modules an \\(\\mathcal F\\)- preenvelope of a left \\(R\\)-module \\(M\\) is a linear map \\(\\phi : M \\to F\\), \\(F \\in {\\mathcal F}\\), such that for any linear map \\(f: M \\to F'\\), \\(F' \\in {\\mathcal F}\\), there is a \\(g : F \\to F'\\) such that \\(g \\circ \\phi = f\\). If when \\(F = F'\\) and \\(f = \\phi\\) the only such completing maps are automorphisms of \\(F\\), then \\(F\\) is said to be an \\(\\mathcal F\\)-envelope of \\(M\\). \\(\\mathcal F\\)- envelopes are unique up to isomorphism when they exist. \\textit{J.-M. Maranda} [Trans. Am. Math. Soc. 110, 98-135 (1964; Zbl 0121.266)] defined an injective structure \\(({\\mathcal A,\\mathcal F})\\) in the category of left \\(R\\)-modules to be a class \\(\\mathcal A\\) of linear mappings between left \\(R\\)-modules and a class \\(\\mathcal F\\) of left \\(R\\)-modules such that: 1) \\(F \\in {\\mathcal F}\\) if and only if \\(\\text{Hom}_ R(N,F) \\to \\text{Hom}_ R(M,F) \\to 0\\) is exact for all \\(M \\to N \\in {\\mathcal A}\\), 2) \\(M \\to N \\in {\\mathcal A}\\) if and only if \\(\\text{Hom}_ R(N,F) \\to \\text{Hom}_ R(M,F) \\to 0\\) is exact for all \\(F\\in {\\mathcal F}\\), and 3) Every left \\(R\\)-module \\(M\\) has an \\(\\mathcal F\\)-preenvelope \\(M \\to F\\). A class \\(\\mathcal G\\) of right \\(R\\)-modules is said to determine the injective structure \\((\\mathcal A,\\mathcal F)\\) if \\(M \\to N \\in {\\mathcal A}\\) if and only if \\(0 \\to G \\otimes M \\to G \\otimes N\\) is exact for all \\(G \\in {\\mathcal G}\\).   The authors show that every left \\(R\\)-module has an \\(\\mathcal F\\)-envelope relative to an injective structure \\(({\\mathcal A,\\mathcal F})\\) determined by a class \\(\\mathcal G\\) of right \\(R\\)-modules. Moreover, they show that if \\(\\mathcal G\\) is any set of right \\(R\\)-modules, there is a unique injective structure \\(({\\mathcal A},{\\mathcal F})\\) determined by \\(\\mathcal G\\). In fact, they show that \\(F \\in {\\mathcal F}\\) if and only if \\(F\\) is isomorphic to a direct summand of products of copies of the character modules \\(G^ + = \\text{Hom}_ Z (G,Q/Z)\\), \\(G \\in {\\mathcal G}\\). Using these results the authors go on to show that if \\(R\\) is right coherent, then every left \\(R\\)-module has a pure injective envelope and when \\(R\\) is right coherent and pure injective as a left \\(R\\)-module, they show that every finitely presented left \\(R\\)-module has a flat envelope.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315167$DB3D22B3-8D32-402D-A339-0B32E5847147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"59468a913be5e3daa38c40f41f68743380f8fa93","datavalue":{"value":"16D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315167$322A7636-F30E-4E87-911F-B2D5381FB9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"af8bc373c6b3dbb00fb5063d72d87f1d5b163800","datavalue":{"value":"16D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315167$535592CE-30AA-494D-8097-0D308485E440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"446743b4bc857654a1ded5abcfd1d270ede262f3","datavalue":{"value":"16W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315167$C730DB61-CB5D-4B11-B3BF-08FB8223276C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17721c552fedc29cdd6a856b981d41ede80ecb5a","datavalue":{"value":"510097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315167$8BBF055D-65C1-4677-B241-ADC58551FED4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e4f68e7fe5fb0e13cdee6df801baf802b8a8915","datavalue":{"value":"linear map","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315167$A61BA51A-A1F6-4B7B-AA97-B792753479A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315167$03E28AD6-FC1D-418B-BEAC-7CB9C105B565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcca35f7ac05560a2bad3909c6bba27b191be49d","datavalue":{"value":"\\(\\mathcal F\\)-envelopes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315167$FC40EF05-AC35-429A-A56A-30DD52A8315D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165a43f84a6db2aab65f301b810d8800740de9a7","datavalue":{"value":"injective structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315167$5A45F644-410C-492B-8F62-55B7C3314126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc3285713f51ddd4ff6539ec1eec0c6cbed99f43","datavalue":{"value":"category of left \\(R\\)-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315167$E12397DF-2F00-444A-9961-7DD2C0003970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a8abf36f872a613d732d52efb23d261b5900134","datavalue":{"value":"character modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315167$D03BFFD8-2825-461D-9127-04659E1D86CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"365acd6f918a1ed872fe7ec764e71ef5f1393c98","datavalue":{"value":"pure injective envelope","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315167$625E87FF-8D29-47DF-B3ED-E9C9EF7861F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f18e46933b74baf715f5411d48656d9d87e82da1","datavalue":{"value":"finitely presented left \\(R\\)-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315167$762DB9E9-64DD-4478-A00D-E1ADBC1D5054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11288be8f724aa285264c7b6e06532317468ca7","datavalue":{"value":"flat envelope","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315167$99E04FBE-AF1E-4B4C-A8E9-28A53A174510","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"afdd547e979046b2b290de22822dc32360ec6516","datavalue":{"value":{"entity-type":"item","numeric-id":857438,"id":"Q857438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$BF0D98C9-8984-4DC9-8908-F8BF506E5C3E","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":"Q1315167$B1EC7D33-26C8-42E2-A4F2-A251AABDE690","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a619885823b0cb7668e97c4d382503c3da3117","datavalue":{"value":{"entity-type":"item","numeric-id":4318326,"id":"Q4318326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$394EF606-A588-4802-B7F1-CF77AD21E04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32fc913b50cfe58c85dbf69eb80b3e069922e133","datavalue":{"value":{"entity-type":"item","numeric-id":5337221,"id":"Q5337221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$310CBD78-CCF7-4B16-918B-8184B00F863E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc128efb89a0c1f2825a9a680d8f52c6b67c4b1","datavalue":{"value":{"entity-type":"item","numeric-id":3672095,"id":"Q3672095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$94AB2BE5-F915-4479-929C-FE8E2284C1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc0ff883c2d8a0070b140012345f70569621930","datavalue":{"value":{"entity-type":"item","numeric-id":1820206,"id":"Q1820206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$A8FA7296-7B0A-4DC5-A46D-5FC367D18FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25ec75e5adf3dafc5cb23e648fe775a9c2d5e96","datavalue":{"value":{"entity-type":"item","numeric-id":1153973,"id":"Q1153973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$6FC19AFA-C473-48BE-84FD-4924516191A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b99672265e5e1d723030dc3157ffca1cb28b808","datavalue":{"value":{"entity-type":"item","numeric-id":2549353,"id":"Q2549353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$2CA17021-54A9-4DE8-8356-FEA4152F7D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02579ee3a897efc12f77a8113b4bd2f7f3802b4","datavalue":{"value":{"entity-type":"item","numeric-id":5903160,"id":"Q5903160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$225EEE9E-CD3A-4D6C-9249-FE85583A9321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947edf42ebbed64eaee0ef1bf76e71ea81f5b220","datavalue":{"value":{"entity-type":"item","numeric-id":1117274,"id":"Q1117274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$1485A69B-2796-4EB0-9639-563C0E9414E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3be1d4d961de3aae47a68a57dfef84ed6043acb","datavalue":{"value":{"entity-type":"item","numeric-id":5732690,"id":"Q5732690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$F9FA8212-8186-4DF4-B176-B57007A3A7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670cad83165af071473da144181b0f73f8c9dedf","datavalue":{"value":{"entity-type":"item","numeric-id":2531959,"id":"Q2531959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315167$10C8B499-1754-4E2E-B6E4-2F52F8D16B29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba03cdba1dbc82c5d2d12569534a6715802d6bb0","datavalue":{"value":{"entity-type":"item","numeric-id":4346918,"id":"Q4346918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc968e7ffa9aa5b113187a49fbc1499dc98eed6","datavalue":{"value":{"amount":"+0.9049603939056396","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":"Q1315167$47D3F9A1-E2C5-4CB4-8C8C-67B9BC893D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c3f99162a0e2e50f043b9d13d16ef889abb9c1b","datavalue":{"value":{"entity-type":"item","numeric-id":4395721,"id":"Q4395721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353ed209c616c6c3beccc2ad5d50a06deef613ee","datavalue":{"value":{"amount":"+0.8488867878913879","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":"Q1315167$6A9278C0-0908-4D7E-8F6A-9DFBE20F7FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc12715e16928b60e89c4b490de3df93f7fa2b0","datavalue":{"value":{"entity-type":"item","numeric-id":3060839,"id":"Q3060839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da974423ae3992eff8ca3fc9cd0ac0559785378","datavalue":{"value":{"amount":"+0.8470039963722229","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":"Q1315167$FAC5AC1C-85FC-4C17-86FA-62DF93C38241","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The existence of envelopes","badges":[]}}}}}