• 호남수학학술지
• /
• 제30권3호
• /
• pp.513-519
• /
• 2008

Let (R, m) be a Noetherian local ring with maximal ideal m, E := $E_R$(R/m) and let I be an ideal of R. Let M and N be finitely generated R-modules. It is shown that $H^n_I(M,(H^n_I(N)^{\vee})){\cong}(M{\otimes}_RN)^{\vee}$ where grade(I, N) = n = $cd_i$(I, N). We also show that for n = grade(I, R), one has $End_R(H^n_I(P,R)^{\vee}){\cong}Ext^n_R(H^n_I(P,R),P^*)^{\vee}$.

• Korean Journal of Mathematics
• /
• 제21권3호
• /
• pp.319-323
• /
• 2013

Let D be a principal ideal domain, X be an indeterminate over D, D[X] be the polynomial ring over D, and $R_n=D[X]/(X^n)$ for an integer $n{\geq}1$. Clearly, $R_n$ is a commutative Noetherian ring with identity, and hence each nonzero nonunit of $R_n$ can be written as a finite product of irreducible elements. In this paper, we show that every irreducible element of $R_n$ is a primary element, and thus every nonunit element of $R_n$ can be written as a finite product of primary elements.

• 대한수학회보
• /
• 제54권1호
• /
• pp.319-329
• /
• 2017

Let I denote an ideal of a Noetherian local ring (R, m). Let M denote a finitely generated R-module. We study the endomorphism ring of the local cohomology module $H^c_I(M)$, c = grade(I, M). In particular there is a natural homomorphism $$Hom_{\hat{R}^I}({\hat{M}}^I,\;{\hat{M}}^I){\rightarrow}Hom_R(H^c_I(M),\;H^c_I(M))$$, $where{\hat{\cdot}}^I$ denotes the I-adic completion functor. We provide sufficient conditions such that it becomes an isomorphism. Moreover, we study a homomorphism of two such endomorphism rings of local cohomology modules for two ideals $J{\subset}I$ with the property grade(I, M) = grade(J, M). Our results extends constructions known in the case of M = R (see e.g. [8], [17], [18]).

• 대한수학회지
• /
• 제47권3호
• /
• pp.633-643
• /
• 2010

Let a be an ideal of a commutative Noetherian ring R, M a finitely generated R-module and N a weakly Laskerian R-module. We show that if N has finite dimension d, then $Ass_R(H^d_a(N))$ consists of finitely many maximal ideals of R. Also, we find the least integer i, such that $H^i_a$(M, N) is not consisting of finitely many maximal ideals of R.

• 대한수학회보
• /
• 제51권3호
• /
• pp.653-657
• /
• 2014

Let R be a commutative Noetherian ring, I and J two ideals of R, and M a finitely generated R-module. We prove that $$Ext^i{_R}(R/I,H^t{_{I,J}}(M))$$ is finitely generated for i = 0, 1 where t=inf{$i{\in}\mathbb{N}_0:H^2{_{I,J}}(M)$ is not finitely generated}. Also, we prove that $H^i{_{I+J}}(H^t{_{I,J}}(M))$ is Artinian when dim(R/I + J) = 0 and i = 0, 1.

• 호남수학학술지
• /
• 제29권4호
• /
• pp.653-666
• /
• 2007

Let R be a commutative Noetherian ring (with a nonzero identity) and let M be an R-module. Further let I be an ideal of R. In this paper, by putting a suitable condition on $Ass_R$(M), we obtain some results concerning $I^{*(M)}$ and prove that the sequence of sets $Ass_R(R/(I^n)^{*(M)})$, $n\;\in\;N$, is increasing and ultimately constant. (Here $(I^n)^{*(M)}$ denotes the integral closure of $I^n$ relative to M.)

• 대한수학회논문집
• /
• 제33권2호
• /
• pp.379-395
• /
• 2018

Assume that R is a commutative ring with non-zero identity which is not an integral domain. An ideal I of R is called an annihilating ideal if there exists a non-zero element $a{\in}R$ such that Ia = 0. S. Visweswaran and H. D. Patel associated a graph with the set of all non-zero annihilating ideals of R, denoted by ${\Omega}(R)$, as the graph with the vertex-set $A(R)^*$, the set of all non-zero annihilating ideals of R, and two distinct vertices I and J are adjacent if I + J is an annihilating ideal. In this paper, we study the relations between the diameters of ${\Omega}(R)$ and ${\Omega}(R[x])$. Also, we study the relations between the diameters of ${\Omega}(R)$ and ${\Omega}(R[[x]])$, whenever R is a Noetherian ring. In addition, we investigate the relations between the diameters of this graph and the zero-divisor graph. Moreover, we study some combinatorial properties of ${\Omega}(R)$ such as domination number and independence number. Furthermore, we study the complement of this graph.

• 호남수학학술지
• /
• 제34권2호
• /
• pp.161-169
• /
• 2012

Let R be a commutative Noetherian ring and I, J be ideals of R. We introduced the notion of (I; J)-cominimax R-modules. For an integer $n$ and an R-module M, let $H^i_{I,J}(M)$ be an (I; J)-cominimax R-module for all $i<n$. The J-minimaxness of some Ext modules of $H^n_{I,J}(M)$ is investigated. Among of the obtaining results, there is a generalization of the main result of [1].

• Kyungpook Mathematical Journal
• /
• 제62권4호
• /
• pp.641-655
• /
• 2022

A right R-module N is called pseudo semisimple-M-injective if for any monomorphism from every semisimple submodule of M to N, can be extended to a homomorphism from M to N. In this paper, we study some properties of pseudo semisimple-injective modules. Moreover, some results of pseudo semisimple-injective modules over formal triangular matrix rings are obtained.

• 대한수학회보
• /
• 제22권2호
• /
• pp.117-119
• /
• 1985

Let R be a commutative noetherian ring with 1.neq.0, denoting by .nu.(I) the cardinality of a minimal basis of the ideal I. Let A be a polynomial ring in n>0 variables with coefficients in R, and let M be a maximal ideal of A. Generally it is shown that .nu.(M $A_{M}$).leq..nu.(M).leq..nu.(M $A_{M}$)+1. It is well known that the lower bound is not always satisfied, and the most classical examples occur in nonfactional Dedekind domains. But in many cases, (e.g., A is a polynomial ring whose coefficient ring is a field) the lower bound is attained. In [2] and [3], the conditions when the lower bound is satisfied is investigated. Especially in [3], it is shown that .nu.(M)=.nu.(M $A_{M}$) if M.cap.R=p is a maximal ideal or $A_{M}$ (equivalently $R_{p}$) is not regular or n>1. Hence the problem of determining whether .nu.(M)=.nu.(M $A_{M}$) can be studied when p is not maximal, $A_{M}$ is regular and n=1. The purpose of this note is to provide some conditions in which the lower bound is satisfied, when n=1 and R is a regular local ring (hence $A_{M}$ is regular)./ is regular).