• Bulletin of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.225-231
• /
• 2007

Given an injective envelope E of a left R-module M, there is an associative Galois group Gal$({\phi})$. Let R be a left noetherian ring and E be an injective envelope of M, then there is an injective envelope $E[x^{-1}]$ of an inverse polynomial module $M[x^{-1}]$ as a left R[x]-module and we can define an associative Galois group Gal$({\phi}[x^{-1}])$. In this paper we describe the relations between Gal$({\phi})$ and Gal$({\phi}[x^{-1}])$. Then we extend the Galois group of inverse polynomial module and can get Gal$({\phi}[x^{-s}])$, where S is a submonoid of $\mathbb{N}$ (the set of all natural numbers).

• Journal of the Korean Mathematical Society
• /
• v.51 no.5
• /
• pp.971-985
• /
• 2014

All modules considered in this note are over associative commutative rings with an identity element. We show that a ${\omega}$-local module M is Rad-supplemented if and only if M/P(M) is a local module, where P(M) is the sum of all radical submodules of M. We prove that ${\omega}$-local nonsmall submodules of a cyclic Rad-supplemented module are again Rad-supplemented. It is shown that commutative Noetherian rings over which every w-local Rad-supplemented module is supplemented are Artinian. We also prove that if a finitely generated Rad-supplemented module is cyclic or multiplication, then it is amply Rad-supplemented. We conclude the paper with a characterization of finitely generated amply Rad-supplemented left modules over any ring (not necessarily commutative).

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.289-298
• /
• 2017

Let R denote a commutative Noetherian (not necessarily local) ring and let I be an ideal of R of dimension one. The main purpose of this note is to show that the category ${\mathfrak{M}}(R,\;I)_{com}$ of I-cominimax R-modules forms an Abelian subcategory of the category of all R-modules. This assertion is a generalization of the main result of Melkersson in [15]. As an immediate consequence of this result we get some conditions for cominimaxness of local cohomology modules for ideals of dimension one. Finally, it is shown that the category ${\mathcal{C}}^1_B(R)$ of all R-modules of dimension at most one with finite Bass numbers forms an Abelian subcategory of the category of all R-modules.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1331-1336
• /
• 2017

Assume that R is a commutative Noetherian ring with non-zero identity, a is an ideal of R, X is an R-module, and t is a non-negative integer. In this paper, we present upper bounds for the injective dimension of X in terms of the injective dimensions of its local cohomology modules and an upper bound for the injective dimension of $H^t_{\alpha}(X)$ in terms of the injective dimensions of the modules $H^i_{\alpha}(X)$, $i{\neq}t$, and that of X. As a consequence, we observe that R is Gorenstein whenever $H^t_{\alpha}(R)$ is of finite injective dimension for all i.

• East Asian mathematical journal
• /
• v.24 no.2
• /
• pp.139-144
• /
• 2008

Given an injective envelope E of a left R-module M, there is an associative Galois group Gal($\phi$). Let R be a left noetherian ring and E be an injective envelope of M, then there is an injective envelope E[$x^{-1}$] of an inverse polynomial module M[$x^{-1}$] as a left R[x]-module and we can define an associative Galois group Gal(${\phi}[x^{-1}]$). In this paper we extend the Galois group of inverse polynomial module and can get Gal(${\phi}[x^{-s}]$), where S is a submonoid of $\mathds{N}$ (the set of all natural numbers).

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1385-1394
• /
• 2016

Let (R, m) be a Noetherian local ring, I, J two ideals of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of lengths of A-cosequences in dimension > k in I defined by Nhan-Hoang [9]. It is first shown that for each $t{\leq}r$ and each sequence $x_1,{\cdots},x_t$ which is an A-cosequence in dimension > k, the set $$\Large(\bigcup^{t}_{i=0}Att_R(0:_A(x_1^{n_1},{\ldots},x_i^{n_i})))_{{\geq}k}$$ is independent of the choice of $n_1,{\ldots},n_t$. Let r be the eventual value of $Width_{>k}(0:_AJ^n)$. Then our second result says that for each $t{\leq}r$ the set $\large(\bigcup\limits_{i=0}^{t}Att_R(Tor_i^R(R/I,\;(0:_AJ^n))))_{{\geq}k}$ is stable for large n.

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

• Kyungpook Mathematical Journal
• /
• v.56 no.3
• /
• pp.737-743
• /
• 2016

Let a and b be two ideals of a commutative Noetherian ring R, M a finitely generated R-module and i an integer. In this paper we study formal local cohomology modules with respect to a pair of ideals. We denote the i-th a-formal local cohomology module M with respect to b by ${\mathfrak{F}}^i_{a,b}(M)$. We show that if ${\mathfrak{F}}^i_{a,b}(M)$ is artinian, then $a{\subseteq}{\sqrt{(0:{\mathfrak{F}}^i_{a,b}(M))$. Also, we show that ${\mathfrak{F}}^{\text{dim }M}_{a,b}(M)$ is artinian and we determine the set $Att_R\;{\mathfrak{F}}^{\text{dim }M}_{a,b}(M)$.

• Honam Mathematical Journal
• /
• v.40 no.2
• /
• pp.211-218
• /
• 2018

Let R be a commutative Noetherian ring, a be an ideal of R and M be an R-module. It is shown that if $Ext^i_R(R/a,M)$ is minimax for all $i{\leq}{\dim}\;M$, then the R-module $Ext^i_R(N,M)$ is minimax for all $i{\geq}0$ and for any finitely generated R-module N with $Supp_R(N){\subseteq}V(a)$ and dim $N{\leq}1$. As a consequence of this result we obtain that for any a-torsion R-module M that $Ext^i_R(R/a,M)$ is minimax for all $i{\leq}dim$ M, all Bass numbers and all Betti numbers of M are finite. This generalizes [8, Corollary 2.7]. Also, some equivalent conditions for the cominimaxness of local cohomology modules with respect to ideals of dimension at most one are given.

• Communications of the Korean Mathematical Society
• /
• v.31 no.4
• /
• pp.695-701
• /
• 2016

Let I and J be two ideals of a commutative Noetherian ring R and M, N be two non-zero finitely generated R-modules. Let t be a non-negative integer such that $H^i_{I,J}(N)$ is (I, J)-minimax for all i < t. It is shown that the generalized local cohomology module $H^i_{I,J}(M,N)$ is (I, J)-Cofinite minimax for all i < t. Also, we prove that the R-module $Ext^j_R(R/I,H^i_{I,J}(N))$ is finitely generated for all $i{\leq}t$ and j = 0, 1.