Support (D'Un Module)

Le support d'un R-module M est le sous-ensemble Supp(M) ⊆ Spec(R) formé des idéaux premiers p tels que la localisation M_p est non nulle. Équivalemment, ce sont les premiers contenant l'annulateur de quelque élément de M, et pour M de type fini le support est fermé pour la topologie de Zariski.