{"entities":{"Q1951831":{"pageid":1962573,"ns":120,"title":"Item:Q1951831","lastrevid":71986317,"modified":"2026-04-14T01:54:32Z","type":"item","id":"Q1951831","labels":{"en":{"language":"en","value":"Finite injective dimension over rings with Noetherian cohomology."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6165849"}},"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":"Q1951831$2179C482-FB9A-4DA0-9D5D-3F154345A4F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d13dba57014373f4d3297f5146e5accbcc563f1d","datavalue":{"value":{"text":"Finite injective dimension over rings with Noetherian cohomology.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1951831$4E910AD0-0480-450D-827B-C37FECA0FFE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdd6c11297faed62461cdd1e3d4ad6b4b11e3bbb","datavalue":{"value":"1283.16008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951831$534A5BAF-A3F1-4638-B2FD-B1F83F964A77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53b887328c54de668405d0afb1fb82176a1617c5","datavalue":{"value":{"entity-type":"item","numeric-id":1651500,"id":"Q1651500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1951831$DF7093C3-BD03-4086-9E60-614D730E8D64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1951831$261F3D26-167F-410F-8598-056814653217","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9aab91b8c1f524235c5c2b07908fadf10314dd3b","datavalue":{"value":{"time":"+2013-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1951831$00A99DD7-8FFA-4308-8A7C-CDD81590F03E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77376c660fd542d3ce3513f98e5302b833fbd0dc","datavalue":{"value":"https://arxiv.org/abs/1109.2814","type":"string"},"datatype":"url"},"type":"statement","id":"Q1951831$AFD98AC4-D69C-4FA5-8D7C-D2A5F82DB942","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c26479dae86eff8c1b5e25dd5623667688610390","datavalue":{"value":"Let \\(R\\) be a ring. Recall that a complex \\(I\\) of injective (left) \\(R\\)-modules is said to be semi-injective if the functor \\(\\Hom_R(-,I)\\) sends acyclic complexes of \\(R\\)-modules to acyclic complexes. In the category of all complexes of \\(R\\)-modules, a quasi-isomorphism with semi-injective codomain is called a semi-injective resolution of the domain. By a result of Spaltenstein, every complex has such a resolution. Using this result and taking such resolutions of both arguments, one defines, in the usual way, the \\(\\text{Ext}\\) functors for complexes. If a complex \\(M\\) has a semi-injective resolution \\(iM\\) with \\(iM^n=0\\) for all \\(n\\gg 0\\), one says that \\(M\\) has finite injective dimension.   Let \\(\\mathrm{K(Inj\\,}R)\\) denote the homotopy category of complexes of injective \\(R\\)-modules and let \\(S\\) be a commutative (non-negatively) graded ring. \\(S\\) is called a ring of cohomology operators for \\(R\\) if, for each \\(X\\in\\mathrm{K(Inj\\,}R)\\), there is a graded ring homomorphism  \\[ \\zeta_X\\colon S\\to\\Hom^*_{\\mathrm{K(Inj\\,}R)}(X,X) \\]  such that the two \\(S\\)-module structures on \\(\\Hom^*_{\\mathrm{K(Inj\\,}R)}(X,Y)\\) induced by \\(\\zeta_X\\) and \\(\\zeta_Y\\) agree (i.e., the results of applying any element of \\(S\\) coincide up to the sign rule). The ring \\(R\\) is said to have a Noetherian cohomology over \\(S\\) if \\(R\\) is of finite injective dimension as a left \\(R\\)-module, \\(S\\) is a Noetherian ring of finite Krull dimension, and \\(\\Hom^*_{\\mathrm{K(Inj\\,}R)}(C,C)\\) is a Noetherian \\(S\\)-module for any compact object \\(C\\) in \\(\\mathrm{K(Inj\\,}R)\\). (Recall that \\(C\\) is said to be compact if the functor \\(\\Hom^*_{\\mathrm{K(Inj\\,}R)}(C,-)\\) preserves set-indexed direct sums.)   The main result of the paper asserts that if \\(R\\) has Noetherian cohomology over \\(S\\), an \\(R\\)-complex \\(M\\) is acyclic in high enough degrees, and the \\(S\\)-module \\(\\text{Ext}^*_R(M,M)\\) is \\(S^+=\\bigoplus_{i \\geq 1}S^i\\)-torsion, then \\(M\\) has finite injective dimension.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951831$7DB4B83D-BB45-4D8C-A41D-4CCCDA04C82D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af040322f73ae3f8b52248028b4429fe16dc7acc","datavalue":{"value":{"entity-type":"item","numeric-id":587441,"id":"Q587441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1951831$29786370-067E-4C13-9518-0E00C31306D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb4095f38a7ace7253a56944e8eb55c977342876","datavalue":{"value":"16E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951831$C3C40C5A-CFB1-49CE-829C-C2E0E78EDF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3d136cdabc3608543c0c14bc1f72609105bff4f","datavalue":{"value":"16E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951831$71506E70-DEF9-406F-8159-BD09EFEF0EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c51c13be2eca7bed2b0ef1efb2c1dbea21a34fcf","datavalue":{"value":"16E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951831$0DFD010B-E04D-484B-99F3-B219AE308F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87856f9223d07d07585522e368e90fed0ba22d5e","datavalue":{"value":"16E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951831$B8128DC7-2EB8-4D38-9C24-A179C3766046","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5641f9208480da820b5aad948ea5edec8eb65a8","datavalue":{"value":"6165849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951831$D5CB84E4-77F7-4507-8328-3E9B48C4CBFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6ec6fc900b76c4f4bac2b29e0ccc3cb97e8099","datavalue":{"value":"acyclic complexes of modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951831$8A3E3DA4-494E-48CA-9B40-1D9D6CE3D9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd311df15c14ec40770ed949cfc212709ea8a81b","datavalue":{"value":"Noetherian cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951831$5690546F-DA4C-4643-995B-876DFBE6992E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"471f1635551b4dba554b1ab7d087776aa392b980","datavalue":{"value":"finite injective dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951831$165876A0-F74D-4F89-9142-B0531521BEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca4823ffa2b531230e71d83b5961e22f302c7f32","datavalue":{"value":"derived categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951831$FA750EFE-C302-42BB-BF31-36F53567DEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d083ad5bbc619a98d41ebf362cefa381f6fe940b","datavalue":{"value":"semi-injective resolutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951831$BEE91A73-5AC5-4160-A469-34D6E1199E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272bb420db10a9c1dfacdd46ed6da81a5aa368cf","datavalue":{"value":"homotopy categories of complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951831$52E9C598-55A1-4038-BD0F-6906E538D52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de2dd1e6f2410b53b637dbdbcc9c3c41b32c25e9","datavalue":{"value":"Koszul objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951831$50513C7D-71CB-4409-8DF6-764E567CE11C","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":"Q1951831$C4CB22F2-863B-4E11-86D9-76B09AE2BA88","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c5623c5d6401f2ab2b43febef7d3197b35562ccf","datavalue":{"value":"Q114020798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951831$86196D20-BE5B-42ED-B88E-643593C975B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cba7d997a82246e9d0aebcf3f5d1827c4d4cfe8","datavalue":{"value":"10.4310/MRL.2012.V19.N4.A1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951831$849D0CFC-B2A9-43FC-A608-014C5CC2B802","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe09e4b1355b74a06fced949d0c03c685b27c21d","datavalue":{"value":{"entity-type":"item","numeric-id":2675074,"id":"Q2675074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc01fd35fe32b12a7a4afbde402caa6208923ef","datavalue":{"value":{"amount":"+0.774026095867157","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":"Q1951831$8EDBA91B-2777-444C-9832-A90D0A21125F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a43606ebadf610e3db928ba30c2cd6fbec9e2d","datavalue":{"value":{"entity-type":"item","numeric-id":3508052,"id":"Q3508052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70156e22b55d19b580a13e75729ae24576b72a15","datavalue":{"value":{"amount":"+0.7665931582450867","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":"Q1951831$806922AE-39F0-408D-91A5-DC2335149783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39105644d620c4ad97afee709be76a6fe0f5ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":2364374,"id":"Q2364374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59365796b9e6563fa3353d9b1524c094258e371b","datavalue":{"value":{"amount":"+0.7643519043922424","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":"Q1951831$A466A8F8-FDB4-42C2-A042-4DFD1816E74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39416be3184f32d51eed883393a4705f3e18280e","datavalue":{"value":{"entity-type":"item","numeric-id":4696677,"id":"Q4696677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305d5cfefd45682cbd155a6c738607cf6f9032b3","datavalue":{"value":{"amount":"+0.7613801956176758","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":"Q1951831$41E6C5DC-783F-4A57-A38A-B64EAFC9F403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8966b929baaaba696e96c33ad23aed732f3d3d63","datavalue":{"value":{"entity-type":"item","numeric-id":4820686,"id":"Q4820686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fb149b9c77853686271bd1265bc8de053a245a","datavalue":{"value":{"amount":"+0.7609175443649292","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":"Q1951831$E8E3D934-9D83-4763-8117-31234910C9AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite injective dimension over rings with Noetherian cohomology.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_injective_dimension_over_rings_with_Noetherian_cohomology."}}}}}