I am reading Local fields and see Serre using $v\_{\mathfrak{p}}(\mathfrak{a})$ where $\mathfrak{a}$ is a fractional ideal of the Dedekind domain $A$ and $v\_{\mathfrak{p}}$ is the valuation associated to the discrete valuation ring $A\_{\mathfrak{p}}$. Serre did not really define this in the book, I looked it up on the web and found the following definition: since $\mathfrak{a}$ is a fractional ideal, there exists $d\in A$ such that $d\mathfrak{a}\subset A$. Define $v\_{\mathfrak{p}}(\mathfrak{a})$ as $v\_{\mathfrak{p}}(d\mathfrak{a}) - v\_{\mathfrak{p}}(d)$ where $v\_{\mathfrak{p}}(d\mathfrak{a})$ is defined to be the power $k$ that gives $d\mathfrak{a}A\_{\mathfrak{p}} = (\mathfrak{p}A\_{\mathfrak{p}})^{k}$. This work fine in proving the theorems following this idea in Serre's book. However, I could not prove that this is well-defined since $d$ is certainly not unique. Clarification is appreciated. Thanks.



What is the definition of the valuation of a fractional ideal?
Let $d'$ be any other nonzero element of $R$ such that $d' \mathfrak{a} \subset R$. Then


$v\_{\mathfrak{p}}(d' \mathfrak{a}) + v\_{\mathfrak{p}}(d) = v\_{\mathfrak{p}}(dd' \mathfrak{a}) = 
v\_{\mathfrak{p}}(d') + v\_{\mathfrak{p}}(d\mathfrak{a})$. 


So 


$v\_{\mathfrak{p}}(d'\mathfrak{a}) - v\_{\mathfrak{p}}(d') = v\_{\mathfrak{p}}(d \mathfrak{a}) - v\_{\mathfrak{p}}(d)$.


(In general, Serre's *Local Fields* routinely leaves computations like this to the reader, so you should probably get practice working them out for yourself now, before the material becomes more difficult.)


