Bulletin of the
Korean Mathematical Society
BKMS

ISSN(Print) 1015-8634 ISSN(Online) 2234-3016

Article

HOME ALL ARTICLES View

Bull. Korean Math. Soc. 2020; 57(1): 167-177

Online first article October 24, 2019      Printed January 31, 2020

https://doi.org/10.4134/BKMS.b190133

Copyright © The Korean Mathematical Society.

Colocalization of local homology modules

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

Stats or Metrics

Share this article on :

Related articles in BKMS