Colocalization of local homology modules
Bull. Korean Math. Soc. 2020 Vol. 57, No. 1, 167-177
Published online January 31, 2020
Shahram Rezaei
Payame Noor University (PNU)
Abstract : Let ${I}$ be an ideal of Noetherian local ring $(R,\fm)$ 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\in\mathbb{N}_{0}:\HE_i^{I}(M)$ is not representable$\}$, and $a^I (M)=\inf\{i\in\mathbb{N}_{0}:\HE_i^{I}(M)$ is not artinian$\}$ and we will prove that \begin{itemize} \item[i)] $ a^I (M)=r^{I}(M)=\inf\{ r^{IR_{\fp}}(_{\fp}M) : \fp \in \Spec(R) \}\geq \inf\{ a^{IR_{\fp}}(_{\fp}M) : \fp \in \Spec(R) \}$, \item[ii)] $\inf\{i\in\mathbb{N}_{0}: \HE_{i}^{I}(M)$ is not minimax$\rbrace=\inf\{ r^{IR_{\fp}}(_{\fp}M) : \fp \in \Spec(R)\setminus\lbrace\fm\rbrace \}$. \end{itemize} Also, we define the upper representation dimension $ R^{I}(M)$ of $M$ relative to $I$ by $R^{I}(M)=\sup\{i\in\mathbb{N}_{0}: \HE_i^{I}(M)$ is not representable$\}$, and we will show that \begin{itemize} \item[i)] $\sup\{i\in\mathbb{N}_{0}: \HE_{i}^{I}(M) \neq 0 \rbrace=\sup\{i\in\mathbb{N}_{0}: \HE_{i}^{I}(M)$ is not artinian$\rbrace=\sup\{ R^{IR_{\fp}}(_{\fp}M) : \fp \in \Spec(R)\}$, \item[ii)] $\sup\{i\in\mathbb{N}_{0}: \HE_{i}^{I}(M)$ is not finitely generated$\rbrace=\sup\{i\in\mathbb{N}_{0}: \HE_{i}^{I}(M)$ is not minimax$\rbrace=\sup\{ R^{IR_{\fp}}(_{\fp}M) : \fp \in \Spec(R)\setminus\lbrace\fm\rbrace \}$. \end{itemize}
Keywords : Local homology, artinianness, colocalization
MSC numbers : 13D45, 13E99
Downloads: Full-text PDF  

Copyright © Korean Mathematical Society. All Rights Reserved.
The Korea Science Technology Center (Rm. 411), 22, Teheran-ro 7-gil, Gangnam-gu, Seoul 06130, Korea
Tel: 82-2-565-0361  | Fax: 82-2-565-0364  | E-mail:   | Powered by INFOrang Co., Ltd