{"entities":{"Q2204843":{"pageid":2215586,"ns":120,"title":"Item:Q2204843","lastrevid":53846690,"modified":"2026-01-25T19:56:44Z","type":"item","id":"Q2204843","labels":{"en":{"language":"en","value":"Relative cohomology of complexes II: vanishing of relative cohomology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7262036"}},"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":"Q2204843$D24F71F5-8FCA-40B8-A63C-5A0E4A8A4286","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ce7f236b3f914238b71ab5076aee9250d6f67fb","datavalue":{"value":{"text":"Relative cohomology of complexes II: vanishing of relative cohomology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2204843$905FEEA5-78F1-4452-B77B-DBD7BA148183","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2638f0bf6401201e54fdfb588a554717728afc3e","datavalue":{"value":"1482.16007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204843$B64B14DB-A63B-4A38-BE87-92C91C88CD0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c505e6848501bb79e83cf54e63e2431363b5903","datavalue":{"value":{"entity-type":"item","numeric-id":276111,"id":"Q276111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$9D5FD0EC-92F7-4534-BA28-906DFCCF6117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fddf3f647e505f8c24114b941f3d5a9224fd41d","datavalue":{"value":{"entity-type":"item","numeric-id":162011,"id":"Q162011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$C17E2FFD-F5F8-452C-9310-27C3A968B080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e47e0e4b9cdab47e1e8047cd73b4d43378ac4e3","datavalue":{"value":{"entity-type":"item","numeric-id":1686898,"id":"Q1686898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$8A0219A5-40DC-4DAA-A3D4-F1FB5FA4085E","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":"Q2204843$6FA2709C-DD8C-4A87-B070-66D8E77CAD43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efa3c40ff7e379b5cc181d30ffffca8561320c91","datavalue":{"value":{"time":"+2020-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2204843$8BC688F9-4085-456C-88DB-E72A9B1DC0C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"920e4ff1e5e97d20d5e5cb8e8fa44a39f64a6a55","datavalue":{"value":"For a complex \\(X\\), we associate the numbers \\(\\sup X = \\sup\\{i: X_i \\not=0\\}\\) and \\(\\inf X = \\inf\\{i: X_i \\not=0\\}\\). If, in addition, \\(X\\) admits a special Gorenstein projective precover, then for each complex \\(Y\\) and each integer \\(n\\), the \\(n\\)-th relative cohomology group \\(\\text{Ext}^n_{\\mathcal{GP}}(X, Y)\\) is defined by the equality \\[\\text{Ext}^n_{\\mathcal{GP}} (X, Y) = \\text{H}_n(\\text{Hom}(G,Y)),\\] where \\(G \\rightarrow X\\) is a special Gorenstein projective precover of \\(X\\).  The homology complex \\(\\text{H}(X)\\) is defined by setting \\(\\text{H}(X)_i = \\text{H}_i (X)\\) and \\(\\sigma_i = 0\\) for all \\(i \\in \\mathbb{Z} \\).  In this article, the authors introduce the following notion of dimension of complexes which is related to Gorenstein projective precovers \\[\\text{Gppd} (X) = \\left\\{ n \\in \\mathbb{Z} : \\begin{array}{l} \\sup H(G) \\leq n \\text{ and Coker}(G_{n+1} \\rightarrow G_n) \\text{ is Gorenstein projective,} \\\\ \\text{ where } G \\rightarrow X \\text{ is a special Gorenstein projective precover of }X \\end{array}\\right\\}.\\]   H. Holm's metatheorem states that ``Every result in classical homological algebra has a counterpart in Gorenstein homological algebra''. In this way, the authors obtain the following main result, which gives a ``Gorenstein'' version of Theorem 2.4.P of [\\textit{L. L. Avramov} and \\textit{H.-B. Foxby}, J. Pure Appl. Algebra 71, No. 2--3, 129--155 (1991; Zbl 0737.16002)].  \\(\\mathcal{GP}\\) denotes the category of all Gorenstein projective \\(R\\)-modules,   Theorem. Let \\(R\\) be a ring such that \\((\\mathcal{GP}, \\mathcal{GP}^{\\perp})\\) forms a cotorsion pair cogenerated by a set, \\(X\\) a complex, and \\(n\\) an integer. Then the following conditions are equivalent. \\begin{itemize} \\item \\(\\text{Gppd} (X) \\leq n\\). \\item \\(\\text{Ext}^i_\\mathcal{GP}(X, Y ) = 0\\) for all \\(i > n-t\\) and any bounded complex \\(Y\\) such that all \\(Y_j\\) and \\(\\text{Ker} (Y_t \\rightarrow Y_{t-1})\\) are in \\(\\mathcal{GP}^{\\perp}\\), where \\(t = \\inf H(Y)\\). \\item \\(\\text{Ext}^i_{\\mathcal{GP}} (X, Y ) = 0\\) for all \\(i > n\\) and any module \\(Y\\) in \\(\\mathcal{GP}\\). \\item \\(\\sup H(X) \\leq n\\), and for any special Gorenstein projective precover \\(G \\rightarrow X\\) of \\(X\\), the module \\(\\text{Coker}(G_{n+1} \\rightarrow G_n)\\) is Gorenstein projective. \\end{itemize} Consequently, they deduce that \\[\\text{Gppd}(X) = sup\\{n \\in \\mathcal{Z} \\vert \\text{Ext}^n_{\\mathcal{GP}} (X, Y ) \\not = 0 \\text{ for some module } Y \\in \\mathcal{GP}^{\\perp} \\}.\\]  On the other hand the authors show in two examples (Example 3.6) that this dimension is quite different from the Gorenstein projective dimension of complexes introduced by \\textit{O. Veliche} [Trans. Am. Math. Soc. 358, No. 3, 1257--1283 (2006; Zbl 1094.16007)] (Definition 3.1 of [loc. cit.]).  For Part I see [the first author, J. Algebra 502, 79--97 (2018; Zbl 1442.16009)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204843$D98A1546-18FE-4FAA-8E89-ECA1850BF30D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"820156724fbba7d73130ef20e0de9b3d00e340d7","datavalue":{"value":{"entity-type":"item","numeric-id":831279,"id":"Q831279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$B445B457-00F4-4846-B5A1-28C850FE6CDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3d136cdabc3608543c0c14bc1f72609105bff4f","datavalue":{"value":"16E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204843$0C729C07-0607-46A9-ADF0-35850D5CA3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87856f9223d07d07585522e368e90fed0ba22d5e","datavalue":{"value":"16E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204843$1AA1B72D-B3AD-42BC-83AF-D5096E9D7338","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96305d394886009176c11de2be4a390bb3258cae","datavalue":{"value":"7262036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204843$CA74A0B2-CFF7-48CE-BDA2-D61B908728A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64cfc60fa54942acb4c2c1b6dc062d7d1aaaf096","datavalue":{"value":"special Gorenstein projective precover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204843$77E90C6D-7437-4B89-9BED-AD7B718D1786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29dc23f83fe6b4333cdf04644864e2b6d9d5e25","datavalue":{"value":"relative cohomology group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204843$3B0CDC94-3806-4E81-9D80-2EDC63814CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5a58fd46d7f9d56eca460fe2e350117fc46883a","datavalue":{"value":"dimension of complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204843$FC5FA142-AE78-43D9-B02F-A177588ECABF","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":"Q2204843$81BD0B79-01AB-4B44-AAAA-6E6F926D9D1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a98564a561e6f1fcdaa1ba60c3d94c7c0af1521","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2020.08.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2204843$06F09430-1FD3-4383-A998-45B91259EA2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"543e0b309b24a0a9d9788675fcfdccbc842d5a6b","datavalue":{"value":"W3083960725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204843$836F1599-0C1D-4E11-BA61-514F0316F850","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"878c472d0e0589fffb2485183e5aede2d5a639cc","datavalue":{"value":{"entity-type":"item","numeric-id":1175527,"id":"Q1175527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$0B3F7CA0-813C-492F-A637-B08304E7D249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f645d9d42da7ad4b15657466f5e87b119086ed","datavalue":{"value":{"entity-type":"item","numeric-id":852674,"id":"Q852674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$6737694C-249E-4B4F-8A0F-3EDDFBC805EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092d515135ce30fff3e67cdce866dadae184c045","datavalue":{"value":{"entity-type":"item","numeric-id":335610,"id":"Q335610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$44BA50E9-588E-4F3F-A7A7-8B150B9AEFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e3e2af94458109f829ee4b024b207b843530c","datavalue":{"value":{"entity-type":"item","numeric-id":4909166,"id":"Q4909166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$0FCA7D24-30E6-456B-9D79-A82E8D74FB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec85898bb3f4f0cdc9bd3fcfda4b41bbe4f7e531","datavalue":{"value":{"entity-type":"item","numeric-id":4256197,"id":"Q4256197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$D9B284D5-1C70-4441-B88B-965731E90E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a672d3ed0154ee05e2a5cbbb55124988b30e58","datavalue":{"value":{"entity-type":"item","numeric-id":2634797,"id":"Q2634797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$2A4FFC3E-78E4-45B7-9262-7DB231801B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d0492ea3d72395e29b1885d62b947f8c8c55fa","datavalue":{"value":{"entity-type":"item","numeric-id":639476,"id":"Q639476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$5D752BDD-31B6-46E0-BB7B-0E0487E3FD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ae69d63449c7751d9124b311b8e1987ca3621f","datavalue":{"value":{"entity-type":"item","numeric-id":1434772,"id":"Q1434772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$ACD57F64-B332-40B4-910F-8713E988F070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727515f1f59809b5309ad800479854d7dd26c850","datavalue":{"value":{"entity-type":"item","numeric-id":1706234,"id":"Q1706234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$5C878FA8-59C8-4EBC-A125-F26507F7B41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d938d733a36088140797894212bb1807573be764","datavalue":{"value":{"entity-type":"item","numeric-id":2310813,"id":"Q2310813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$C3FDD5E6-61FF-4ACF-8C3A-4AB29768472F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ac4d4d8eeb8bb4241c1a9a7dae52984749d0bd6","datavalue":{"value":{"entity-type":"item","numeric-id":5713174,"id":"Q5713174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$4A5B426D-AD9D-4DA6-AEE2-9FD9FEF3066E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d98184be9f7731c9b52d661bb9d99322a5a9453","datavalue":{"value":{"entity-type":"item","numeric-id":3109028,"id":"Q3109028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204843$45A12933-65F6-4394-8363-59C005E3D982","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09318063e52e047e6e94de31e5b74fc57fbf3a93","datavalue":{"value":"10.1016/J.JALGEBRA.2020.08.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204843$15C2FBF2-316F-4A98-94D5-6576535FBFD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4179f94b7293737189fc82ceb134cdcbe993e6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1706234,"id":"Q1706234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9456a1d27869050c6735128e9dbc2a5654ecee2a","datavalue":{"value":{"amount":"+0.8922675251960754","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":"Q2204843$6349B446-A163-4FDA-8AB8-181772DB90F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42246c3bde1a2ebd0e657ba8397a35ff1e1812f","datavalue":{"value":{"entity-type":"item","numeric-id":5097446,"id":"Q5097446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9446b855ff3973c3f66f8baafbe70a97ff59258f","datavalue":{"value":{"amount":"+0.8625965714454651","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":"Q2204843$A6554164-BB9A-4F5B-884B-147D2C6889C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4de1b18db45cb8070a889818fee11080dd12aa","datavalue":{"value":{"entity-type":"item","numeric-id":5276963,"id":"Q5276963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399a81154096e01c9e7ce098bc3ed0dfd47687ff","datavalue":{"value":{"amount":"+0.8493355512619019","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":"Q2204843$EA2DBA5C-AF91-4469-B6F0-3FA38C1CA72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9da025c805592466cacf085151b43a022be194","datavalue":{"value":{"entity-type":"item","numeric-id":3296147,"id":"Q3296147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3675ba9bc379ec71b82ea731c8ba4e6cbce6660","datavalue":{"value":{"amount":"+0.8255032896995544","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":"Q2204843$25650535-C1D6-4988-8E6D-DD735217AB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c8d139a088b7edd267c8b213c76dbe1a0936737","datavalue":{"value":{"entity-type":"item","numeric-id":5713174,"id":"Q5713174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771e5c171e24d5d0fa4ebbc9eb699a2fc2ef740a","datavalue":{"value":{"amount":"+0.8175728917121887","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":"Q2204843$D7AD13CF-372A-45C6-9310-A981913C5CF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2204843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2204843"}}}}}