Let $R$ be a commutative Noetherian ring, $M$ is an Artinian $R$-module. Is the set $Supp_R(M)$ finite? Thanks.
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
8
|
|
|
|
|
10
|
The answer is yes. You can find a proof in Leamer's thesis Homology of Artinian Modules Over Commutative Noetherian Rings, which contains the the following more precise result (see Lemma 3.1.11):
|
|||
|
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
5
|
It is well-known that for finitely generated Artinian $M$, the support is a finite set of maximal ideals. Since $\mathrm{Supp}(M)=\bigcup_{M'\subseteq M\ \mathrm{f.g.}}\mathrm{Supp}(M')$, we know that $\mathrm{Supp}(M)$ consists of maximal ideals. For any finite set $S\subseteq\mathrm{Supp}(M)$, it again follows easily from the finitely-generated case that $f_S\colon M\to\prod_{s\in S}M_s$ is surjective. In particular, for a strictly increasing chain $S_1\subset S_2\subset\dots$ of finite subsets of $\mathrm{Supp}(M)$, the chain of submodules $\ker(f_{S_i})$ is strictly decreasing, so $\mathrm{Supp}(M)$ must be finite. |
||
|
|

