{"entities":{"Q1279742":{"pageid":1290492,"ns":120,"title":"Item:Q1279742","lastrevid":68356863,"modified":"2026-04-12T23:09:43Z","type":"item","id":"Q1279742","labels":{"en":{"language":"en","value":"Coliftings and Gorenstein injective modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1251223"}},"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":"Q1279742$664C6BD4-056A-4CB3-9308-A9909900B4EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f36d80f338d6417e0ea37fe2b40b882ec7f0fce5","datavalue":{"value":{"text":"Coliftings and Gorenstein injective modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1279742$7332B609-C5D4-4463-96FD-086A0A748A3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fbffc337b317bedffbf7a570947eed11ef63efe","datavalue":{"value":"0928.13002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279742$DE9657C2-345E-4DA8-9D6C-1C96F05D6E4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"77dc2fb917d9ddfc7ec1da3e21f74c52714e1a70","datavalue":{"value":{"entity-type":"item","numeric-id":172164,"id":"Q172164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279742$2CCDAEB1-D266-40B0-AAE8-2F8E0ED9CCFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e627d8745f0fb7826ead45cdb0f7dd63b223564","datavalue":{"value":{"time":"+1999-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1279742$2F2E55AB-E09A-455E-AD86-1661543B4586","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"836bafd65cac19b4124c56215b3fb478807a7776","datavalue":{"value":"An \\(R\\)-module \\(M\\) is called Gorenstein injective if \\(\\text{Ext}^i_R(Q, M)\\) and \\(\\text{Ext}^R_i(Q, M)\\) vanish for all \\(i\\geq 0\\), where \\(Q\\) is an \\(R\\)-module of finite injective or projective dimension and \\(R\\) is a commutative noetherian ring. This goal of this article is to develop Maranda type results for Gorenstein injective modules.    When \\(x\\) is an \\(R\\)-regular element that is not regular on the \\(R\\)-module \\(M\\), let \\(r_x(M)\\) be the smallest integer \\(r\\) such that \\(x^r\\cdot \\text{Ext}^1(\\;,M)=0\\). The authors show that if \\(r_x(M)\\) is finite, \\(r\\geq r_x(M)\\geq 0\\), \\(r\\geq r_x(N)\\geq 0\\), and \\(M\\) and \\(N\\) are strongly indecomposable Gorenstein injective \\(R\\)-modules such that \\(\\text{Hom}_R({R/x^rR}, M)\\cong \\text{Hom}_R({R/x^rR}, N)\\), then \\(M\\cong N\\) or \\(N\\cong S(M)\\cong S^2(N)\\), where \\(S^i(M)\\) is the \\(i\\)-th cosyzygy of \\(M\\). In addition, if \\(r_x(M)\\) is finite, \\(r\\geq r_x(M)\\geq 0\\) and \\(M\\) is strongly indecomposable then either \\(\\text{Hom}_R({R/x^rR}, M)\\) is indecomposable or \\(\\text{Hom}_R({R/x^rR}, M)\\cong L\\oplus S_{R/x^rR}(L)\\) for some indecomposable \\(L\\). Consequently, if \\(x\\) is \\(R\\)-regular and \\(E, E'\\) are indecomposable injective \\(R\\)-modules with \\(\\text{Hom}_R({R/x^rR}, E)\\cong \\text{Hom}_R({R/x^rR}, E')\\not= 0\\), then \\(E\\cong E'\\).    Let \\(R\\rightarrow S\\) be a ring homomorphism and \\(L\\) an \\(S\\)-module. An \\(R\\)-module \\(M\\) is called a ``colifting'' of \\(L\\) to \\(R\\) if \\(L\\cong \\text{Hom}_R(S,M)\\) and \\(\\text{Ext}^i_R(S,M)=0\\) for all \\(i\\geq 1\\). The module \\(M\\) is a ``weak colifting'' of \\(L\\) if \\(L\\) is a direct summand of \\(\\text{Hom}_R(S,M)\\) and \\(\\text{Ext}^i_R(S,M)=0\\) for all \\(i\\geq 1\\). An example is provided of a module \\(M\\) that is a weak colifting of \\(L\\), but is not a colifting of \\(L\\). For an \\(R\\)-regular element \\(x\\), write \\(\\overline R ={R/xR}\\). The authors show that if \\(M\\) is a strongly indecomposable Gorenstein injective module over an \\(n\\)-Gorenstein ring \\(R\\) and \\(M\\) is a colifting of a nonzero \\(\\overline R\\)-module \\(L\\) such that \\(x\\cdot \\text{Ext}^1(\\;,M)=0\\), then \\(S_R(\\text{Hom}_R(\\overline R, S^{-1}(M)))\\) is a reduced Gorenstein injective \\(R\\)-module and \\(G_R(L)\\cong M\\oplus S^{-1}(M)\\) where \\(G_R(L)\\) and \\(S^{-1}(M)\\) denote the Gorenstein injective envelope of the \\(R\\)-module \\(L\\) and the kernel of the injective cover of \\(M\\), respectively.    An \\(R\\)-module \\(M\\) is an ``essential colifting'' of an \\(\\overline R\\)-module \\(L\\) if \\(M\\) is a colifting of \\(L\\) and the \\(R\\)-imbedding \\(L\\subseteq M\\) is an essential extension. The authors show that when \\(R\\) is \\(n\\)-Gorenstein and \\(M\\) is an essential colifting of an \\(\\overline R\\)-module to \\(R\\), then \\(\\text{Hom}_R(\\overline R, G_R(M))\\cong G_{\\overline R}(\\text{Hom}(\\overline R, M))\\). This leads to the result that if \\(R\\) is an essential colifting of \\(L\\) then R is a colifting of \\(G_{\\overline R}(L)\\) and of \\(G_R(L)/ L\\). The paper concludes with characterizations for essentially coliftable \\(\\overline R\\)-modules over 2-Gorenstein rings and for weakly coliftable \\(\\overline R\\)-modules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279742$0D0AFC10-4B5A-4E5D-9DED-F22D6DFACFE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"00b57ad4427337de71ca891b07759c4534c98423","datavalue":{"value":"13B02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279742$C6A10234-F3E4-470B-A5AA-62B7FDE2123F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"64ce59c17d9a83c0cac11f35e9b0863a228f3d0a","datavalue":{"value":"13C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279742$25083DF1-92E3-40E8-9D94-EC37EDE41FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"99c27e09fa243dec33ba15f384f6aea1342b3613","datavalue":{"value":"13D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279742$F52929B5-ED4D-4FD6-A544-475B05F74BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9fd82bb3bb51bb4e60178b4b3fa3c15d4bdaa363","datavalue":{"value":"13D07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279742$2CAF468A-135D-420F-8BAF-2F9E8F1CF6E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31955a64618d82f31accda0224c40a126222ee4d","datavalue":{"value":"1251223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279742$13FEEB17-1E4C-4EBB-A80C-A1899F3E38AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7394d28b4f8166c417c8d8948ba26a3e7995f9f7","datavalue":{"value":"Gorenstein injective module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279742$18765AE6-521D-43A0-AA10-CE49AB4B84B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f5fdf7eaf1582baa0dcb943553d5020b464c9d0","datavalue":{"value":"regular element","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279742$48BEA055-90A2-4D97-98FC-5C748EC4282A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecd6806fa0b2fad14eb52fe4b97aa3a7432864ed","datavalue":{"value":"Gorenstein injective envelope","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279742$18DB7B5D-0E03-47F3-96B6-CED2A35A6D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfd1a33715d925508c7e8f018829d8650290bac1","datavalue":{"value":"injective cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279742$DCFB1B28-0B79-4B4E-8F3F-176CADCE22AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54e48f38bd92f298fe1fa839ea2ba566051dcbc1","datavalue":{"value":"essential colifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279742$2C14995D-EC27-4930-8851-465B06F2DB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b1a500419131e132a1c1fdd01f3a8afb6176ba0","datavalue":{"value":"cosyzygy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279742$2F567DAB-9570-4128-9C65-A8D08F9460EA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"932a31d06589dbafd44cc9a7910b266b41d319af","datavalue":{"value":"Q114060339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279742$9CF425C4-2311-4C3E-9AE6-500C8A32CBFE","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":"Q1279742$58D836BF-84B0-447C-9DD9-79CBB493465B","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":"Q1279742$5DD56368-70CE-4088-8529-91E761516F50","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"def2ae9067cede249c3fec048fda8605ce6c1684","datavalue":{"value":{"entity-type":"item","numeric-id":1379065,"id":"Q1379065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279742$DFB396F3-540A-41DD-A09C-D7D687BEEC9E","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":"Q1279742$C0DA4149-3653-45A3-B207-F135B46CF2C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d2d8d62df02e0f3414f75b595a0a64f8f6161ef","datavalue":{"value":"https://doi.org/10.1215/kjm/1250518116","type":"string"},"datatype":"url"},"type":"statement","id":"Q1279742$BDA17DEB-A013-44FD-A1A2-0B517A2D5DEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e98a0f163fbebed8ef3577b5c0a0734710147a5","datavalue":{"value":"W1861896485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279742$5CE4479D-B891-4CD3-A047-5A425B00FB01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70cea4162a4d85611b2e92b04719f7e6c987dca3","datavalue":{"value":"10.1215/KJM/1250518116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279742$3B2E1D46-3518-4700-86B5-F50A8DF30B24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb4fe5d216e09fd580ff7ba28ebe7de4c6caef7","datavalue":{"value":{"entity-type":"item","numeric-id":375508,"id":"Q375508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe6489b9566723c5694dee0763ace8d944dc1f8","datavalue":{"value":{"amount":"+0.8059163689613342","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":"Q1279742$8AFCD6E2-BC27-4EEF-B25E-951BFD5359DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb7327b7359fe28b48b5c0a17f7419cd2a6d80d","datavalue":{"value":{"entity-type":"item","numeric-id":4216809,"id":"Q4216809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d4031bc870db6aff43b2d2efdf6c3013cfef1b7","datavalue":{"value":{"amount":"+0.8036738634109497","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":"Q1279742$10578746-ABD0-4C8A-93D5-D737616C3A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063bcad5166a0c1a06af7b86b7762402bf190506","datavalue":{"value":{"entity-type":"item","numeric-id":1375808,"id":"Q1375808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158a1ce4e7b48cd0c15a22a186c0e1bf7d71847e","datavalue":{"value":{"amount":"+0.794109046459198","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":"Q1279742$4F4C4418-9E84-4502-BC15-D638F7962186","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coliftings and Gorenstein injective modules","badges":[]}}}}}