V-Gorenstein injective modules preenvelopes and related dimension

Abstract

Let R and S be associative rings and _S V _R a semidualizing (S-R)-bimodule. An R-module N is said to be V-Gorenstein injective if there exists a Hom _R (I _V (R),−) and Hom _R (−,I _V (R)) exact exact complex $\cdots \to {I_1}\xrightarrow{{{d_0}}}{I_0} \to {I^0}\xrightarrow{{{d_0}}}{I^1} \to \cdots$ of V-injective modules I _i and I ⁱ, i ∈ N₀, such that N ≅ Im(I ₀ → I ⁰). We will call N to be strongly V-Gorenstein injective in case that all modules and homomorphisms in the above exact complex are equal, respectively. It is proved that the class of V-Gorenstein injective modules are closed under extension, direct summand and is a subset of the Auslander class A _V (R) which leads to the fact that V-Gorenstein injective modules admit exact right I _V (R)-resolution. By using these facts, and thinking of the fact that the class of strongly V-Gorenstein injective modules is not closed under direct summand, it is proved that an R-module N is strongly V-Gorenstein injective if and only if N ⊕ E is strongly V-Gorenstein injective for some V-injective module E. Finally, it is proved that an R-module N of finite V-Gorenstein injective injective dimension admits V-Gorenstein injective preenvelope which leads to the fact that, for a natural integer n, Gorenstein V-injective injective dimension of N is bounded to n if and only if $Ext_{{I_V}\left( R \right)}^{ \geqslant n + 1}\left( {I,N} \right) = 0$ for all modules I with finite I _V (R)-injective dimension.