Die Homogenität des Ideals a {\displaystyle {}{\mathfrak {a}}} bedeutet, dass für jedes H ∈ a {\displaystyle {}H\in {\mathfrak {a}}} mit homogener Zerlegung H = ∑ i H i {\displaystyle {}H=\sum _{i}H_{i}} auch H i ∈ a {\displaystyle {}H_{i}\in {\mathfrak {a}}} ist für alle homogenen Bestandteile H i {\displaystyle {}H_{i}} .