Let , is this ring normal (integral closed in its field of fraction)?
Edit (see comments below): Because is of height 1, then there exists one among
say
such that
for any
. Otherwise, if there are polynomials in one variable for each of the variables
contained in
, then
is of height
. Thus
becomes invertible in
for any
.
