polynomial ring

It then follows that if A is a graded ring over a local ring, A is a homomorphic image of a polynomial ring over a regular local ring. For the sake of brevity, we refer to a graded polynomial ring over a regular local ring simply as a graded polynomial ring.