I am trying to understand the outline of the strategy for proving (via primary decomposition) that every non-zero ideal of a Dedekind domain can be expressed uniquely (up to the order of the factors) as a product of powers of distinct prime ideals.
I am using Atiyah & MacDonald and I have tried to outline their approach below. I would really appreciate it if someone would read it through and alert me of any slips in my understanding.
OUTLINE:
An integral domain (assumed not to be a field) is a Dedekind domain if
it is Noetherian;
it is integrally closed;
every non-zero prime ideal is maximal (i.e. it is dimension one).
First, it is noted that properties (1) and (3) are enough to ensure a unique decomposition into a product of primary ideals with distinct radicals. Property (2) is then used to show that every primary ideal in a Dedekind domain is a power of a prime ideal (not true in general: $(X,Y^2)$ is $(X,Y)$-primary in $K[X,Y]$ however we have $(X,Y)^2\subsetneq(X,Y^2)\subsetneq (X,Y)$ and so it is not a power of $(X,Y)$.) This last part is broken into two steps:
The localization $A_\mathfrak{p}$ of Dedekind domain $A$ at any non-zero prime ideal $\mathfrak{p}$ is a DVR;
The only primary ideals of a DVR are powers of its unique non-zero prime ideal $\mathfrak{P}$.
Hence the $\mathfrak{p}$-primary ideals of $A$ correspond (under localization) to powers of $\mathfrak{P}=\mathfrak{p}^e$ in $A_\mathfrak{p}$ and so, as powers of ideals behave well under localization, any $\mathfrak{p}$-primary ideal of $A$ is just a power of $\mathfrak{p}$.