Number of generators of localized ideal

145 Views Asked by At

Let $A$ be a Dedekind domain and let $\mathfrak{p}\subset A$ be a prime. Assume that $\mathfrak{p}=(a,b)$ and suppose that $\mathfrak{p}A_\mathfrak{p}$ is principal.

Is it true that $\mathfrak{p}A_\mathfrak{p}$ must be generated by either $a/1$ or $b/1$?

1

There are 1 best solutions below

7
On BEST ANSWER

Hint:

For each non-zero prime ideal $\mathfrak p$ of a Dedekind domain $A$, $A_\mathfrak p$ is a (discrete) valuation domain.