Bourbaki

Exemple

Étiquette 0CHI, permanente. À citer comme [Bourbaki, Tag 0CHI].

Commutative Algebra, chapter IV, § 1. Idéaux premiers associés à un module

Soient aa un idéal de l’anneau de polynômes A=C[X1,...,Xr]A = \mathbf{C}[X_1, ..., X_r], V la variété algébrique affine correspondante, V1,...,VpV_1, ..., V_p les composantes irréductibles de V. Si on prend pour M l’anneau A/aA/a des fonctions régulières sur V, les idéaux de V1,...,VpV_1, ..., V_p sont des idéaux premiers associés à M mais ce ne sont pas les seuls en général.

(*) Les résultats de ce chapitre ne dépendent d’aucun autre Livre de la deuxième partie, ni du chap. I, § 4 ou du chap. III, § 5.

Comme l’annulateur de 0 est A, un élément x∈Mx \in M dont l’annulateur est un idéal premier est nécessairement ≠0\neq 0. Dire qu’un idéal premier pp est associé à MM revient à dire que MM contient un sous-module isomorphe à A/pA/p (savoir AxAx, pour tout x∈Mx \in M dont pp est l’annulateur).

Si un A-module MM est réunion d’une famille (Mi)i∈I(M_i)_{i \in I} de sous-modules il est clair que l’on a

Ass(M)=⋃i∈IAss(Mi). \text{Ass}(M) = \bigcup_{i \in I} \text{Ass}(M_i).

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.