Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I need to prove the following lemma(?) which is motivated by this and this.

Lemma Let $A$ be a Noetherian domain of dimension 1. Let $K$ be the field of fractions of $A$. Let $B$ be the integral closure of $A$ in $K$. Suppose $B$ is finitely generated as an $A$-module. Let $\mathfrak{p}$ be a maximal ideal of $A$. Let $B_{\mathfrak{p}}$ be the localization of B with respect to the multiplicative subset $A - \mathfrak{p}$. Then $K^*/(B_{\mathfrak{p}})^*$ is isomorphic to $\bigoplus K^*/(B_{\mathfrak{P}})^*$, where $\mathfrak{P}$ runs over all the maximal ideals of $B$ lying over $\mathfrak{p}$.

EDIT[Jun 26, 2012] Using this lemma, we can prove the following result.

Proposition Let $A$ be a Noetherian domain of dimension 1. Let $K$ be the field of fractions of $A$. Let $B$ be the integral closure of $A$ in $K$. Suppose $B$ is finitely generated as an $A$-module. Let $I(B)$ be the group of invertible fractional ideals of $B$. Then $I(B)$ is canonically isomorphisc to $\bigoplus_{\mathfrak{p}} K^*/(B_{\mathfrak{p}})^*$. Here, $\mathfrak{p}$ runs on all the maximal ideals of $A$.

Proof: Since $B$ is a Noetherian domain of dimension 1, by this, $I(B)$ is canonically isomorphisc to $\bigoplus_{\mathfrak{P}} I(B_{\mathfrak{P}})$, where ${\mathfrak{P}}$ runs over all the maximal ideals of $B$. Since $B_{\mathfrak{P}}$ is a local domain, by this, $I(B_{\mathfrak{P}})$ is the group of principal fractional ideals of $B_{\mathfrak{P}}$. Hence $I(B_{\mathfrak{P}})$ is canonically isomorphic to $K^*/(B_{\mathfrak{P}})^*$. Hence $I(B)$ is canonically isomorphisc to $\bigoplus_{\mathfrak{P}} K^*/(B_{\mathfrak{P}})^*$. Hence by the above lemma, $I(B)$ is canonically isomorphisc to $\bigoplus_{\mathfrak{p}} K^*/(B_{\mathfrak{p}})^*$. QED

share|improve this question
    
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. –  Makoto Kato Nov 27 '13 at 7:06

1 Answer 1

Since $B_{\mathfrak{p}}$ is an integrally closed Noetherian domain of dimension 1, it is a Dedekind domain. Since it has only finitely many maximal ideals, it is a PID. Let $R = B_{\mathfrak{p}}$. By this, $K^*/R^*$ is canonically isomorphic to $\bigoplus_M K^*/(R_M)^*$, where $M$ runs on all the mximal ideals of $R$. Since $M$ is of a form $\mathfrak{P}R$, where $\mathfrak{P}$ is a maximal ideal of $B$ lying over $\mathfrak{p}$, $R_M$ is canonically isomorphic to $B_{\mathfrak{P}}$

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.