• 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.57 no.5
• /
• pp.1165-1176
• /
• 2020

Let M be a module over a commutative ring R. In this paper, we study Int(R, M), the module of integer-valued polynomials on M over R, and Int_M(R), the ring of integer-valued polynomials on R over M. We establish some properties of Krull dimensions of Int(R, M) and Int_M(R). We also determine when Int(R, M) and Int_M(R) are nontrivial. Among the other results, it is shown that Int(ℤ, M) is not Noetherian module over Int_M(ℤ) ∩ Int(ℤ), where M is a finitely generated ℤ-module.

• East Asian mathematical journal
• /
• v.17 no.2
• /
• pp.367-374
• /
• 2001

Northcott and McKerrow proved that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-1}]$ is an injective left R[x]-module. Park generalized Northcott and McKerrow's result so that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-S}]$ is an injective left $R[x^S]$-module, where S is a submonoid of $\mathbb{N}$($\mathbb{N}$ is the set of all natural numbers). In this paper we extend the injective property to the Laurent power series module so that if R is a ring and E is an injective left R-module, then $E[[x^{-1},x]]$ is an injective left $R[x^S]$-module.

• Journal of the Korean Mathematical Society
• /
• v.48 no.1
• /
• pp.207-222
• /
• 2011

Let R be a commutative ring and let M be a GV -torsionfree R-module. Then M is said to be a $\omega$-module if $Ext_R^1$(R/J, M) = 0 for any J $\in$ GV (R), and the w-envelope of M is defined by $M_{\omega}$ = {x $\in$ E(M) | Jx $\subseteq$ M for some J $\in$ GV (R)}. In this paper, $\omega$-modules over commutative rings are considered, and the theory of $\omega$-operations is developed for arbitrary commutative rings. As applications, we give some characterizations of $\omega$-Noetherian rings and Krull rings.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1253-1270
• /
• 2015

Let (R, m) be a commutative Noetherian local domain, M a non-zero finitely generated R-module of dimension n > 0 and I be an ideal of R. In this paper it is shown that if $x_1,{\ldots },x_t$ ($1{\leq}t{\leq}n$) be a sub-set of a system of parameters for M, then the R-module $H^t_{(x_1,{\ldots },x_t)}$(R) is faithful, i.e., Ann $H^t_{(x_1,{\ldots },x_t)}$(R) = 0. Also, it is shown that, if $H^i_I$ (R) = 0 for all i > dim R - dim R/I, then the R-module $H^{dimR-dimR/I}_I(R)$ is faithful. These results provide some partially affirmative answers to the Lynch's conjecture in [10]. Moreover, for an ideal I of an arbitrary Noetherian ring R, we calculate the annihilator of the top local cohomology module $H^1_I(M)$, when $H^i_I(M)=0$ for all integers i > 1. Also, for such ideals we show that the finitely generated R-algebra $D_I(R)$ is a flat R-algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.311-317
• /
• 2018

Let (R, m) be a commutative Noetherian local ring and I be an ideal of R. In this paper it is shown that if cd(I, R) = t > 0 and the R-module $Hom_R(R/I,H^t_I(R))$ is finitely generated, then $$t={\sup}\{{\dim}{\widehat{\hat{R}_p}}/Q:p{\in}V(I{\hat{R}}),\;Q{\in}mAss{_{\widehat{\hat{R}_p}}}{\widehat{\hat{R}_p}}\;and\;p{\widehat{\hat{R}_p}}=Rad(I{\wideha{\hat{R}_p}}=Q)\}$$. Moreover, some other results concerning the cohomological dimension of ideals with respect to the rings extension $R{\subset}R[X]$ will be included.

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

Let I be an ideal of a commutative Noetherian semi-local ring R and M be an R-module. It is shown that if dim M ≤ 2 and Supp_R M ⊆ V (I), then M is I-weakly cofinite if (and only if) the R-modules Hom_R(R/I, M) and Ext¹_R(R/I, M) are weakly Laskerian. As a consequence of this result, it is shown that the category of all I-weakly cofinite modules X with dim X ≤ 2, forms an Abelian subcategory of the category of all R-modules. Finally, it is shown that if dim R/I ≤ 2, then for each pair of finitely generated R-modules M and N and each pair of the integers i, j ≥ 0, the R-modules Tor^R_i(N, H^j_I(M)) and Extⁱ_R(N, H^j_I(M)) are I-weakly cofinite.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.23-32
• /
• 2023

Let 𝓢 be a Serre class in the category of modules and 𝖆 an ideal of a commutative Noetherian ring R. We study the containment of Tor modules, Koszul homology and local homology in 𝓢 from below. With these results at our disposal, by specializing the Serre class to be Noetherian or zero, a handful of conclusions on Noetherianness and vanishing of the foregoing homology theories are obtained. We also determine when Tor^R_𝓼+t(R/𝖆, X) ≅ Tor^R_𝓼(R/𝖆, H^𝖆_t(X)).

• East Asian mathematical journal
• /
• v.16 no.1
• /
• pp.111-123
• /
• 2000

Northcott and McKerrow proved that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-1}]$ is an injective left R[xl-module. Park generalize Northcott and McKerrow's result so that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-S}]$ is an injective left $R[x^s]$-module, where S is a submonoid of N(N is the set of all natural numbers). In this paper we show $$Hom_{R[x^S]}(M[x^{-S}],\;N[x^{-S}]){\cong}Hom_R(M,\;N)[[x^S]]$$ and using the above result and this isomorphism, finally we show that $$Ext^i_{R[x^S]}(M[x^{-S}],\;N[x^{-S}]){\cong}Ext^i_R(M,\;N)[[x^S]]$$.

• Journal of applied mathematics & informatics
• /
• v.26 no.1_2
• /
• pp.401-406
• /
• 2008

In this paper, we will introduce the noetherian quotients in R-groups, and then investigate the related substructures of the near-ring R and G and the R-group G. Also, applying the annihilator concept in R-groups and d.g. near-rings, we will survey some properties of the substructures of R and G in monogenic Rgroups, and show that R becomes a ring for faithful monogenic R-groups with some condition.