Zu einem Z {\displaystyle {}\mathbb {Z} } -graduierten Ring nennt man das von allen homogenen Elementen von einem Grad ≠ 0 {\displaystyle {}\neq 0} erzeugte Ideal das irrelevante Ideal. Es wird mit R + {\displaystyle {}R_{+}} bezeichnet.
