• Kyungpook Mathematical Journal
• /
• 제58권2호
• /
• pp.399-426
• /
• 2018

Cofinite graphs and cofinite groupoids are defined in a unified way extending the notion of cofinite group introduced by Hartley. These objects have in common an underlying structure of a directed graph endowed with a certain type of uniform structure, called a cofinite uniformity. Much of the theory of cofinite directed graphs turns out to be completely analogous to that of cofinite groups. For instance, the completion of a directed graph Γ with respect to a cofinite uniformity is a profinite directed graph and the cofinite structures on Γ determine and distinguish all the profinite directed graphs that contain Γ as a dense sub-directed graph. The completion of the underlying directed graph of a cofinite graph or cofinite groupoid is observed to often admit a natural structure of a profinite graph or profinite groupoid, respectively.

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

• 대한수학회논문집
• /
• 제32권3호
• /
• pp.745-763
• /
• 2017

The Borel-Serre partial compactification gives cofinite models for the proper classifying space for arithmetic lattices. Non-arithmetic lattices arise only in semisimple Lie groups of ${\mathbb{R}}$-rank one. The author generalizes the Borel-Serre partial compactification to construct cofinite models for the proper classifying space for lattices in semisimple Lie groups of ${\mathbb{R}}$-rank one by using the reduction theory of Garland and Raghunathan.

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

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

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

• 호남수학학술지
• /
• 제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.

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

• Kyungpook Mathematical Journal
• /
• 제49권4호
• /
• pp.725-729
• /
• 2009

Let X be a direct system of topological spaces and X its direct limit. We show that under certain conditions the direct limit of a "subsystem" of X embeds in a canonical way as a closed subspace of X.

• 호남수학학술지
• /
• 제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).