• Bulletin of the Korean Mathematical Society
• /
• v.57 no.6
• /
• pp.1567-1579
• /
• 2020

Let R ⊂ S be a Frobenius extension of rings and M a left S-module and let 𝓧 be a class of left R-modules and 𝒚 a class of left S-modules. Under some conditions it is proven that M is a 𝒚-Gorenstein left S-module if and only if M is an 𝓧-Gorenstein left R-module if and only if S ⊗_R M and Hom_R(S, M) are 𝒚-Gorenstein left S-modules. This statement extends a known corresponding result. In addition, the situations of Ding modules, Gorenstein AC modules and projectively coresolved Gorenstein flat modules are considered under Frobenius extensions.

• 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.

• Journal of the Korean Mathematical Society
• /
• v.55 no.6
• /
• pp.1389-1421
• /
• 2018

In this paper, we introduce the notion of C-Gorenstein weak injective modules with respect to a semidualizing bimodule $_SC_R$, where R and S are arbitrary associative rings. We show that an iteration of the procedure used to define $G_C$-weak injective modules yields exactly the $G_C$-weak injective modules, and then give the Foxby equivalence in this setting analogous to that of C-Gorenstein injective modules over commutative Noetherian rings. Finally, some applications are given, including weak co-Auslander-Buchweitz context, model structure and dual pair induced by $G_C$-weak injective modules.

• Journal of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.427-440
• /
• 2017

In this paper, in terms of the notions of strongly copure projective modules and the copure projective dimension cpD(R) of a ring R were defined in [12], we show that a domain R has $cpD(R){\leq}1$ if and only if R is a Gorenstein Dedekind domain.

• Honam Mathematical Journal
• /
• v.12 no.1
• /
• pp.61-82
• /
• 1990

• Honam Mathematical Journal
• /
• v.11 no.1
• /
• pp.21-38
• /
• 1989

• Journal of Integrative Natural Science
• /
• v.10 no.4
• /
• pp.240-244
• /
• 2017

We study the behavior of some invariants under completion. We also give a counterexample, which is the same as a counterexample to Ding's Conjecture, to Koh-Lee's Conjecture.

• Bulletin of the Korean Mathematical Society
• /
• v.28 no.2
• /
• pp.175-180
• /
• 1991

In [3], [4] and [5], Hochster and Huneke introduced the notions of the tight closure of an ideal and of the weak F-regularity of a ring. This notion enabled us to give new proofs of many results in commutative algebra. A regular ring is known to be F-regular, and a Gorenstein local ring is proved to be F-regular provided that one ideal generated by a system of parameters (briefly s.o.p.) is tightly closed. In fact, a Gorenstein local ring is weakly F-regular if and only if there exists a system of parameters ideal which is tightly closed [3]. But we do not know whether this fact is true or not if a ring is not Gorenstein, in particular, a ring is a Cohen Macaulay (briefly C-M) local ring. In this paper, we will prove this in the case of an 1-dimensional C-M local ring. For this, we study the F-rationality and the normality of the ring. And we will also prove that a C-M local ring is to be Gorenstein under some additional condition about the tight closure.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.405-423
• /
• 2023

Let (𝓛, 𝒜) be a complete duality pair. We give some equivalent characterizations of Gorenstein (𝓛, 𝒜)-projective modules and construct some model structures associated to duality pairs and Frobenius pairs. Some rings are described by Frobenius pairs. In addition, we investigate special Gorenstein (𝓛, 𝒜)-projective modules and construct some model structures and recollements associated to them.

• Journal of Integrative Natural Science
• /
• v.4 no.4
• /
• pp.278-281
• /
• 2011

We discuss an application of 'restrictions on the entries of the maps in the minimal free resolution' and '$SC_r$-condition of modules', and give an alternative proof of the following result of Foxby: Let M be a finitely generated module of dimension over a Noetherian local ring (A,m). Suppose that $\hat{A}$ has no embedded primes. If A is not Gorenstein, then ${\mu}_i(m,A){\geq}2$ for all i ${\geq}$ dimA.