{"entities":{"Q1096724":{"pageid":1107476,"ns":120,"title":"Item:Q1096724","lastrevid":69633771,"modified":"2026-04-13T08:20:50Z","type":"item","id":"Q1096724","labels":{"en":{"language":"en","value":"On subfunctors of the identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4031963"}},"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":"Q1096724$D1972585-BAA6-42DC-9CEB-0E0932E6DD7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"783be16e3ce44663a098ca4977bd21cf947a2f49","datavalue":{"value":{"text":"On subfunctors of the identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1096724$BA86B10C-2DEF-4113-97DB-838E79454C94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b932b9848b036f4a113cccd530a20e73293e9e8","datavalue":{"value":"0634.20025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096724$14DC1838-1F91-418D-8B56-E02BB10902B2","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":"Q1096724$CB1489AC-0DD2-41A3-B40C-EC3C6552D280","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1096724$DD3169AD-3FAD-4826-8366-4D90CFA75331","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85313e6c43d4868510a89510315d3dcd435074a4","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1986__76__89_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1096724$56AB1D42-9CFE-4D45-8DFF-C558C97A36E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d8e68ad82c10a920b3e5af1f39e515889fe107d","datavalue":{"value":"https://eudml.org/doc/108051","type":"string"},"datatype":"url"},"type":"statement","id":"Q1096724$7F09D62C-8B9B-454B-9033-173C52448B0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9e498c5d1bd1bb3f1c714b661c044806524f1f36","datavalue":{"value":"The author decomposes the notion of exact subfunctor of the identity on a category of (unital) R-modules, where R is a commutative ring with unit into two notions: F is called multiplicative if for every submodule B of an R-module A, \\(F(A/B)=(B+FA)/B\\) and is called hereditary if, under the same conditions, \\(FB=B\\cap FA.\\)    Theorem 4. There is a bijective correspondence between: (1) Multiplicative functors. (2) Classes of modules closed under submodules, quotients and direct products. (3) Families of ideals of R satisfying (a) \\(I\\in {\\mathcal F}\\), \\(J\\supset I\\Rightarrow\\) \\(J\\in {\\mathcal F}\\), (b) \\(\\{I_ k\\}_{k\\in K}\\subset {\\mathcal F}\\Rightarrow\\cap_{k\\in K}I_ k\\in {\\mathcal F}.\\)    That is, in a sense, a dual bijective correspondence to the known one between hereditary functors, classes of modules closed under submodules, quotients and direct sums, and pretopologies of R [see \\textit{B. Stenstr\u00f6m}, Rings of Quotients (1975; Zbl 0296.16001)].    Proposition 9. - For a subfunctor F of the identity, the following are equivalent: (1) F commutes with direct limits. (4) F is hereditary and multiplicative. (5) F is exact.    In the last section, the exact sequence \\(E: 0\\to B\\to A\\to C\\to 0\\) is called F-exact (resp. pure F-exact), for a subfunctor of the identity, if the induced sequence FE: \\(0\\to FB\\to FA\\to FC\\to 0\\) is exact (resp. pure- exact). If T is the torsion functor, it is proved that pure-exactness is equivalent to pure-T-exactness. Finally, if F is a hereditary functor and \\({\\mathcal F}\\) is the corresponding pretopology then pure-F-exactness is equivalent to \\({\\mathcal F}\\)-purity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096724$68FEDC85-5F12-45F0-B42B-5651FEDF885C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ee5ec82f1fe602a2f3e0151779f8d6f2f03f31c","datavalue":{"value":"20K40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096724$6E24FB8F-AE70-44C9-93EA-7AA6F06A62CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3631970b085224da5231257b2f42e631cb6d5ad3","datavalue":{"value":"16B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096724$5858D2B5-163C-44A9-972D-9BFC91CF2A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096724$3EBE058F-0422-4F60-9863-BF61332EB1D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff654f7137f3046b332acf56c41877e0e2d34002","datavalue":{"value":"4031963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096724$C62271C4-ECA9-4B87-B0E2-E9F3FE5F2195","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e87db537c534ddf66811ef995e152ef0bf2a2e11","datavalue":{"value":"exact subfunctor of the identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096724$967672F1-40A7-41AE-8BA7-A89C56EC6379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22236f0cb125bfb37fca9e9b06ca8af38f09060d","datavalue":{"value":"Multiplicative functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096724$BE0243E9-0112-4737-99D5-D99B9F41C062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71f2287764506d5898b199c531cbfb69dc3f7c8a","datavalue":{"value":"hereditary functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096724$D906040E-729F-48A5-8520-A7149E02268B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d4acd38ca00cfbf2185bbd40c8400095410e7d","datavalue":{"value":"pretopologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096724$7B4C3C9D-06E5-4FBA-9451-6B4EE804B31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51c5b1f2c7b0cfdc30c4a36ffa308eed668c14d9","datavalue":{"value":"direct limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096724$D6399EDA-C3D3-4819-96A8-4E7779F4369D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"689b65561f64a4798cb1a20688ead5f777d09583","datavalue":{"value":"exact sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096724$BF38EA7C-3C5F-4D09-B52B-BA4F773B8D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a102ef0a168a8c822582039db55d5f1530b632f1","datavalue":{"value":"pure F-exact","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096724$63650CEC-1692-4289-8F4A-489E04ACCA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7ab3b8f1f65a665a9e164b41fa7623cbe638a5","datavalue":{"value":"torsion functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096724$19E93569-7700-43D5-8218-297FBD12AB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e612003d8b1ef01a430bcaa2a11cfef7268d2c4","datavalue":{"value":"pure-exactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096724$C59F65C4-1ED1-4346-8165-F529B1B3E9C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0632bee32d3b3bad26f4bc3e03063abc27068f9","datavalue":{"value":{"entity-type":"item","numeric-id":590893,"id":"Q590893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096724$34D72A80-ED73-4DA8-92EA-8B773D590B76","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea751e1391efce5a824660ae00f540211586bfed","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096724$DD38ED7C-5FA4-45B5-9FCB-D27360191F25","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":"Q1096724$D94A8E4B-04D5-4912-85AF-ECB329A83351","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cd3b1606b2617ca9db9367bce836feb1300b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3906931,"id":"Q3906931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096724$2941529C-814B-45BF-8853-149D14EA2BF4","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":"Q1096724$4E860349-2654-42F8-884D-10B1F493B3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18aea963c3ddc3de0c7ff07fa603b42005364fcd","datavalue":{"value":{"entity-type":"item","numeric-id":5921447,"id":"Q5921447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096724$D6AC5CA1-CC7F-4CBB-96AA-242D1EA499EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e9ab0c3887b04e617fe90357f06261fa6847c38","datavalue":{"value":{"entity-type":"item","numeric-id":2824359,"id":"Q2824359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef3d434ace2d0bc53f29865f9b829134c067e00","datavalue":{"value":{"amount":"+0.7715077996253967","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":"Q1096724$C7F2436A-D1AD-4C8B-881F-22ACDFA79005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2e3610832cd7c83c2fdebcdb75313717cc1c4d","datavalue":{"value":{"entity-type":"item","numeric-id":2015823,"id":"Q2015823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b03d17d2110c0dc776a9664f3fcbe4d3a6ad0ad7","datavalue":{"value":{"amount":"+0.7591256499290466","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":"Q1096724$3F6DB073-F4FE-4553-84EA-3D1FB21F4ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deaeba60b9c80477d81532635ef2b01121467959","datavalue":{"value":{"entity-type":"item","numeric-id":4289881,"id":"Q4289881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e216bc33c615e46468fe3084c21bc7e392c916","datavalue":{"value":{"amount":"+0.7530276775360107","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":"Q1096724$E162221A-F111-4A73-8203-2EF87987BFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbfb5de4852d07b928c2328bd835ae6632e2d841","datavalue":{"value":{"entity-type":"item","numeric-id":4848983,"id":"Q4848983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ad2957aa5ae7a472c1e5438864a3631dff052a","datavalue":{"value":{"amount":"+0.7525123357772827","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":"Q1096724$0180BC74-CEDB-40E1-98A1-7B5F7764CC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676a498be8f639235996312a42a65f4e4d47a63e","datavalue":{"value":{"entity-type":"item","numeric-id":5326250,"id":"Q5326250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec861c9c0ae9ef399107d054a70da521f2ceb17","datavalue":{"value":{"amount":"+0.7511399984359741","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":"Q1096724$5BD62836-AD11-4EEF-B665-882B9F229256","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On subfunctors of the identity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_subfunctors_of_the_identity"}}}}}