• 대한수학회보
• /
• 제55권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.

• 대한수학회지
• /
• 제60권3호
• /
• pp.683-694
• /
• 2023

Let a be an ideal of 𝔞 commutative noetherian ring R. We give some descriptions of the 𝔞-depth of 𝔞-relative Cohen-Macaulay modules by cohomological dimensions, and study how relative Cohen-Macaulayness behaves under flat extensions. As applications, the perseverance of relative Cohen-Macaulayness in a polynomial ring, formal power series ring and completion are given.

• 대한수학회보
• /
• 제57권2호
• /
• pp.275-280
• /
• 2020

Let (R, m) be a Noetherian local Cohen-Macaulay ring and I be a proper ideal of R. Assume that β_R(I, R) denotes the constant value of depth_R(R/Iⁿ) for n ≫ 0. In this paper we introduce the new notion γ_R(I, R) and then we prove the following inequalities: β_R(I, R) ≤ γ_R(I, R) ≤ dim R - cd(I, R) ≤ dim R/I. Also, some applications of these inequalities will be included.

• 대한수학회논문집
• /
• 제33권4호
• /
• pp.1049-1053
• /
• 2018

It is shown that any equidimensional local ring which has finite Cousin cohomology modules with respect to the dimension filtration has a uniform local cohomological annihilator and is universally catenary.

• 대한수학회지
• /
• 제52권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.

• 대한수학회보
• /
• 제48권6호
• /
• pp.1125-1128
• /
• 2011

Let R be a commutative Noetherian ring, a an ideal of R, and M a minimax R-module. We prove that the local cohomology modules $H^j_a(M)$ are a-cominimax; that is, $Ext^i_R$(R/a, $H^j_a(M)$) is minimax for all i and j in the following cases: (a) dim R/a = 1; (b) cd(a) = 1, where cd is the cohomological dimension of a in R; (c) dim $R{\leq}2$. In these cases we also prove that the Bass numbers and the Betti numbers of $H^j_a(M)$ are finite.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제28권2호
• /
• pp.187-198
• /
• 2021

This work presents an exposition of both the internal structure of derived category of an abelian category D^*(𝓐) and its contribution in solving problems, particularly in algebraic geometry. Calculation of some morphisms will be presented between objects in D^*(𝓐) as elements in appropriate cohomology groups along with their compositions with the help of Yoneda construction under the assumption that the homological dimension of D^*(𝓐) is greater than or equal to 2. These computational settings will then be considered under sheaf cohomological context with a particular case from projective geometry.