Showing 1–2 of 2 results for author: Koksal, F

Gorenstein dimensions of unbounded complexes and faithfully flat change of base (With an appendix by Driss Bennis)

Authors: Lars Winther Christensen, Fatih Koksal, Li Liang

Abstract: For a commutative ring R and a faithfully flat R-algebra S we prove, under mild extra assumptions, that an R-module M is Gorenstein flat if and only if the left S-module S\otimes M is Gorenstein flat, and that an R-module N is Gorenstein injective if and only if it is cotorsion and the left S-module Hom(S,N) is Gorenstein injective. We apply these results to the study of Gorenstein homological dim… ▽ More For a commutative ring R and a faithfully flat R-algebra S we prove, under mild extra assumptions, that an R-module M is Gorenstein flat if and only if the left S-module S\otimes M is Gorenstein flat, and that an R-module N is Gorenstein injective if and only if it is cotorsion and the left S-module Hom(S,N) is Gorenstein injective. We apply these results to the study of Gorenstein homological dimensions of unbounded complexes. In particular, we prove two theorems on stability of these dimensions under faithfully flat (co-)base change. △ Less

Submitted 12 May, 2016; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: Minor corrections. Added section with closing remarks per journal's request. Final version to appear in Sci. China Math.; 22 pp

MSC Class: 13D05; 13D02

Injective Modules under Faithfully Flat Ring Extensions

Authors: Lars Winther Christensen, Fatih Koksal

Abstract: Let R be a commutative ring and S be an R-algebra. It is well-known that if N is an injective R-module, then Hom(S,N) is an injective S-module. The converse is not true, not even if R is a commutative noetherian local ring and S is its completion, but it is close: It is a special case of our main theorem that in this setting, an R-module N with Ext^i(S,N)=0 for all i>0 is injective if Hom(S,N) is… ▽ More Let R be a commutative ring and S be an R-algebra. It is well-known that if N is an injective R-module, then Hom(S,N) is an injective S-module. The converse is not true, not even if R is a commutative noetherian local ring and S is its completion, but it is close: It is a special case of our main theorem that in this setting, an R-module N with Ext^i(S,N)=0 for all i>0 is injective if Hom(S,N) is an injective S-module. △ Less

Submitted 16 April, 2015; v1 submitted 30 June, 2014; originally announced June 2014.

Comments: Minor editorial change after review. Final version, to appear in Proc. Amer. Math. Soc.; 6 pp

MSC Class: 13C11; 13D05