Une composante associée correspondant à un premier associé qui n'est pas minimal pour l'inclusion ; autrement dit une pièce associée du schéma supportée à l'intérieur d'une autre composante et donc encastrée plutôt que minimale.

Principe

Les premiers associés cataloguent la structure primaire d'un module ou d'un idéal ; une composante associée encastrée provient d'un premier associé non minimal et enregistre les annihilateurs d'éléments ou de sous‑modules supportés à l'intérieur de composantes plus larges.

Démonstration

Pour le module R/I avec I = (x^2, xy) dans k[x,y], les premiers associés comprennent le premier minimal de l'axe des x et un premier associé encastré en (x,y) provenant de la classe de torsion en x ; cette composante associée encastrée correspond à ce premier non minimal.

Mauvaise application

Supposer que chaque composante associée contribue une pièce géométrique irréductible indépendante du schéma réduit — les composantes associées encastrées peuvent n'avoir aucun correspondant dans la décomposition topologique réduite et refléter plutôt des annihilateurs schématiques.

Conséquence

Reconnaître les composantes associées encastrées est essentiel pour une décomposition primaire correcte, pour calculer la cohomologie locale et pour comprendre les annihilateurs d'éléments ; elles affectent multiplicité et profondeur et guident les résolutions.

Inversion

Une composante associée minimale correspond à un premier minimal et donne un support irréductible de premier plan ; supprimer les composantes associées encastrées simplifie l'ensemble des premiers associés au spectre minimal.

Limite

La notion s'applique aux premiers associés et aux sous‑schémas associés ; elle exclut les premiers minimaux et les composantes irréductibles topologiques et ne désigne pas des composantes simplement contenues au sens d'ensembles si elles ne sont pas portées par des premiers associés.

Tension sémantique

Tension entre « composante associée encastrée » et « composante encastrée » dans l'usage : la première met l'accent sur l'origine par premier associé/annihilateur, la seconde insiste souvent sur l'image géométrique — elles se recoupent mais insistent sur des données algébriques différentes.

Synthèse

Une composante associée encastrée est un sous‑schéma associé issu d'un premier associé non minimal : elle encode des annihilateurs d'éléments et de la torsion supportée à l'intérieur de composantes plus larges et est cruciale pour une décomposition primaire et une analyse homologique correctes.