In einem N {\displaystyle {}\mathbb {N} } -graduierten Ring R = ⨁ d ≥ 0 R d {\displaystyle {}R=\bigoplus _{d\geq 0}R_{d}} nennt man R + = ⨁ d ≥ 1 R d {\displaystyle {}R_{+}=\bigoplus _{d\geq 1}R_{d}} das irrelevante Ideal.