Es sei R {\displaystyle {}R} ein kommutativer Ring, D {\displaystyle {}D} eine kommutative Gruppe und
D {\displaystyle {}D} -graduierte R {\displaystyle {}R} -Algebra. Ein Ideal a ⊆ A {\displaystyle {}{\mathfrak {a}}\subseteq A} heißt homogen, wenn zu f ∈ a {\displaystyle {}f\in {\mathfrak {a}}} auch die homogenen Komponenten f d ∈ a {\displaystyle {}f_{d}\in {\mathfrak {a}}} sind.
