{"entities":{"Q1178050":{"pageid":1188799,"ns":120,"title":"Item:Q1178050","lastrevid":67067256,"modified":"2026-04-12T14:47:19Z","type":"item","id":"Q1178050","labels":{"en":{"language":"en","value":"Equivalence and duality of quotient categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22751"}},"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":"Q1178050$B1B9C74E-5C21-4B64-9363-487826E49800","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1b83f8537f6f9d7e57bf080b2302b5046a8e439","datavalue":{"value":{"text":"Equivalence and duality of quotient categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1178050$5B6D2637-C655-4C0E-9990-41D849923B92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00cc42d90dee5210c6d6a2cfe63d7173c92993e5","datavalue":{"value":"0735.16005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178050$AC7A5E89-BBD5-4B59-8CF9-6CB5735785A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bb599fad8dd164ea9d59e99ff8f009ec14d6b17","datavalue":{"value":"10.1016/0021-8693(91)90256-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178050$84E2345C-ECA4-4FA6-830D-8DAF1C6B0D62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"179893162ad673bb2172531d871e983d62738745","datavalue":{"value":{"entity-type":"item","numeric-id":1178049,"id":"Q1178049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178050$FCA6F418-92E3-4B89-9B34-2D7AB4366A32","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":"Q1178050$AB4CAC67-20F3-4DFD-9BD1-03E44CBA3FD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1178050$302ED5BD-D5E5-428E-A08C-F2A087CCD549","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c32ae7bfb11ecbc60efaaef749363d108c1d4c20","datavalue":{"value":"Let \\((_ RU_ S,_ SV_ R;I,J)\\) be a Morita context and \\(\\tau_ I,\\tau_ J\\) the Gabriel topologies on \\(R\\)-Mod and \\(S\\)-Mod generated by the trace ideals. If \\(\\mathbb{L}(R)=\\{\\tau\\in R\\text{-Mod}\\mid\\tau\\supseteq\\tau_ I\\}\\) and \\(\\mathbb{L}(S)=\\{\\tau'\\in S\\text{-Mod}\\mid\\tau'\\supseteq\\tau_ J\\}\\) then there exists a lattice isomorphism \\(\\mathbb{L}(R)\\cong\\mathbb{L}(S)\\). Let \\((\\tau_ 1,\\tau_ 1')\\) and \\((\\tau_ 2,\\tau_ 2')\\) be pairs of corresponding Gabriel topologies and \\(_{[\\tau_ 1,\\tau_ 2]}\\mathbb{L}=\\{M\\in R\\text{-Mod}\\mid M\\text{ is }\\tau_ 1\\text{-free and }\\tau_ 2\\text{-injective}\\}\\). It is proved that the functors \\(H^ U=\\Hom_ R(U,-)\\) and \\(H^ V=\\Hom_ S(V,-)\\) establish an equivalence of categories \\(_{[\\tau_ 1,\\tau_ 2]}\\mathbb{L}\\simeq{_{[\\tau_ 1',\\tau_ 2']}\\mathbb{L}}\\) (this is a generalization of Mueller's result: \\(_ \\tau\\mathbb{L}\\simeq{_{\\tau'}\\mathbb{L}}\\)). If \\(_ RM\\) is \\(\\tau_ I\\)-free then \\(H^ U(E_ \\tau(M))\\cong E_{\\tau'}(H^ U(M))\\), where \\(E_ \\tau(M)\\) is the \\(\\tau\\)-injective envelope of \\(_ RM\\).   By analogy with the quotient category \\(_ \\tau\\mathbb{L}\\) of \\(R\\)-Mod the full subcategory \\(\\mathbb{K}_ \\tau\\) in \\(\\text{Mod-}R\\) containing all \\(\\tau\\)-divisible and \\(\\tau\\)-flat modules of \\(\\text{Mod-}R\\) is defined. Here \\(C_ R\\) is \\(\\tau\\)-divisible if \\(C=C{\\mathfrak a}\\) for every \\({\\mathfrak a}\\in\\tau\\) and \\(C_ R\\) is \\(\\tau\\)-flat if \\(C\\otimes_ Rf\\) is a monomorphism for every monomorphism \\(f\\) of \\(R\\)-Mod with \\(\\tau\\)-torsion cokernel. For the pair \\((\\tau,\\tau')\\) the functors \\(T^ U=-\\otimes_ RU\\) and \\(T^ V=- \\otimes_ SV\\) establish an equivalence \\(\\mathbb{K}_ \\tau\\simeq\\mathbb{K}_{\\tau'}\\). Moreover, the same functors induce an equivalence \\(\\mathbb{K}_{[\\tau_ 1,\\tau_ 2]}\\simeq\\mathbb{K}_{[\\tau_ 1',\\tau_ 2']}\\), where \\(\\mathbb{K}_{[\\tau_ 1,\\tau_ 2]}=\\{C\\in\\text{Mod-}R\\mid C\\text{ is }\\tau_ 1\\text{-divisible and } \\tau_ 2\\text{-flat}\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178050$F8BF95A1-7B5F-46E6-965A-3719EBB4C734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9828d161092142abeba8ebc404a6788b67cab0f3","datavalue":{"value":"16D90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178050$F72C495A-7392-45FE-A7A8-C1D97FBB827E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2bcd1a262934ee0beecf850f3bd08b6bbd3541","datavalue":{"value":"16S90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178050$A31F8814-6828-49C1-AB91-53C53CFCB714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ddebf8c8a4928c353a78df10d1486bfa8c1128","datavalue":{"value":"18E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178050$BEA44EB6-8B5D-4BED-8269-D9ABA37F84D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ac04e159ba42794cf9db8605807c3db0da67877","datavalue":{"value":"22751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178050$1F9481C8-DEC1-4DDD-8F24-D69824BDB58D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0658cc11cde423f7950fc8726d4ddcf3a4ef609b","datavalue":{"value":"Morita context","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178050$90CEAB03-36A8-466D-963D-3A9A532DB8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"793e45857ce74fad4d80a57e7dec677b152af446","datavalue":{"value":"lattice isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178050$E9DC2881-3500-4DFA-AA4C-D4F381C0C90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ae2377400284661ec6d82c2d48a16b8df164793","datavalue":{"value":"functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178050$258BC93E-0373-48DB-BF10-68CA9E3E0A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04388f9e5e1a783c71568d6857dc6bc7fe8cdd5d","datavalue":{"value":"equivalence of categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178050$EB5C50BE-E1E5-41FE-8097-2C3A940EC4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec7b4047e261323253b5acf8aa24b831718faaa2","datavalue":{"value":"injective envelope","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178050$7CC66C25-70DF-4F9B-B33D-EAD0426039AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af377070e293daa17d5ee2a7195648879ee3285a","datavalue":{"value":"quotient category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178050$5253DADC-4B13-4ED5-82FC-AD43F8E218AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ac5250da5a770b73fa1eff886f767dac3aeefce","datavalue":{"value":"flat modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178050$B782EBF2-47A8-4E8F-8534-28781298AABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e13952c93fcc3c1426cd30160ef1c1d196a99456","datavalue":{"value":"Gabriel topologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178050$51CFA87A-509B-4F1D-9EAD-05CB7F59D007","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":"Q1178050$B11A37C8-90C3-4AFD-A95E-D0D0CCC3ABCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bce0ebb4fbc7452ca68af6139981fd728f0c900","datavalue":{"value":"https://doi.org/10.1016/0021-8693(91)90256-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1178050$26DF551B-F50C-4593-8C67-2E2DBA0E2E53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4bcf66c7c64757f0c3c4b01e82d45804c2e17ff","datavalue":{"value":"W2030129342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178050$2FCE7909-143B-4D2C-AB02-A268F7D4C14F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7612c7d157930612f50e6f51a7db567d81227356","datavalue":{"value":{"entity-type":"item","numeric-id":2557299,"id":"Q2557299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178050$2A4BE9AF-A07F-4CD9-87EF-AA6887CDC402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcdde26033e060e00944396d82b2e46848183ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1393463,"id":"Q1393463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178050$AD13F500-50AF-46EA-A5C7-1EC4D3C75AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bed33bf5089ca23f0fec849e25d6758cf7f5295","datavalue":{"value":{"entity-type":"item","numeric-id":3913551,"id":"Q3913551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178050$3C02666C-2108-44A9-AAC8-20F72FD0C9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40d1758ffad3bc98d16ac28f86484781d4059a6","datavalue":{"value":{"entity-type":"item","numeric-id":1136835,"id":"Q1136835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178050$79B1B1F1-E281-49D4-9003-5B337DBADA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18383aa0fb35992209892ecc8afc0d8f83ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4049223,"id":"Q4049223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178050$C347D5FD-B449-42E4-B027-B7818D2317E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85557f9e07edb66d7ea768f7e24a967054f731c7","datavalue":{"value":{"entity-type":"item","numeric-id":3882615,"id":"Q3882615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178050$D2962E50-317D-43D6-BA8C-56BC3E60ACD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021a515b4c14431927e36441601984f1e3e2c450","datavalue":{"value":{"entity-type":"item","numeric-id":3801742,"id":"Q3801742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0951f4cbd66deec33cca8beae9655b7690647d","datavalue":{"value":{"amount":"+0.8363633751869202","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":"Q1178050$C0576E3D-6491-4781-B318-D79E94BAC437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa665f54483446537aae7adcae89f5468176e59a","datavalue":{"value":{"entity-type":"item","numeric-id":4489837,"id":"Q4489837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db30b12a2cb72a4278bb49f692f58c9cb3994002","datavalue":{"value":{"amount":"+0.8351488709449768","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":"Q1178050$95EC6A2C-912A-4A1B-8ABA-8CD1E46239E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f739345a42c75a92a6053ade930a183f53e8407d","datavalue":{"value":{"entity-type":"item","numeric-id":5466661,"id":"Q5466661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572eb69d3183c41f0c4b0b33aa5b710956869d9a","datavalue":{"value":{"amount":"+0.826910138130188","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":"Q1178050$AB0E7AF4-1085-4D0C-92AA-E431747AF5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27af34f7c41b73f75637c06ec2be093282e7039c","datavalue":{"value":{"entity-type":"item","numeric-id":5287566,"id":"Q5287566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661f32f6f55b2462f6ef41bbc7fa2865563cbda9","datavalue":{"value":{"amount":"+0.8240012526512146","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":"Q1178050$28AEDE20-0A9A-4A6A-A284-CDECB7A0A1FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence and duality of quotient categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalence_and_duality_of_quotient_categories"}}}}}