Un idéal premier associé d'un R-module M est un idéal premier p qui coïncide avec l'annulateur d'un élément m ∈ M, c'est-à-dire p = Ann_R(m). Équivalemment, p est l'annulateur d'un sous-module cyclique R·m et apparaît dans les décompositions primaires comme élément de Ass_R(M).

Principe

Faire apparaître les obstructions algébriques au niveau des éléments : les premiers associés sont des témoins algébriques précis d'éléments dont l'annulation est contrôlée par un premier, codant ainsi des composantes primaires et des pièces enchâssées de la structure du module.

Démonstration

Pour M = Z/12Z, des éléments d'ordre 2 et 3 ont annulateurs (2) et (3) respectivement, donc Ass_Z(M) = { (2), (3) }. Pour M = R/I, les premiers associés comprennent les premiers minimaux au-dessus de I et éventuellement des premiers enchâssés provenant des composantes primaires.

Mauvaise application

Supposer que les premiers associés coïncident toujours avec les premiers minimaux du support ; les premiers associés incluent des premiers enchâssés et peuvent être strictement plus nombreux que l'ensemble des premiers minimaux au-dessus de l'annulateur ou du support, notamment pour des objets non réduits ou non purs.

Conséquence

Les premiers associés contrôlent la structure des modules : ils détectent les composantes enchâssées, interviennent dans la décomposition primaire (chaque composante primaire a un premier associé), et sont finis pour les modules de type fini sur des anneaux noethériens, fournissant des invariants algébriques discrets.

Inversion

À opposer aux premiers du support qui ne sont pas associés : de tels premiers indiquent où le module est non nul mais il n'existe pas d'élément dont l'annulateur soit ce premier ; cela met en lumière l'écart entre présence géométrique et témoin algébrique explicite.

Limite

Défini pour des modules sur anneaux commutatifs ; en contexte non noethérien Ass(M) peut être infini ou mal comporté, et pour des anneaux non commutatifs il faut distinguer versions gauche/droite. Le module nul a un ensemble associé vide, tandis que les modules non nuls de type fini sur anneaux noethériens ont au moins un premier associé.

Tension sémantique

Premiers associés vs premiers minimaux vs support : les premiers minimaux au-dessus de l'annulateur figurent parmi les premiers associés, mais les premiers associés incluent des premiers enchâssés qui compliquent le tableau géométrique ; le choix dépend de la nécessité d'un témoin au niveau des éléments ou d'un locus topologique.

Synthèse

Un premier associé est un idéal premier qui apparaît comme annulateur d'un élément du module ; c'est un certificat algébrique d'une composante primaire, central pour la décomposition primaire et pour comprendre comment des morceaux de torsion au niveau des éléments s'assemblent dans la structure locale et globale du module.