• Title/Summary/Keyword: local cohomology

Search Result 47, Processing Time 0.024 seconds

SOME CHARACTERIZATIONS OF COHEN-MACAULAY MODULES IN DIMENSION > s

  • Dung, Nguyen Thi
    • 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}$.

ON THE κ-REGULAR SEQUENCES AND THE GENERALIZATION OF F-MODULES

  • Ahmadi-Amoli, Khadijeh;Sanaei, Navid
    • Journal of the Korean Mathematical Society
    • /
    • v.49 no.5
    • /
    • pp.1083-1096
    • /
    • 2012
  • For a given ideal I of a Noetherian ring R and an arbitrary integer ${\kappa}{\geq}-1$, we apply the concept of ${\kappa}$-regular sequences and the notion of ${\kappa}$-depth to give some results on modules called ${\kappa}$-Cohen Macaulay modules, which in local case, is exactly the ${\kappa}$-modules (as a generalization of f-modules). Meanwhile, we give an expression of local cohomology with respect to any ${\kappa}$-regular sequence in I, in a particular case. We prove that the dimension of homology modules of the Koszul complex with respect to any ${\kappa}$-regular sequence is at most ${\kappa}$. Therefore homology modules of the Koszul complex with respect to any filter regular sequence has finite length.

DEPTH FOR TRIANGULATED CATEGORIES

  • Liu, Yanping;Liu, Zhongkui;Yang, Xiaoyan
    • 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.

COHEN-MACAULAY MODULES OVER NOETHERIAN LOCAL RINGS

  • Bahmanpour, Kamal
    • Bulletin of the Korean Mathematical Society
    • /
    • v.51 no.2
    • /
    • pp.373-386
    • /
    • 2014
  • Let (R,m) be a commutative Noetherian local ring. In this paper we show that a finitely generated R-module M of dimension d is Cohen-Macaulay if and only if there exists a proper ideal I of R such that depth($M/I^nM$) = d for $n{\gg}0$. Also we show that, if dim(R) = d and $I_1{\subset}\;{\cdots}\;{\subset}I_n$ is a chain of ideals of R such that $R/I_k$ is maximal Cohen-Macaulay for all k, then $n{\leq}{\ell}_R(R/(a_1,{\ldots},a_d)R)$ for every system of parameters $a1,{\ldots},a_d$ of R. Also, in the case where dim(R) = 2, we prove that the ideal transform $D_m(R/p)$ is minimax balanced big Cohen-Macaulay, for every $p{\in}Assh_R$(R), and we give some equivalent conditions for this ideal transform being maximal Cohen-Macaulay.

COLOCALIZATION OF GENERALIZED LOCAL HOMOLOGY MODULES

  • Hatamkhani, Marziyeh
    • Bulletin of the Korean Mathematical Society
    • /
    • v.59 no.4
    • /
    • pp.917-928
    • /
    • 2022
  • Let R be a commutative Noetherian ring and I an ideal of R. In this paper, we study colocalization of generalized local homology modules. We intend to establish a dual case of local-global principle for the finiteness of generalized local cohomology modules. Let M be a finitely generated R-module and N a representable R-module. We introduce the notions of the representation dimension rI(M, N) and artinianness dimension aI(M, N) of M, N with respect to I by rI(M, N) = inf{i ∈ ℕ0 : HIi(M, N) is not representable} and aI(M, N) = inf{i ∈ ℕ0 : HIi(M, N) is not artinian} and we show that aI(M, N) = rI(M, N) = inf{rIR𝔭 (M𝔭,𝔭N) : 𝔭 ∈ Spec(R)} ≥ inf{aIR𝔭 (M𝔭,𝔭N) : 𝔭 ∈ Spec(R)}. Also, in the case where R is semi-local and N a semi discrete linearly compact R-module such that N/∩t>0ItN is artinian we prove that inf{i : HIi(M, N) is not minimax}=inf{rIR𝔭 (M𝔭,𝔭N) : 𝔭 ∈ Spec(R)\Max(R)}.

STRUCTURE OF THE FLAT COVERS OF ARTINIAN MODULES

  • Payrovi, S.H.
    • Journal of the Korean Mathematical Society
    • /
    • v.39 no.4
    • /
    • pp.611-620
    • /
    • 2002
  • The aim of the Paper is to Obtain information about the flat covers and minimal flat resolutions of Artinian modules over a Noetherian ring. Let R be a commutative Noetherian ring and let A be an Artinian R-module. We prove that the flat cover of a is of the form $\prod_{p\epsilonAtt_R(A)}T-p$, where $Tp$ is the completion of a free R$_{p}$-module. Also, we construct a minimal flat resolution for R/xR-module 0: $_AX$ from a given minimal flat resolution of A, when n is a non-unit and non-zero divisor of R such that A = $\chiA$. This result leads to a description of the structure of a minimal flat resolution for ${H^n}_{\underline{m}}(R)$, nth local cohomology module of R with respect to the ideal $\underline{m}$, over a local Cohen-Macaulay ring (R, $\underline{m}$) of dimension n.

COMINIMAXNESS WITH RESPECT TO IDEALS OF DIMENSION ONE

  • Irani, Yavar
    • 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.