{"title":"由一对理想定义的局部上同模的一些结果","authors":"L. Chu, Qing Wang","doi":"10.1215/KJM/1248983036","DOIUrl":null,"url":null,"abstract":"Let $R$ be a commutative Noetherian ring, and let $I$ and $J$ be two ideals of $R$. Assume that $R$ is local with the maximal ideal ${\\mathfrak{m}}$, we mainly prove that (i) there exists an equality \\[{\\text{inf}}\\{i\\, \\mid H_{I,J}^i(M)\\, {\\text{ is not Artinian}} \\}={\\text{inf}}\\{ {\\text{depth}}M_{\\mathfrak{p}} \\mid \\, {\\mathfrak{p}}\\in W(I, J)\\backslash \\{{\\mathfrak{m}}\\} \\}\\] for any finitely generated $R-$module $M$, where $W(I, J)=\\{{\\mathfrak{p}} \\in {\\text{Spec}}(R) \\mid \\, I^n \\subseteq {\\mathfrak{p}}+J\\,\\, {\\text{for some positive integer}} \\,n \\}$; (ii) for any finitely generated $R-$module $M$ with ${\\text{dim}}M=d$, $H_{I,J}^d(M)$ is Artinian. Also, we give a characterization to the supremum of all integers $r$ for which $H_{I,J}^r(M) \\neq 0$.","PeriodicalId":50142,"journal":{"name":"Journal of Mathematics of Kyoto University","volume":"49 1","pages":"193-200"},"PeriodicalIF":0.0000,"publicationDate":"2009-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1215/KJM/1248983036","citationCount":"39","resultStr":"{\"title\":\"Some results on local cohomology modules defined by a pair of ideals\",\"authors\":\"L. Chu, Qing Wang\",\"doi\":\"10.1215/KJM/1248983036\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let $R$ be a commutative Noetherian ring, and let $I$ and $J$ be two ideals of $R$. Assume that $R$ is local with the maximal ideal ${\\\\mathfrak{m}}$, we mainly prove that (i) there exists an equality \\\\[{\\\\text{inf}}\\\\{i\\\\, \\\\mid H_{I,J}^i(M)\\\\, {\\\\text{ is not Artinian}} \\\\}={\\\\text{inf}}\\\\{ {\\\\text{depth}}M_{\\\\mathfrak{p}} \\\\mid \\\\, {\\\\mathfrak{p}}\\\\in W(I, J)\\\\backslash \\\\{{\\\\mathfrak{m}}\\\\} \\\\}\\\\] for any finitely generated $R-$module $M$, where $W(I, J)=\\\\{{\\\\mathfrak{p}} \\\\in {\\\\text{Spec}}(R) \\\\mid \\\\, I^n \\\\subseteq {\\\\mathfrak{p}}+J\\\\,\\\\, {\\\\text{for some positive integer}} \\\\,n \\\\}$; (ii) for any finitely generated $R-$module $M$ with ${\\\\text{dim}}M=d$, $H_{I,J}^d(M)$ is Artinian. Also, we give a characterization to the supremum of all integers $r$ for which $H_{I,J}^r(M) \\\\neq 0$.\",\"PeriodicalId\":50142,\"journal\":{\"name\":\"Journal of Mathematics of Kyoto University\",\"volume\":\"49 1\",\"pages\":\"193-200\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1215/KJM/1248983036\",\"citationCount\":\"39\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Mathematics of Kyoto University\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1215/KJM/1248983036\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"Mathematics\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Mathematics of Kyoto University","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1215/KJM/1248983036","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"Mathematics","Score":null,"Total":0}
Some results on local cohomology modules defined by a pair of ideals
Let $R$ be a commutative Noetherian ring, and let $I$ and $J$ be two ideals of $R$. Assume that $R$ is local with the maximal ideal ${\mathfrak{m}}$, we mainly prove that (i) there exists an equality \[{\text{inf}}\{i\, \mid H_{I,J}^i(M)\, {\text{ is not Artinian}} \}={\text{inf}}\{ {\text{depth}}M_{\mathfrak{p}} \mid \, {\mathfrak{p}}\in W(I, J)\backslash \{{\mathfrak{m}}\} \}\] for any finitely generated $R-$module $M$, where $W(I, J)=\{{\mathfrak{p}} \in {\text{Spec}}(R) \mid \, I^n \subseteq {\mathfrak{p}}+J\,\, {\text{for some positive integer}} \,n \}$; (ii) for any finitely generated $R-$module $M$ with ${\text{dim}}M=d$, $H_{I,J}^d(M)$ is Artinian. Also, we give a characterization to the supremum of all integers $r$ for which $H_{I,J}^r(M) \neq 0$.
期刊介绍:
Papers on pure and applied mathematics intended for publication in the Kyoto Journal of Mathematics should be written in English, French, or German. Submission of a paper acknowledges that the paper is original and is not submitted elsewhere.