##  [Support (of a Module)](/support-module-0) 

 Definition

The support of an R-module M is the subset Supp(M) ⊆ Spec(R) consisting of prime ideals p such that the localization M_p is nonzero. Equivalently, it is the set of primes that contain the annihilator of some element of M, and its closure is a topologically closed subset when M is finitely generated.

 

 

 

 

 

 





## Principle

Principle

Identify where in the spectrum the module 'lives' or fails to vanish: support records the prime loci at which localization preserves nontrivial module structure and thereby links module-theoretic data to geometric places in Spec(R).

 

 

 

 

 





## Demonstration

Demonstration

For M = Z/6Z viewed as a Z-module, Supp(M) = { (2), (3) } because localizing at primes other than 2 or 3 yields zero; for M = R/I with I radical, Supp(M) is V(I), the closed set of primes containing I.

 

 

 

 

## Misapplication

Misapplication

Interpreting support as the set of primes generated by module generators or as the set of primes where some chosen generators are nonzero; support is intrinsic to M and insensitive to generator choices, and localization may make generators vanish or survive differently.

 

 

 

 

 





## Consequence

Consequence

Support furnishes the geometric locus for sheafifying modules, controls vanishing theorems, and appears in decomposition statements: associated primes lie in the support and the support stratifies Spec(R) for homological analyses.

 

 

 

 

## Reversal

Reversal

The complementary notion is the set of primes where the localization is zero; cosupport variants exist (e.g., cohomological cosupport) that focus on where derived functors vanish rather than where modules themselves are nonzero.

 

 

 

 

 





## Boundary

Boundary

For arbitrary (possibly infinite) modules or in non-Noetherian rings the support can be large and nonclosed; support of complexes, derived objects, or noncommutative modules requires adapted definitions (e.g., homological support, prime spectra of noncommutative rings).

 

 

 

 

 





## Semantic Tension

Semantic Tension

Support vs associated primes: support is a topological/geometric locus where the module is nonzero, while associated primes are algebraic witnesses (annihilators of elements); associated primes are contained in the support but need not exhaust it.

 

 

 

 

 





## Synthesis

Synthesis

Support of a module is the subset of Spec(R) capturing where the module remains nontrivial after localization; it translates algebraic torsion and annihilation data into a geometric locus used for sheafification, stratification and homological control.