Let $R$ be a reduced noetherian rings of dimension $d$, $S$ be a multiplicative set of all regular elements of $R$, and $K=S^{-1}R$ be localisation of $R$. Show that $K[T]$ (polynomial in 1 variable over $K$) is a product of principal ideal domain and therefore show that $K[T]$ is a principal ideal ring (not necessarily a domain).
(Note that some of the conditions may be superfluous because I am taking this question off from a book which has many parts, and I am only taking some of it)
I tried searching online for answers, but the closest I can get is the Samuel-Zariski theorem which shows the converse. That is a principal ideal ring can be decomposed into finite product of principal ideal domain or special principal ring.
So if I try to reduce the problem, it would be $K[T]$ is a noetherian ring, of dimension $d+1$ I think, but not sure if it is reduced but $K$ is integrally closed in $K[T]$.
So the problem/ conjecture probably would be: let $A\hookrightarrow B$ be an inclusion of rings, $B$ be a noetherian ring of dimension $d$ and $A$ is integrally closed in $B$, then there is a decomposition of $B$ into product of PIDs.
I was thinking along the chinese remainder theorem because if I can find a suitable $\frak{p}_{i}$ for $i=1,...,n$ that are relatively prime (i.e. ${\frak{p}_{i}+\frak{p}_{j}}=B$ if $i\neq j$), then $B/\prod{\frak{p}_{i}\cong\prod }B/\frak{p}_{i}$. I have got a domain, but I can't proceed further.
Possibly my approach is all wrong, and the fact that $B$ is a polynomial ring shouldn't be left out. So I am pratically stuck.
How should I do this problem?
Thanks!
EDIT: I have changed the statement so that $S$ becomes a multiplicative set of all regular elements.