Graduierter Ring/Saturierung eines Ideals/Definition

Sättigung

Für ein homogenes Ideal in mit der Standardgraduierung definiert man die Sättigung (oder Saturierung) von als

Dabei ist das irrelevante Ideal .