• Bulletin of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1041-1052
• /
• 2010

In this paper, strongly cotorsion (torsion-free) modules are studied and strongly cotorsion (torsion-free) dimension is introduced. It is shown that every module has a special $\mathcal{SC}_n$-preenvelope and an ST $\mathcal{F}_n$-cover for any $n\;{\in}\;\mathbb{N}$ based on some results of cotorsion pairs from [9]. Some characterizations of strongly cotorsion (torsion-free) dimension of a module are given.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1483-1494
• /
• 2021

Let A and B be rings and U be a (B, A)-bimodule. If _BU has finite flat dimension, U_A has finite flat dimension and U ⊗_A C is a cotorsion left B-module for any cotorsion left A-module C, then the Gorenstein flat-cotorsion modules over the formal triangular matrix ring $T=\(\array{A&0\\U&B}\)$ are explicitly described. As an application, it is proven that each Gorenstein flat-cotorsion left T-module is flat-cotorsion if and only if every Gorenstein flat-cotorsion left A-module and B-module is flat-cotorsion. In addition, Gorenstein flat-cotorsion dimensions over the formal triangular matrix ring T are studied.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.589-596
• /
• 2007

In this paper we prove that the extension of pure injective module is pure injective if and only if the cotorsion envelope and the pure injective envelope of any R-module M are isomorphic over M. And we prove that if the product of pure injective envelopes of flat modules is a pure injective envelope and the product of flat covers is a flat cover, then the product of cotorsion envelopes is a cotorsion envelope.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.973-990
• /
• 2020

For the question "when is E(_RR) a flat left R-module for any ring R?", in this paper, we deal with a class of modules partaking in the hierarchy of injective and cotorsion modules, so-called Harmanci injective modules, which turn out by the motivation of relations among the concepts of injectivity, flatness and cotorsionness. We give some characterizations and properties of this class of modules. It is shown that the class of all Harmanci injective modules is enveloping, and forms a perfect cotorsion theory with the class of modules whose character modules are Matlis injective. For the objective we pursue, we characterize when the injective envelope of a ring as a module over itself is a flat module.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1187-1198
• /
• 2019

Let R be a domain with its field Q of quotients. An R-module M is said to be weak w-projective if $Ext^1_R(M,N)=0$ for all $N{\in}{\mathcal{P}}^{\dagger}_w$, where ${\mathcal{P}}^{\dagger}_w$ denotes the class of GV-torsionfree R-modules N with the property that $Ext^k_R(M,N)=0$ for all w-projective R-modules M and for all integers $k{\geq}1$. In this paper, we define a domain R to be w-Matlis if the weak w-projective dimension of the R-module Q is ${\leq}1$. To characterize w-Matlis domains, we introduce the concept of w-Matlis cotorsion modules and study some basic properties of w-Matlis modules. Using these concepts, we show that R is a w-Matlis domain if and only if $Ext^k_R(Q,D)=0$ for any ${\mathcal{P}}^{\dagger}_w$-divisible R-module D and any integer $k{\geq}1$, if and only if every ${\mathcal{P}}^{\dagger}_w$-divisible module is w-Matlis cotorsion, if and only if w.w-pdRQ/$R{\leq}1$.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.1
• /
• pp.173-187
• /
• 2014

In this article, we introduce and study the Gorenstein cotorsion dimension of modules and rings. It is shown that this dimension has nice properties when the ring in question is left GF-closed. The relations between the Gorenstein cotorsion dimension and other homological dimensions are discussed. Finally, we give some new characterizations of weak Gorenstein global dimension of coherent rings in terms of Gorenstein cotorsion modules.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.1-12
• /
• 2024

In this paper, we introduce the notion of Gorenstein (m, n)-flat modules as an extension of (m, n)-flat left R-modules over a ring R, where m and n are two fixed positive integers. We demonstrate that the class of all Gorenstein (m, n)-flat modules forms a Kaplansky class and establish that (𝓖𝓕_m,n(R),𝓖𝓒_m,n(R)) constitutes a hereditary perfect cotorsion pair (where 𝓖𝓕_m,n(R) denotes the class of Gorenstein (m, n)-flat modules and 𝓖𝓒_m,n(R) refers to the class of Gorenstein (m, n)-cotorsion modules) over slightly (m, n)-coherent rings.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.141-154
• /
• 2022

Let R be a commutative ring with identity. Denote by w𝒫_w the class of weak w-projective R-modules and by w𝒫_w^⊥ the right orthogonal complement of w𝒫_w. It is shown that (w𝒫_w, w𝒫_w^⊥) is a hereditary and complete cotorsion theory, and so every R-module has a special weak w-projective precover. We also give some necessary and sufficient conditions for weak w-projective modules to be w-projective. Finally it is shown that when we discuss the existence of a weak w-projective cover of a module, it is enough to consider the w-envelope of the module.

• Communications of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.209-219
• /
• 2005

Tor-torsion theory was defined by Jan Trlifaj in 2000. In this paper we introduce the notion of Co envelopes, CoCovers and Tor-generators as dual of envelopes, covers and generators in cotorsion(Ext-torsion) theory and deduce that each R-module has a projective and a cotorsion coprecover.