• 대한수학회보
• /
• 제61권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.

• 대한수학회지
• /
• 제50권1호
• /
• pp.203-218
• /
• 2013

Let R be a ring. A right R-module M is called GI-flat if $Tor^R_1(M,G)=0$ for every Gorenstein injective left R-module G. It is shown that GI-flat modules lie strictly between flat modules and copure flat modules. Suppose R is an $n$-FC ring, we prove that a finitely presented right R-module M is GI-flat if and only if M is a cokernel of a Gorenstein flat preenvelope K ${\rightarrow}$ F of a right R-module K with F flat. Then we study GI-flat dimensions of modules and rings. Various results in [6] are developed, some new characterizations of von Neumann regular rings are given.

• 대한수학회지
• /
• 제49권1호
• /
• pp.31-47
• /
• 2012

The so-called Ding-Chen ring is an n-FC ring which is both left and right coherent, and has both left and right self FP-injective dimensions at most n for some non-negative integer n. In this paper, we investigate the classes of the so-called Ding projective, Ding injective and Gorenstein at modules and show that some homological properties of modules over Gorenstein rings can be generalized to the modules over Ding-Chen rings. We first consider Gorenstein at and Ding injective dimensions of modules together with Ding injective precovers. We then discuss balance of functors Hom and tensor.

• 대한수학회보
• /
• 제39권3호
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.

• 대한수학회보
• /
• 제54권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.

• 대한수학회지
• /
• 제34권1호
• /
• pp.135-147
• /
• 1997

Let k be an infinite field and let $X = {P_1, \cdots, P_s}$ be a set of s-distinct points in $P^n$. We denote by $I(X)$ the defining ideal of $X$ in the polynomial ring $R = k[x_0, \cdots, x_n]$ and by A the homogeneous coordinate ring of $X, A = \sum_{t = 0}^{\infty} A_t$.

• 대한수학회보
• /
• 제53권3호
• /
• pp.779-791
• /
• 2016

Transfer of homological properties under base change is a classical field of study. Let $R{\rightarrow}S$ be a ring homomorphism. The relations of Gorenstein projective (or Gorenstein injective) dimensions of unbounded complexes between $U{\otimes}^L_RX$(or $RHom_R(X,U)$) and X are considered, where X is an R-complex and U is an S-complex. In addition, some sufficient conditions are given under which the equalities $G-dim_S(U{\otimes}^L_RX)=G-dim_RX+pd_SU$ and $Gid_S(RHom_R(X,U))=G-dim_RX+id_SU$ hold.

• 대한수학회지
• /
• 제39권1호
• /
• pp.127-135
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m. Then we say that I is an equimultiple good ideal in A, if I contains a reduction Q = ( $a_1$, $a_2$,ㆍㆍㆍ, $a_{s}$ ) generated by s elements in A and G(I) =(equation omitted)$_{n 0}$ $I^{n}$ / $I^{n＋1}$ of I is a Gorenstein ring with a(G(I)) = 1 - s, where s = h $t_{A}$ I and a(G(I)) denotes the a-invariant of G(I). Let $X_{A}$$^{s}$ denote the set of equimultiple good ideals I in A with h $t_{A}$ I = s, R(I) = A [It] be the Rees algebra of I, and $K_{R(I)}$ denote the canonical module of R(I). Let a I such that $I^{n＋l}$ = a $I^{n}$ for some n$\geq$0 and $\mu$$_{A}$(I)$\geq$2, where $\mu$$_{A}$(I) denotes the number of elements in a minimal system of generators of I. Assume that A/I is a Cohen-Macaulay ring. We show that the following conditions are equivalent. (1) $K_{R(I)}$(equation omitted)R(I)＋as graded R(I)-modules. (2) $I^2$ = aI and aA : I$\in$ $X^1$$_{A}$._{A}$./.

• 대한수학회지
• /
• 제49권6호
• /
• pp.1197-1214
• /
• 2012

The classes of $G_C$ homological modules over commutative ring, where C is a semidualizing module, extend Holm and J${\varnothing}$gensen's notions of C-Gorenstein homological modules to the non-Noetherian setting and generalize the classical classes of homological modules and the classes of Gorenstein homological modules within this setting. On the other hand, transfer of homological properties along ring homomorphisms is already a classical field of study. Motivated by the ideas mentioned above, in this article we will investigate the transfer properties of C and $G_C$ homological dimension.

• 대한수학회보
• /
• 제53권5호
• /
• pp.1447-1455
• /
• 2016

In this note, we mainly discuss the Gorenstein $Pr{\ddot{u}}fer$ domains. It is shown that a domain is a Gorenstein $Pr{\ddot{u}}fer$ domain if and only if every finitely generated ideal is Gorenstein projective. It is also shown that a domain is a PID (resp., Dedekind domain, $B{\acute{e}}zout$ domain) if and only if it is a Gorenstein $Pr{\ddot{u}}fer$ UFD (resp., Krull domain, GCD domain).