• East Asian mathematical journal
• /
• v.13 no.1
• /
• pp.85-88
• /
• 1997

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.2
• /
• pp.387-391
• /
• 2004

Let A be Noetherian ring, a= (${\tau}_1..., \tau_n$ an ideal of A and $C_{A}$ be category of A-modules and A-homomorphisms. We show that the connected left sequences of covariant functors ${limH_i(K.(t^t,-))}_{i\geq0}$ and ${lim{{Tor^A}_i}(\frac{A}{a^f}-)}_{i\geq0}$ are isomorphic from $C_A$ to itself, where $\tau^t\;=\;{{\tau_^t}_1$, ㆍㆍㆍ${\tau^t}_n$.

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

• Honam Mathematical Journal
• /
• v.3 no.1
• /
• pp.109-113
• /
• 1981

본(本) 논문(論文)에서는 Noetherian Ring 상(上)의 finitely generated injective module이 completely indecomposable modules의 direct sum으로 표시(表示)될 필요충분조건(必要充分條件)을 구(求)하였다.

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

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.4
• /
• pp.645-652
• /
• 2002

In this note we investigate some results which concern the types of local rings. In particular it is shown that if the type of a quasi-unmixed local ring A is less than or equal to depth A ＋ 1, and $\hat{A}_p$ is Cohen-Macaulay for every prime $p\neq\hat{m}$, then A is Cohen-Macaulay. (This implies the previously known result: if A satisfies $(S_{n-1})}$, where n is the type of a .ins A, then A is Cohen-Macaulay.)

• East Asian mathematical journal
• /
• v.10 no.1
• /
• pp.199-202
• /
• 1994

• Communications of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.337-345
• /
• 2022

Let R ⊆ T be an extension of a commutative ring and S ⊆ R a multiplicative subset. We say that (R, T) is an S-accr (a commutative ring R is said to be S-accr if every ascending chain of residuals of the form (I : B) ⊆ (I : B²) ⊆ (I : B³) ⊆ ⋯ is S-stationary, where I is an ideal of R and B is a finitely generated ideal of R) pair if every ring A with R ⊆ A ⊆ T satisfies S-accr. Using this concept, we give an S-version of several different known results.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.519-530
• /
• 2014

Let (R,m) be a Noetherian local ring and M a finitely generated R-module. For an integer s > -1, we say that M is Cohen-Macaulay in dimension > s if every system of parameters of M is an M-sequence in dimension > s introduced by Brodmann-Nhan [1]. In this paper, we give some characterizations for Cohen-Macaulay modules in dimension > s in terms of the Noetherian dimension of the local cohomology modules $H^i_m(M)$, the polynomial type of M introduced by Cuong [5] and the multiplicity e($\underline{x}$;M) of M with respect to a system of parameters $\underline{x}$.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.961-976
• /
• 2019

Let R be any commutative ring and S be any multiplicative closed set. We introduce an S-version of $\mathcal{F}$-Mittag-Leffler modules, called $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, and define the projective dimension with respect to these modules. We give some characterizations of $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, investigate the relationships between $\mathcal{F}$-Mittag-Leffler modules and $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, and use these relations to describe noetherian rings and coherent rings, such as R is noetherian if and only if $R_S$ is noetherian and every $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler module is $\mathcal{F}$-Mittag-Leffler. Besides, we also investigate the $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension of R, and prove that $R_S$ is noetherian if and only if its $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension is zero; $R_S$ is coherent if and only if its $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension is at most one.