• Honam Mathematical Journal
• /
• v.30 no.1
• /
• pp.101-113
• /
• 2008

Let M be an arbitrary module over a commutative Noetherian ring R and let ${\triangle}$ be a multiplicatively closed set of non-zero ideals of R. In this paper, we will introduce the dual notion of ${\triangle}$-closure and ${\triangle}$-dependence of an ideal with respect to M and obtain some related results.

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

Let 𝖆 and 𝖇 be ideals of a commutative Noetherian ring R and M a finitely generated R-module of finite dimension d > 0. In this paper, we obtain some results about the annihilators and attached primes of top local cohomology and top formal local cohomology modules. In particular, we determine Ann(𝖇 H^d_𝖆(M)), Att(𝖇 H^d_𝖆(M)), Ann(𝖇𝔉^d_𝖆(M)) and Att(𝖇𝔉^d_𝖆(M)).

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.715-736
• /
• 2012

Brown provided a structure theorem for a class of perfect ideals of grade 3 with type ${\lambda}$ > 0. We introduced a skew-symmetrizable matrix to describe a structure theorem for complete intersections of grade 4 in a Noetherian local ring. We construct a class of perfect ideals I of grade 3 with type 2 defined by a certain skew-symmetrizable matrix. We present the Hilbert function of the standard $k$-algebras R/I, where R is the polynomial ring $R=k[v_0,v_1,{\ldots},v_m]$ over a field $k$ with indeterminates $v_i$ and deg $v_i=1$.

• Communications of the Korean Mathematical Society
• /
• v.32 no.3
• /
• pp.543-552
• /
• 2017

Let R be a commutative ring with identity, and ${\phi}:{\mathfrak{I}}(R){\rightarrow}{\mathfrak{I}}(R){\cup}\{{\varnothing}\}$ be a function where ${\mathfrak{I}}(R)$ is the set of all ideals of R. Following [2], a proper ideal P of R is called a ${\phi}$-prime ideal if $x,y{\in}R$ with $xy{\in}P-{\phi}(P)$ implies $x{\in}P$ or $y{\in}P$. For an ideal I of R, we define the ${\phi}$-radical ${\sqrt[{\phi}]{I}}$ to be the intersection of all ${\phi}$-prime ideals of R containing I, and show that this notion inherits most of the essential properties of the usual notion of radical of an ideal. We also investigate when the set of all ${\phi}$-prime ideals of R, denoted $Spec_{\phi}(R)$, has a Zariski topology analogous to that of the prime spectrum Spec(R), and show that this topological space is Noetherian if and only if ${\phi}$-radical ideals of R satisfy the ascending chain condition.

• Communications of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.275-290
• /
• 2005

Let $S\;=\;R[\chi_{ij}\mid1\;{\le}\;i\;{\le}\;m,\;1\;{\le}\;j\;{\le}\;n]$ be the polynomial ring over a noetherian commutative ring R and $I_p$ be the determinantal ideal generated by the $p\;\times\;p$ minors of the generic matrix $(\chi_{ij})(1{\le}P{\le}min(m,n))$. We describe a minimal free resolution of $S/I_{p}$, in the case m = n = p + 2 over $\mathbb{Z}$.

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

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.531-540
• /
• 2015

Let (R, m) be a Noetherian local ring, I an ideal of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of length of A-cosequence in dimension > k in I defined by Nhan-Hoang [8]. It is shown that for all $t{\leq}r$ the sets $$(\bigcup_{i=0}^{t}Att_R(Tor_i^R(R/I^n,A)))_{{\geq}k}\;and\\(\bigcup_{i=0}^{t}Att_R(Tor_i^R(R/(a_1^{n_1},{\cdots},a_l^{n_l}),A)))_{{\geq}k}$$ are independent of the choice of $n,n_1,{\cdots},n_l$ for any system of generators ($a_1,{\cdots},a_l$) of I.

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

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.551-559
• /
• 2016

Recently a construction of local cohomology functors for compactly generated triangulated categories admitting small coproducts is introduced and studied by Benson, Iyengar, Krause, Asadollahi and their coauthors. Following their idea, we introduce the depth of objects in such triangulated categories and get that when (R, m) is a graded-commutative Noetherian local ring, the depth of every cohomologically bounded and cohomologically finite object is not larger than its dimension.

• Journal of the Korean Mathematical Society
• /
• v.59 no.2
• /
• pp.379-405
• /
• 2022

We introduce the notions of Koszul N-complex, Čech N-complex and telescope N-complex, explicit derived torsion and derived completion functors in the derived category D_N (R) of N-complexes using the Čech N-complex and the telescope N-complex. Moreover, we give an equivalence between the categories of cohomologically 𝖆-torsion N-complexes and cohomologically 𝖆-adic complete N-complexes, and prove that over a commutative Noetherian ring, via Koszul cohomology, via RHom cohomology (resp. ⊗ cohomology) and via local cohomology (resp. derived completion), all yield the same invariant.