Almost a discrete valuation ring

557 Views Asked by At

A Noetherian local ring is an integral domain with Krull dimension one, and the maximal ideal of R is principal, is called a discrete valuation ring (DVR). This is one out of many possibilities to define a discrete valuation ring (https://en.wikipedia.org/wiki/Discrete_valuation_ring).

But what do we get in addition, if we skip "dimension one"? The other way around, what are examples for noetherian local rings with maximal ideal principal, which are not DVR. What I can see is that fields are of this type, but I wasn't able to find other...

EDIT: In the comments a finite example is mentioned, that I've missed, but are there also infinite rings with this property? Also I want to keep integral domain as property if this is possible.

2

There are 2 best solutions below

0
On BEST ANSWER

Let $A$ be a Noetherian local ring with maximal ideal $\mathfrak{m}$. Consider three conditions:

  1. $A$ is an integral domain;
  2. $\mathfrak{m}$ can be generated by one element;
  3. $A$ has Krull dimension one.

Conditions (1) + (2) imply that $A$ is a DVR, in particular (3). There are two examples of $A$ in the comments (namely $\mathbb{Z}/p^{n}\mathbb{Z}$ or $k[t]/(t^{n})$) that satisfy (2) but not (1) or (3). In general, the Krull dimension of $A$ is less than or equal to the minimum number of generators of $\mathfrak{m}$ (see for example Eisenbud, "Commutative Algebra with a View Toward Algebraic Geometry", Theorem 10.2) so (2) implies that the Krull dimension of $A$ is either zero or one.

2
On

I think that $\mathbb Z/p^n \mathbb Z[[x]]$ works, being the power series ring over the example given in the comments.