# Support of a module

$M$ over a commutative ring $R$
The set of all prime ideals $\mathfrak{p}$ of $A$ for which the localizations $M_{\mathfrak{p}}$ of the module are non-zero (cf. Localization in a commutative algebra). This set is denoted by $\mathrm{Supp}(M)$. It is a subset of the spectrum of the ring (cf. Spectrum of a ring). For example, for a finite Abelian group$M$ regarded as a module over the ring of integers, $\mathrm{Supp}(M)$ consists of all prime ideals $(p)$, where $p$ divides the order of $M$. For an arbitrary module $M$ the set $\mathrm{Supp}(M)$ is empty if and only if $M=0$.