Procédé d'identification des idéaux premiers associés à un module ou à un idéal : ce sont les idéaux premiers qui apparaissent comme annihilateurs d'un élément du module ou qui surgissent dans la décomposition primaire comme supports des composantes primaires.

Principe

Parcourir des éléments (ou sous-modules) pour leurs annihilateurs et recueillir les annihilateurs premiers ; de manière équivalente, calculer une décomposition primaire et relever les idéaux premiers sous-jacents aux composantes primaires. Dans un contexte noethérien, cela donne un ensemble fini et bien défini de premiers associés reflétant les obstructions et supports locaux.

Démonstration

Pour le Z-module Z/12Z, les premiers associés sont (2) et (3) car 12 se décompose en parties de torsion 4 et 3, et il existe des éléments annulés par 2 ou 3 ayant ces annihilateurs premiers. Pour un idéal I dans un anneau de polynômes, la décomposition primaire de I et la prise des radicaux des idéaux primaires donnent les premiers associés.

Mauvaise application

Confondre les premiers associés avec les premiers minimaux de l'idéal de définition, ou supposer que les premiers associés sont toujours minimaux ; des premiers associés intégrés (embedded) peuvent exister et sont significatifs. Un autre abus consiste à prendre pour acquis que les premiers associés calculés après localisation ou extension sont identiques à ceux sur l'anneau d'origine sans vérifier le comportement par changement d'anneau.

Conséquence

La connaissance des premiers associés clarifie la structure locale du module : elle identifie où résident la torsion ou les composantes intégrées, guide la localisation, aide au calcul de la profondeur et des invariants de dimension, et est essentielle pour la décomposition primaire, la cohomologie locale et les tests d'exactitude.

Inversion

La perspective duale met l'accent sur les premiers minimaux du support ou sur l'ensemble des premiers du support : les premiers minimaux captent les composantes irréductibles du support tandis que les premiers associés comprennent à la fois des premiers minimaux et des premiers intégrés ; se concentrer uniquement sur les minimaux efface des informations de torsion utiles.

Limite

Bien comportement et fini dans les anneaux noethériens pour des modules de type fini ; dans des contextes non noethériens l'ensemble des premiers associés peut être infini ou pathologique. Le calcul dépend d'algorithmes de décomposition primaire ou de tests d'annihilateurs, et le comportement peut changer sous changement de base non plat.

Tension sémantique

La tension sémantique existe entre les premiers associés et d'autres notions liées aux idéaux premiers (support, premiers minimaux, spectre premier) : les premiers associés détectent les annihilateurs d'éléments et la structure intégrée, tandis que le support et les premiers minimaux mettent l'accent sur la géométrie ou la décomposition irréductible. Le choix dépend de la nécessité d'information sur la torsion élémentaire ou sur les composantes globales.

Synthèse

Le calcul des premiers associés est le processus de détection des idéaux premiers qui annihilent des éléments d'un module ou apparaissent comme radicaux des composantes primaires ; en contexte noethérien il donne un ensemble fini révélant la torsion et les phénomènes intégrés, guidant la localisation, la décomposition et les invariants liés à la profondeur, tout en exigeant prudence vis-à-vis du changement de base et des régimes non noethériens.