Support of a module
In commutative algebra, the support of a module M over a commutative ring R is the set of all prime ideals p {\displaystyle {\mathfrak {p}}} of R such that M p ≠ 0 {\displaystyle M_{\mathfrak {p}}\neq 0} (that is, the localization of M at p {\displaystyle {\mathfrak {p}}} is not equal to zero). It is denoted by Supp M {\displaystyle \operatorname {Supp} M} .