• 대한수학회보
• /
• 제61권1호
• /
• pp.273-280
• /
• 2024

Let I be an ideal of a commutative Noetherian semi-local ring R and M be an R-module. It is shown that if dim M ≤ 2 and Supp_R M ⊆ V (I), then M is I-weakly cofinite if (and only if) the R-modules Hom_R(R/I, M) and Ext¹_R(R/I, M) are weakly Laskerian. As a consequence of this result, it is shown that the category of all I-weakly cofinite modules X with dim X ≤ 2, forms an Abelian subcategory of the category of all R-modules. Finally, it is shown that if dim R/I ≤ 2, then for each pair of finitely generated R-modules M and N and each pair of the integers i, j ≥ 0, the R-modules Tor^R_i(N, H^j_I(M)) and Extⁱ_R(N, H^j_I(M)) are I-weakly cofinite.

• 호남수학학술지
• /
• 제42권3호
• /
• pp.511-520
• /
• 2020

A module M is called cofinitely closed weak δ-supplemented (briefly δ-ccws-module) if for any cofinite closed submodule N of M has a weak δ-supplement in M. In this paper we investigate the basic properties of δ-ccws modules. In the light of this study, we can list the main facts obtained as following: (1) Any cofinite closed direct summand of a δ-ccws module is also a δ-ccws module; (2) Let R be a left δ-V -ring. Then R is a δ-ccws module iff R is a ccws-module iff R is extending; (3) Any nonsingular homomorphic image of a δ-ccws-module is also a δ-ccws-module; (4) We characterize nonsingular δ-V -rings in which all nonsingular modules are δ-ccws.

• 대한수학회보
• /
• 제60권3호
• /
• pp.637-647
• /
• 2023

Let R be a commutative Noetherian ring, 𝔞 an ideal of R, M an arbitrary R-module and X a finite R-module. We prove a characterization for Hⁱ_𝔞(M) and Hⁱ_𝔞(X, M) to be 𝔞-weakly cofinite for all i, whenever one of the following cases holds: (a) ara(𝔞) ≤ 1, (b) dim R/𝔞 ≤ 1 or (c) dim R ≤ 2. We also prove that, if M is a weakly Laskerian R-module, then Hⁱ_𝔞(X, M) is 𝔞-weakly cofinite for all i, whenever dim X ≤ 2 or dim M ≤ 2 (resp. (R, m) a local ring and dim X ≤ 3 or dim M ≤ 3). Let d = dim M < ∞, we prove an equivalent condition for top local cohomology module H^d_𝔞(M) to be weakly Artinian.

• 대한수학회보
• /
• 제50권2호
• /
• pp.649-657
• /
• 2013

Let R be a commutative Noetherian ring, I an ideal of R and T be a non-zero I-cofinite R-module with dim(T) ${\leq}$ 1. In this paper, for any finitely generated R-module N with support in V(I), we show that the R-modules $Ext^i_R$(T,N) are finitely generated for all integers $i{\geq}0$. This immediately implies that if I has dimension one (i.e., dim R/I = 1), then $Ext^i_R$($H^j_I$(M), N) is finitely generated for all integers $i$, $j{\geq}0$, and all finitely generated R-modules M and N, with Supp(N) ${\subseteq}$ V(I).

• 대한수학회보
• /
• 제53권5호
• /
• pp.1341-1352
• /
• 2016

Let R be a commutative Noetherian ring, ${\Phi}$ a system of ideals of R and $I{\in}{\Phi}$. In this paper among other things we prove that if M is finitely generated and $t{\in}\mathbb{N}$ such that the R-module $H^i_{\Phi}(M)$ is $FD_{{\leq}1}$ (or weakly Laskerian) for all i < t, then $H^i_{\Phi}(M)$ is ${\Phi}$-cofinite for all i < t and for any $FD_{{\leq}0}$ (or minimax) submodule N of $H^t_{\Phi}(M)$, the R-modules $Hom_R(R/I,H^t_{\Phi}(M)/N)$ and $Ext^1_R(R/I,H^t_{\Phi}(M)/N)$ are finitely generated. Also it is shown that if cd I = 1 or $dimM/IM{\leq}1$ (e.g., $dim\;R/I{\leq}1$) for all $I{\in}{\Phi}$, then the local cohomology module $H^i_{\Phi}(M)$ is ${\Phi}$-cofinite for all $i{\geq}0$. These generalize the main results of Aghapournahr and Bahmanpour [2], Bahmanpour and Naghipour [6, 7]. Also we study cominimaxness and weakly cofiniteness of local cohomology modules with respect to a system of ideals.

• 대한수학회논문집
• /
• 제31권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.

• 호남수학학술지
• /
• 제45권3호
• /
• pp.397-409
• /
• 2023

Let R be an associative ring with identity and M be a left R-module. In this paper, we define modules that have the property (δ-CE) ((δ-CEE)), these are modules that have a δ-supplement (ample δ-supplements) in every cofinite extension which are generalized version of modules that have the properties (CE) and (CEE) introduced in [6] and so a generalization of Zöschinger's modules with the properties (E) and (EE) given in [23]. We investigate various properties of these modules along with examples. In particular we prove these: (1) a module M has the property (δ-CEE) if and only if every submodule of M has the property (δ-CE); (2) direct summands of a module that has the property (δ-CE) also have the property (δ-CE); (3) each factor module of a module that has the property (δ-CE) also has the property (δ-CE) under a special condition; (4) every module with composition series has the property (δ-CE); (5) over a δ-V -ring a module M has the property (δ-CE) if and only if M is cofinitely injective; (6) a ring R is δ-semiperfect if and only if every left R-module has the property (δ-CE).

• 호남수학학술지
• /
• 제38권2호
• /
• pp.295-304
• /
• 2016

In this paper we investigate the Artinianness of certain local cohomology modules $H^i_I(N)$ where N is a minimax module over a commutative Noetherian ring R and I is an ideal of R. Also, we characterize the set of attached prime ideals of $H^n_I(N)$, where n is the dimension of N.

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