• Kyungpook Mathematical Journal
• /
• v.48 no.1
• /
• pp.143-154
• /
• 2008

Lomp [9] has studied finitely generated projective modules over semilocal rings. He obtained the following: finitely generated projective modules over semilocal rings are semilocal. We shall give necessary and sufficient conditions for finitely generated modules to be semilocal modules. By using a lifting property, we also give characterizations of right perfect (semiperfect) rings. Our main results can be summarized as follows: (1) Let M be a finitely generated module. Then M has finite hollow dimension if and only if M is weakly supplemented if and only if M is semilocal. (2) A ring R is right perfect if and only if every flat right R-module is lifting and every right R-module has a flat cover if and only if every quasi-projective right R-module is lifting. (3) A ring R is semiperfect if and only if every finitely generated flat right R-module is lifting if and only if RR satisfies the lifting property for simple factor modules.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1935-1950
• /
• 2017

Let R be a Ding-Chen ring. Yang [24] and Zhang [25] asked whether or not every R-module has finite Ding projective or Ding injective dimension. In this paper, we give a new characterization of that all modules have finite Ding projective and Ding injective dimension in terms of the relationship between Ding projective and Gorenstein flat modules. We also give an example to obtain negative answer to the above question.

• 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.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.47 no.3
• /
• pp.611-622
• /
• 2010

A ring R is called left max-coherent provided that every maximal left ideal is finitely presented. $\mathfrak{M}\mathfrak{I}$ (resp. $\mathfrak{M}\mathfrak{F}$) denotes the class of all max-injective left R-modules (resp. all max-flat right R-modules). We prove, in this article, that over a left max-coherent ring every right R-module has an $\mathfrak{M}\mathfrak{F}$-preenvelope, and every left R-module has an $\mathfrak{M}\mathfrak{I}$-cover. Furthermore, it is shown that a ring R is left max-injective if and only if any left R-module has an epic $\mathfrak{M}\mathfrak{I}$-cover if and only if any right R-module has a monic $\mathfrak{M}\mathfrak{F}$-preenvelope. We also give several equivalent characterizations of MI-injectivity and MI-flatness. Finally, $\mathfrak{M}\mathfrak{I}$-dimensions of modules and rings are studied in terms of max-injective modules with the left derived functors of Hom.

• Communications of the Korean Mathematical Society
• /
• v.25 no.4
• /
• pp.497-510
• /
• 2010

Let R be a ring and n a fixed non-negative integer. $\cal{TI}_n$ (resp. $\cal{TF}_n$) denotes the class of all right R-modules of FGT-injective dimensions at most n (resp. all left R-modules of FGT-flat dimensions at most n). We prove that, if R is a right $\prod$-coherent ring, then every right R-module has a $\cal{TI}_n$-cover and every left R-module has a $\cal{TF}_n$-preenvelope. A right R-module M is called n-TI-injective in case $Ext^1$(N,M) = 0 for any $N\;{\in}\;\cal{TI}_n$. A left R-module F is said to be n-TI-flat if $Tor_1$(N, F) = 0 for any $N\;{\in}\;\cal{TI}_n$. Some properties of n-TI-injective and n-TI-flat modules and their relations with $\cal{TI}_n$-(pre)covers and $\cal{TF}_n$-preenvelopes are also studied.

• Journal of the Korean Mathematical Society
• /
• v.39 no.4
• /
• pp.611-620
• /
• 2002

The aim of the Paper is to Obtain information about the flat covers and minimal flat resolutions of Artinian modules over a Noetherian ring. Let R be a commutative Noetherian ring and let A be an Artinian R-module. We prove that the flat cover of a is of the form $\prod_{p\epsilonAtt_R(A)}T-p$, where $Tp$ is the completion of a free R$_{p}$-module. Also, we construct a minimal flat resolution for R/xR-module 0: $_AX$ from a given minimal flat resolution of A, when n is a non-unit and non-zero divisor of R such that A = $\chiA$. This result leads to a description of the structure of a minimal flat resolution for ${H^n}_{\underline{m}}(R)$, nth local cohomology module of R with respect to the ideal $\underline{m}$, over a local Cohen-Macaulay ring (R, $\underline{m}$) of dimension n.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.971-983
• /
• 2023

In this paper, we prove that a domain R is an FGV-domain if every finitely generated torsion-free R-module is strongly copure projective, and a coherent domain is an FGV-domain if and only if every finitely generated torsion-free R-module is strongly copure projective. To do this, we characterize G-Prüfer domains by G-flat modules, and we prove that a domain is G-Prüfer if and only if every submodule of a projective module is G-flat. Also, we study the D + M construction of G-Prüfer domains. It is seen that there exists a non-integrally closed G-Prüfer domain that is neither Noetherian nor divisorial.

• Journal of the Korean Mathematical Society
• /
• v.55 no.5
• /
• pp.1221-1233
• /
• 2018

Let R be a commutative ring with non-zero identity and let NN(R) = {I | I is a nonnil ideal of R}. Let M be an R-module and let ${\phi}-tor(M)=\{x{\in}M{\mid}Ix=0\text{ for some }I{\in}NN(R)\}$. If ${\phi}or(M)=M$, then M is called a ${\phi}$-torsion module. An R-module M is said to be ${\phi}$-flat, if $0{\rightarrow}{A{\otimes}_R}\;{M{\rightarrow}B{\otimes}_R}\;{M{\rightarrow}C{\otimes}_R}\;M{\rightarrow}0$ is an exact R-sequence, for any exact sequence of R-modules $0{\rightarrow}A{\rightarrow}B{\rightarrow}C{\rightarrow}0$, where C is ${\phi}$-torsion. In this paper, the concepts of NRD-submodules and NP-submodules are introduced, and the ${\phi}$-flat modules over a ${\phi}-Pr{\ddot{u}}fer$ ring are investigated.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.439-450
• /
• 2019

Let R be a ring with unity. Given modules $M_R$ and $_RN$, $M_R$ is said to be absolutely $_RN$-pure if $M{\otimes}N{\rightarrow}L{\otimes}N$ is a monomorphism for every extension $L_R$ of $M_R$. For a module $M_R$, the subpurity domain of $M_R$ is defined to be the collection of all modules $_RN$ such that $M_R$ is absolutely $_RN$-pure. Clearly $M_R$ is absolutely $_RF$-pure for every flat module $_RF$, and that $M_R$ is FP-injective if the subpurity domain of M is the entire class of left modules. As an opposite of FP-injective modules, $M_R$ is said to be a test for flatness by subpurity (or t.f.b.s. for short) if its subpurity domain is as small as possible, namely, consisting of exactly the flat left modules. Every ring has a right t.f.b.s. module. $R_R$ is t.f.b.s. and every finitely generated right ideal is finitely presented if and only if R is right semihereditary. A domain R is $Pr{\ddot{u}}fer$ if and only if R is t.f.b.s. The rings whose simple right modules are t.f.b.s. or injective are completely characterized. Some necessary conditions for the rings whose right modules are t.f.b.s. or injective are obtained.