Isomorphism of $\mathcal{O}_K$-modules I came across the following claim in K Conrad's notes:
Let $L/K$ be a finite extension of number fields,
For fractional ideals $\mathfrak{a}, \mathfrak{b}$, and $\mathfrak{c}$ of $\mathcal{O}_L$, with $\mathfrak{a} \supseteq \mathfrak{b}$, it holds that $\mathfrak{ac}/\mathfrak{bc} \cong \mathfrak{a}/\mathfrak{b}$ as $\mathcal{O}_K$-modules.
When $\mathfrak{c}=(c)$ is principal the isomorphism is simply multiplication by $c$. In general I am not able to see how to get the isomorphism. Can someone help me? Thanks a lot.
 A: You should be able to localize the problem: there are many numbers you can invert without changing the quotients. If you invert enough numbers, your rings become principal ideal domains. (all but finitely many rational primes is guaranteed to be enough)
It may help to first reduce the problem to one of integral ideals.
A: Define $\mathfrak{ac}\to\mathfrak{a/b}$ by inclusion $x\mapsto x+\mathfrak{b}$. Note then that the kernel of this map is precisely $\mathfrak{ac}\cap\mathfrak{b}$. But, since we're in a Dedekind domain $\mathfrak{ac}\cap\mathfrak{b}=\text{lcm}(\mathfrak{ac},\mathfrak{b})=\mathfrak{bc}$.
EDIT: As anon points out, I forgot to mention surjectivity. To see this merely note that we must show that the sets $\mathfrak{ac/bc}$ and $\mathfrak{a/b}$ have the same cardinality--recall that all indexes in sight are finite. But, we know that 
$$[\mathfrak{a}:\mathfrak{b}]=\|\mathfrak{a}\|\|\mathfrak{b}\|^{-1}$$
and
$$[\mathfrak{ac}:\mathfrak{bc}]=\|\mathfrak{ac}\|\|\mathfrak{bc}\|^{-1}=\|\mathfrak{a}\|\|\mathfrak{c}\|\|\mathfrak{b}\|^{-1}\|\mathfrak{c}\|^{-1}=\|a\|\|\mathfrak{b}\|^{-1}$$
where $\|\mathfrak{r}\|=[\mathcal{O}_K:\mathfrak{r}]$ is the absolute norm of an ideal.
I assume above that no ideal is zero, but if that's true this is trivial.
EDIT: The above only works when $\text{gcd}(\mathfrak{b},\mathfrak{c})=(1)$--let me think about this for a bit, it would be nice to do it without having to localize!
