1
$\begingroup$

We know that DVRs are Dedekind domains by the characterization of Dedekind domains in terms of localizations at maximal ideals. There are many nice abstract ways to prove that DVRs are Dedekind domains. This is not what this question is about. I would like to see the following:


Can we see explicitly how the existence of a valuation map into $\mathbb Z$ ensures our ring is a Dedekind domain?

Here are the definitions I am using:

  • $A$ is a dedekind domain if every non zero ideal $\mathfrak{a}$ has a factorization into primary ideals, $\mathfrak{a}=\prod q_i$ where the $q_i$.

  • $A$ is DVR if it is a valuation ring and the valuation map has image in $\mathbb Z$.

How can we see that every non zero ideal has a factorization into primary ideals using just that we have a valuation map in $\mathbb Z$.

$\endgroup$
3
  • 1
    $\begingroup$ Hint: a DVR is a local PID. $\endgroup$
    – Aphelli
    Dec 27, 2020 at 16:15
  • $\begingroup$ Could you expand on this? I'm not sure where this is going.In a PID every ideal is generated by single element. How do we lift this to ideals in the DVR having a factorisation into prime ideals? $\endgroup$ Dec 27, 2020 at 16:30
  • 1
    $\begingroup$ A PID is also a UFD (with irreducible elements generating maximal ideals). $\endgroup$
    – Aphelli
    Dec 27, 2020 at 16:31

1 Answer 1

2
$\begingroup$

The ideals of a DVR are all of the form $(\pi^n)$ where $\pi$ is any element with valuation $1$ (let's assume that the image of $v$ is $\mathbb{Z}$ and not $k\mathbb{Z}, k >1$).

To see this, suppose $I$ is an ideal and pick $a \in I$ with minimal valuation $n$. Then $v(a/\pi^n) = 0$ so $a/\pi^n$ is a unit, so $\pi^n \in I$. This means that $(\pi^n) \subseteq I$.

Conversely, if $b \in I, b \neq 0$ then $v(b) \ge v(a)$ so $v(b/\pi^n) \ge 0$. Therefore $b/\pi^n \in R$ and therefore $b = (b/\pi^n) \cdot \pi^n \in (\pi^n)$.

So given that the ideals of $A$ are all of the form $(\pi^n)$, we immediately get unique factorization of (fractional) ideals because $(\pi^n) = (\pi)^n$.

The ideal $(\pi)$ is maximal since $x \in (\pi) \iff v(x) \ge 1$ so $A - (\pi) = \{x : v(x) = 0\} = A^\times$.

$\endgroup$
1
  • $\begingroup$ very nice and exactly what i was looking for! $\endgroup$ Dec 27, 2020 at 17:16

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .