• Journal of the Korean Mathematical Society
• /
• v.57 no.5
• /
• pp.1061-1078
• /
• 2020

We prove some results about the finiteness of co-associated primes of generalized local homology modules inspired by a conjecture of Grothendieck and a question of Huneke. We also show some equivalent properties of minimax local homology modules. By duality, we get some properties of Herzog's generalized local cohomology modules.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.2013-2020
• /
• 2013

We study some properties of representable generalized local homology modules. By duality, we get some properties of good generalized local cohomology modules.

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

Let 𝓢 be a Serre class in the category of modules and 𝖆 an ideal of a commutative Noetherian ring R. We study the containment of Tor modules, Koszul homology and local homology in 𝓢 from below. With these results at our disposal, by specializing the Serre class to be Noetherian or zero, a handful of conclusions on Noetherianness and vanishing of the foregoing homology theories are obtained. We also determine when Tor^R_𝓼+t(R/𝖆, X) ≅ Tor^R_𝓼(R/𝖆, H^𝖆_t(X)).

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.167-177
• /
• 2020

Let I be an ideal of Noetherian local ring (R, m) and M an artinian R-module. In this paper, we study colocalization of local homology modules. In fact we give Colocal-global Principle for the artinianness and minimaxness of local homology modules, which is a dual case of Local-global Principle for the finiteness of local cohomology modules. We define the representation dimension r^I (M) of M and the artinianness dimension a^I (M) of M relative to I by r^I (M) = inf{i ∈ ℕ₀ : H^I_i (M) is not representable}, and a^I (M) = inf{i ∈ ℕ₀ : H^I_i (M) is not artinian} and we will prove that i) a^I (M) = r^I (M) = inf{r^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)} ≥ inf{a^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)}, ii) inf{i ∈ ℕ₀ : H^I_i (M) is not minimax} = inf{r^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R) ∖ {𝔪}}. Also, we define the upper representation dimension R^I (M) of M relative to I by R^I (M) = sup{i ∈ ℕ₀ : H^I_i (M) is not representable}, and we will show that i) sup{i ∈ ℕ₀ : H^I_i (M) ≠ 0} = sup{i ∈ ℕ₀ : H^I_i (M) is not artinian} = sup{R^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)}, ii) sup{i ∈ ℕ₀ : H^I_i (M) is not finitely generated} = sup{i ∈ ℕ₀ : H^I_i (M) is not minimax} = sup{R^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R) ∖ {𝔪}}.

• 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 r^I(M, N) and artinianness dimension a^I(M, N) of M, N with respect to I by r^I(M, N) = inf{i ∈ ℕ₀ : H^I_i(M, N) is not representable} and a^I(M, N) = inf{i ∈ ℕ₀ : H^I_i(M, N) is not artinian} and we show that a^I(M, N) = r^I(M, N) = inf{r^IR_𝔭 (M_𝔭,𝔭N) : 𝔭 ∈ Spec(R)} ≥ inf{a^IR_𝔭 (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>0I^tN is artinian we prove that inf{i : H^I_i(M, N) is not minimax}=inf{r^IR_𝔭 (M_𝔭,𝔭N) : 𝔭 ∈ Spec(R)＼Max(R)}.

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.2
• /
• pp.387-391
• /
• 2004

Let A be Noetherian ring, a= (${\tau}_1..., \tau_n$ an ideal of A and $C_{A}$ be category of A-modules and A-homomorphisms. We show that the connected left sequences of covariant functors ${limH_i(K.(t^t,-))}_{i\geq0}$ and ${lim{{Tor^A}_i}(\frac{A}{a^f}-)}_{i\geq0}$ are isomorphic from $C_A$ to itself, where $\tau^t\;=\;{{\tau_^t}_1$, ㆍㆍㆍ${\tau^t}_n$.

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

• Interdisciplinary Bio Central
• /
• v.3 no.4
• /
• pp.14.1-14.9
• /
• 2011

Protein homology detection is an important issue in comparative genomics. Because of the exponential growth of sequence databases, fast and efficient homology detection tools are urgently needed. Currently, for homology detection, sequence comparison methods using local alignment such as BLAST are generally used as they give a reasonable measure for sequence similarity. However, these methods have drawbacks in offering overall sequence similarity, especially in dealing with eukaryotic genomes that often contain many insertions and duplications on sequences. Also these methods do not provide the explicit models for speciation, thus it is difficult to interpret their similarity measure into homology detection. Here, we present a novel method based on Word Conservation Score (WCS) to address the current limitations of homology detection. Instead of counting each amino acid, we adopted the concept of 'Word' to compare sequences. WCS measures overall sequence similarity by comparing word contents, which is much faster than BLAST comparisons. Furthermore, evolutionary distance between homologous sequences could be measured by WCS. Therefore, we expect that sequence comparison with WCS is useful for the multiple-species-comparisons of large genomes. In the performance comparisons on protein structural classifications, our method showed a considerable improvement over BLAST. Our method found bigger micro-syntenic blocks which consist of orthologs with conserved gene order. By testing on various datasets, we showed that WCS gives faster and better overall similarity measure compared to BLAST.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.4
• /
• pp.577-587
• /
• 2002

Let A be a commutative ring and M an Artinian .A-module. Let $\sigma$ be a torsion radical functor and (T, F) it's corresponding partition of Spec(A) In [1] the concept of Cohen-Macauly modules was generalized . In this paper we shall define $\sigma$-co-Cohen-Macaulay (abbr. $\sigma$-co-CM). Indeed this is one of the aims of this paper, we obtain some satisfactory properties of such modules. An-other aim of this paper is to generalize the concept of cograde by using the left derived functor $U^{\alpha}$$_{I}$(-) of the $\alpha$-adic completion functor, where a is contained in Jacobson radical of A.A.

• The Korean Journal of Applied Statistics
• /
• v.25 no.6
• /
• pp.1009-1018
• /
• 2012

Persistence homology (a type of methodology in computational algebraic topology) can be used to capture the topological characteristics of functional data. To visualize the characteristics, a persistence diagram is adopted by plotting baseline and the pairs that consist of local minimum and local maximum. We use the bottleneck distance to measure the topological distance between two different functions; in addition, this distance can be applied to multidimensional scaling(MDS) that visualizes the imaginary position based on the distance between functions. In this study, we use handwriting data (which has functional forms) to get persistence diagram and check differences between the observations by using bottleneck distance and the MDS.