Zu einem homogenen Primideal p {\displaystyle {}{\mathfrak {p}}} in einem N {\displaystyle {}\mathbb {N} } -graduierten Ring R {\displaystyle {}R}
ist R ( p ) {\displaystyle {}R_{({\mathfrak {p}})}} ein lokaler Ring.
