Is the support of an Artinian module finite?

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.


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.