In commutative algebra, the **support** of a module *M* over a commutative ring *A* is the set of all prime ideals of *A* such that .^{[1]} It is denoted by . The support is, by definition, a subset of the spectrum of *A*.

## Properties

- if and only if its support is empty.
- Let be an exact sequence of
*A*-modules. Then- Note that this union may not be a disjoint union.

- If is a sum of submodules , then
- If is a finitely generated
*A*-module, then is the set of all prime ideals containing the annihilator of*M*. In particular, it is closed in the Zariski topology on Spec(*A*). - If are finitely generated
*A*-modules, then - If is a finitely generated
*A*-module and*I*is an ideal of*A*, then is the set of all prime ideals containing This is .

## Support of a quasicoherent sheaf

If *F* is a quasicoherent sheaf on a scheme *X*, the support of *F* is the set of all points *x*∈*X* such that the stalk *F*_{x} is nonzero. This definition is similar to the definition of the support of a function on a space *X*, and this is the motivation for using the word "support". Most properties of the support generalize from modules to quasicoherent sheaves word by word. For example, the support of a coherent sheaf (or more generally, a finite type sheaf) is a closed subspace of *X*.^{[2]}

If *M* is a module over a ring *A*, then the support of *M* as a module coincides with the support of the associated quasicoherent sheaf on the affine scheme Spec(*A*). Moreover, if is an affine cover of a scheme *X*, then the support of a quasicoherent sheaf *F* is equal to the union of supports of the associated modules *M*_{α} over each *A*_{α}.^{[3]}

Using the exact sequence

for a divisor *D* in a smooth projective variety , if we look at the open subset we have

from the definition of the associated line bundle (this is because ).^{[clarification needed]}

## Examples

As noted above, a prime ideal is in the support if and only if it contains the annihilator of .^{[4]} For example, the annihilator of

is the ideal . This implies that

the vanishing locus of the polynomial. Looking at the short exact sequence

we might think that the support of is isomorphic to

which is the complement of the vanishing locus of the polynomial. However, since is an integral domain, the ideal is isomorphic to as a module, so its support is the entire space.

The support of a finite module over a noetherian ring is always closed under specialization.^{[citation needed]}

Now, if we take two polynomials in an integral domain which form a complete intersection ideal , the tensor property shows us that

## See also

## References

**^**EGA 0_{I}, 1.7.1.**^**The Stacks Project authors (2017).*Stacks Project, Tag 01B4*.**^**The Stacks Project authors (2017).*Stacks Project, Tag 01AS*.**^**Eisenbud, David.*Commutative Algebra with a View Towards Algebraic Geometry*. corollary 2.7. p. 67.CS1 maint: location (link)

- Grothendieck, Alexandre; Dieudonné, Jean (1960). "Éléments de géométrie algébrique: I. Le langage des schémas".
*Publications Mathématiques de l'IHÉS*.**4**. doi:10.1007/bf02684778. MR 0217083. - Atiyah, M. F., and I. G. Macdonald,
*Introduction to Commutative Algebra*, Perseus Books, 1969, ISBN 0-201-00361-9 MR242802