On depth of modules in an ideal
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908550171721728 |
|---|---|
| author | An, Tran Nguyen |
| author_facet | An, Tran Nguyen |
| contents | Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ a finitely generated $R$-module with $\dim_R(M)=d$. Denote by $\depth_R(I,M)$ the depth of $M$ in $I$. In \cite{HT}, C. Huneke and V. Trivedi proved that if $R$ is a quotient of a regular ring then there exists a finite subset $Λ_M $ of $\Spec(R)$ such that
$$\depth_R(I,M)=\underset{\p\in Λ_M}{\min} \big\{ \depth_{R_{\p}}(M_{\p})+ \docao\big((I+\p)/\p\big) \big\}.$$
Denote by $\Psupp^i_R(M)=\{\frak p\in\Spec(R)\mid H^{i-\dim(R/\frak p)}_{\frak p R_{\frak p}}(M_{\frak p})\neq 0\}$ the $i$-th pseudo support of $M$ defined by M. Brodmann and R. Y. Sharp \cite{BS1}. In this paper, we prove that if $\Psupp^i_R(M)$ is closed for all $i\leq d$ then the above formula of $\depth_R(I,M)$ holds true, where $Λ_M =\underset{0\leq i\leq d}{\bigcup} \min \Psupp^i_R(M)$. In particular, if $R$ is a quotient of a Cohen-Macaulay local ring then $Λ_M =\underset{0\leq i\leq d}{\bigcup}\min\Var\big(\Ann_R(H_{\m}^i(M))\big)$. We also give some examples to clarify the results. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_04702 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | On depth of modules in an ideal An, Tran Nguyen Commutative Algebra 13D45, 13E15, 13E10 Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ a finitely generated $R$-module with $\dim_R(M)=d$. Denote by $\depth_R(I,M)$ the depth of $M$ in $I$. In \cite{HT}, C. Huneke and V. Trivedi proved that if $R$ is a quotient of a regular ring then there exists a finite subset $Λ_M $ of $\Spec(R)$ such that $$\depth_R(I,M)=\underset{\p\in Λ_M}{\min} \big\{ \depth_{R_{\p}}(M_{\p})+ \docao\big((I+\p)/\p\big) \big\}.$$ Denote by $\Psupp^i_R(M)=\{\frak p\in\Spec(R)\mid H^{i-\dim(R/\frak p)}_{\frak p R_{\frak p}}(M_{\frak p})\neq 0\}$ the $i$-th pseudo support of $M$ defined by M. Brodmann and R. Y. Sharp \cite{BS1}. In this paper, we prove that if $\Psupp^i_R(M)$ is closed for all $i\leq d$ then the above formula of $\depth_R(I,M)$ holds true, where $Λ_M =\underset{0\leq i\leq d}{\bigcup} \min \Psupp^i_R(M)$. In particular, if $R$ is a quotient of a Cohen-Macaulay local ring then $Λ_M =\underset{0\leq i\leq d}{\bigcup}\min\Var\big(\Ann_R(H_{\m}^i(M))\big)$. We also give some examples to clarify the results. |
| title | On depth of modules in an ideal |
| topic | Commutative Algebra 13D45, 13E15, 13E10 |
| url | https://arxiv.org/abs/2311.04702 |