Graduierter Ring/Z/Irrelevantes Ideal/Definition

Irrelevantes Ideal

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