Published online by Cambridge University Press: 20 November 2018
Let R = ⊕i ≧0Ri be a graded integral domain, and let p ∈ Proj (R) be a homogeneous, relevant prime ideal. Let R(P) = {r/t| r ∈ Ri, t ∈ Ri\p} be the geometric local ring at p and let Rp = {r/t| r ∈ R, t ∈ R\p} be the arithmetic local ring at p. Under the mild restriction that there exists an element r1 ∈ R1\p, W. E. Kuan [2], Theorem 2, showed that r1 is transcendental over R(P) and
where S is the multiplicative system R\p. It is also demonstrated in [2] that R(P) is normal (regular) if and only if Rp is normal (regular). By looking more closely at the relationship between R(P) and R(P), we extend this result to Cohen-Macaulay (abbreviated C M.) and Gorenstein rings.