Bourbaki

Exemple 2

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

Commutative Algebra, chapter VIII, § 6. Dimension des anneaux gradués

Soient AA un anneau local et aa un idéal de AA distinct de AA. Alors H=⨁nan/an+1H = \bigoplus_n a^n/a^{n+1} est un anneau gradué tel que H0=A/aH_0 = A/a soit local ; il est engendré par H0H_0 et H1H_1. L’anneau S−1HS^{-1}H est donc local et la filtration (S−1H≥n)(S^{-1}H_{\geq n}) est la filtration S−1H≥1S^{-1}H_{\geq 1}-adique. On prendra garde qu’en général les anneaux AA et S−1HS^{-1}H ne sont pas isomorphes. \* En particulier une variété algébrique n’est pas en général localement isomorphe au voisinage d’un point à son cône des tangentes en ce point. \*

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.