Is the support of an Artinian module finite? Let $R$ be a commutative Noetherian ring, $M$ is an Artinian $R$-module. Is the set $Supp_R(M)$ finite?
Thanks.
 A: 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.
A: 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): 

Let $R$ be a commutative noetherian ring and let $M$ be an artinian $R$-module. Then
1) the support of $M$ consists entirely of maximal ideals of $R$, that is, $\textrm{Supp}(M) \subseteq \textrm{m-Spec}(R)$;
2) we have $\textrm{Min}_R(M)=\textrm{Ass}_R(M)=\textrm{Supp}_R(M)$;
3) $\textrm{Supp}_R(M)$ is finite.

