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

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

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

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

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

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

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

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

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.