1
$\begingroup$

Let $A$ be a Noetherian domain of dimension 1. Let $K$ be its field of fractions. Let $B$ be the integral closure of $A$ in $K$. Suppose $B$ is finitely generated as an $A$-module. It is well-known that $B$ is a Dedekind domain. Let $I(A)$ be the group of invertible fractional ideals of $A$. Let $P(A)$ be the group of principal fractional ideals of $A$. Similarly we define $I(B)$ and $P(B)$.

Then there exists the following exact sequence of abelian groups(Neukirch, Algebraic number theory p.78).

$0 \rightarrow B^*/A^* \rightarrow \bigoplus_{\mathfrak{p}} (B_{\mathfrak{p}})^*/(A_{\mathfrak{p}})^* \rightarrow I(A)/P(A) \rightarrow I(B)/P(B) \rightarrow 0$

Here, $\mathfrak{p}$ runs over all the maximal ideals of $A$.

Since we use this result to prove this, it'd be nice that we have the proof here(I don't understand well Neukirich's proof).

EDIT Since someone wonders what my question is(though I think it is obvious), I state it more clearly: How do you prove it?

EDIT[July 11, 2012] May I ask the reason for the downvote so that I could improve my question?

  • 0
    Thank you for the clarification. It would be best if you included a summary (or scan of the relevant pages) of Neukirch's proof, so people know what approach you are confused by and can either explain it in more detail, or offer alternative proofs.2012-06-26
  • 0
    I forgot why I didn't understand well Neukirch's proof. Personally this does not matter anymore because I came up with my own proof.2012-06-26
  • 0
    I noticed that someone serially upvoted for my questions. While I appreciate them, I would like to point out that serial upvotes are automatically reversed by the system.2013-11-27

1 Answers 1