1
$\begingroup$

I'm trying to understand Serre's proof (in Local Fields) of the fact that a fractional ideal $\mathfrak{a}$ of a Dedekind domain factors uniquely as $\mathfrak{a} = \prod_{\mathfrak{p}}\mathfrak{p}^{v_{p}(\mathfrak{a})}$. The approach he took was that since $v_{\mathfrak{p}}(\mathfrak{a}) = 0$ for all but finitely many $\mathfrak{p}$, say, $v_{\mathfrak{p_{j}}}(\mathfrak{a}) = e_{j} \neq 0$ for $j = 1,\ldots, k$. Let $\mathfrak{b} = \prod_{j=1}^{k}\mathfrak{p_{j}}^{e_{j}}$. Then show $\mathfrak{a} = \mathfrak{b}$ locally, i.e, $\mathfrak{a}A_{\mathfrak{p}} = \mathfrak{b}A_{\mathfrak{p}}$ for all prime $\mathfrak{p}$; hence, they must be the same. I have been able to fill in most details except for the fact that $\mathfrak{a} = \mathfrak{b}$ locally. If they are integral ideal of $A$, I can prove it, but since they are fractional with possibly negative powers, I could not figure out how to prove that claim. Note that Serre seems to use the following definition for $v_{\mathfrak{p}}(\mathfrak{a})$ for a fractional ideal $\mathfrak{a}$:https://mathoverflow.net/questions/52198/what-is-the-definition-of-the-valuation-of-a-fractional-ideal and I have trouble applying that definition here. Any help is greatly appreciated.

  • 0
    Dear George: Thank you very much for the answer2011-01-19
  • 0
    for whatever reason you had two different accounts, which is why you were not able to comment on this question earlier. (If you log in with the same credentials every time, then you can comment on any posts you made and any answer to your questions.) I have merged your two accounts into one.2011-01-19

1 Answers 1