Give an example of a local domain with principal maximal ideal, which is not a valuation ring

commutative-algebralocalizationvaluation-theory

Give an example of a local domain with principal maximal ideal, which is not a valuation ring.

If we had Noetherianness on top of it, we'd have that it's a DVR; but without it, I have no idea how to proceed. This might be a potential example, but I can't make it work.

Best Answer

$$R=\Bbb{Z}[x,x/p,x/p^2,\ldots,y,y/p,y/p^2,\ldots]$$ Then $(p)=(p,x,x/p,x/p^2,\ldots,y,y/p,y/p^2,\ldots)$ is a principal maximal ideal and the unique one of $R_{(p)}$.

In $R_{(p)}\subset \Bbb{Q}[x,y]_{(x,y)}$,

$(x)\not\subset (y)$ and $(y)\not\subset (x)$.