Lexikon der Mathematik: Rees-Ring
der zu einem kommutativen Ring A und einem Ideal I ⊂ A durch
Rees(I, A) ist ein graduierter kommutativer Ring. Wenn I endlich erzeugt ist, so ist Rees(I, A) endlich erzeugt als Ring über A. Wenn A Noethersch ist (resp. endlich erzeugt über einem Noetherschen Ring R), so gilt dasselbe für Rees (I, A).
Die geometrische Bedeutung dieser Konstruktion ist, daß Proj(Rees(I, A)) (projektives Spektrum) die Aufblasung von X = Spec(A) in dem durch I definierten Unterschema Y ist.
Spec(Rees(I, A)/Rees(I, A)) ist der NormalenkegelCY\X von Y in X, und Proj(Rees(I, A)/ Rees(I, A)) ist der exzeptionelle Ort der Aufblasung von X in Y.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.