Intereting Posts

Are all continuous one one functions differentiable?
Infinite Product $\prod_{n=1}^\infty\left(1+\frac1{\pi^2n^2}\right)$
Faster Convergence for the Smaller Values of the Riemann Zeta Function
Two exercises on characters on Marcus (part 1)
Commutative non Noetherian rings in which all maximal ideals are finitely generated
Motivation to understand double dual space
Closed form for the integral $\int_0^\infty t^s/(1+t^2)$
Proving a necessary and sufficient condition for compactness of a subset of $\ell^p$
The Fourier series $\sum_{n=1}^\infty (1/n)\cos nx$
Prove that the union of countably many countable sets is countable.
Priority of the content of a note by Lebesgue from 1905
coupon collector and Markov chains
Laplacians and Dirac delta functions
Integral $\int_{0}^{\infty}x^{-x}dx$
Definition of $ 1 + \frac{1}{2+\frac{1}{3+\frac{1}{4+\frac{1}{\ddots}}}}$

Let $A$ be a one-dimensional Noetherian domain.

Let $K$ be its field of fractions.

Let $B$ be the integral closure of $A$ in $K$.

Suppose $B$ is a finitely generated $A$-module.

It is well-known that $B$ is a Dedekind domain.

Let $\mathfrak{f} = \{a \in A; aB \subset A\}$.

Let $I$ be an ideal of $A$.

If $I + \mathfrak{f} = A$, we call $I$ regular.

I came up with the following proposition.

**Proposition**

Let $I$ be a regular ideal of $A$.

Then the canonical homomorphism $A/I \rightarrow B/IB$ is an isomorphism.

**Outline of my proof**

I used the result of this question.

- Prove that $x-1$ is a factor of $x^n-1$
- $n!$ is never a perfect square if $n\geq2$. Is there a proof of this that doesn't use Chebyshev's theorem?
- Combinatorial Proof of Multinomial Theorem - Without Induction or Binomial Theorem
- $X$ compact Hausdorff space, characterize the maximal ideals of $C(X)$
- Proof $\int_{-\infty}^\infty\frac{dx}{\left(e^x+e^{-x}+e^{ix\sqrt{3}}\right)^2}=\frac{1}{3}$
- Condition for $a, b + \omega$ to be the canonical basis of an ideal of a quadratic order

**My question**

How do you prove the proposition?

I would like to know other proofs based on different ideas from mine.

I welcome you to provide as many different proofs as possible.

I wish the proofs would be detailed enough for people who have basic knowledge of introductory algebraic number theory to be able to understand.

- In a principal ideal ring, is every nonzero prime ideal maximal?
- Is there an analogue of the jordan normal form of an nilpotent linear transform of a polynomial ring?
- A question about the equivalence relation on the localization of a ring.
- Finite free graded modules and the grading of their duals
- Example for an ideal which is not flat (and explicit witness for this fact)
- If $S$ is a finitely generated graded algebra over $S_0$, $S_{(f)}$ is finitely generated algebra over $S_0$?
- Bound on nilpotency index of endomorphisms
- square root of 2 irrational - alternative proof
- Exactness of sequences of modules is a local property, isn't it?
- $R^n \cong R^m$ iff $n=m$

Since $I + \mathfrak{f} = A$ one can write $1=\alpha+a$ with $\alpha\in I$ and $aB\subset A$. Then, for $b\in B$ we have $b=\alpha b+ab$, so $b-ab\in IB$, $ab\in A$, proving that the canonical $A/I\to B/IB$ is surjective. In order to show that it is injective we have to prove that $IB\cap A=I$: let $x\in IB\cap A$; then $x=\alpha x+ax$ with $\alpha x\in I$ (since $\alpha \in I$ and $x\in A$) and $ax\in I$ (since $aB\subset A$ implies $a(IB)\subset I$).

- For any positive integers $a,b$, one has $a^4|b^3$ implies $a|b$?
- Convergence types in probability theory : Counterexamples
- How prove $\frac{a}{11a+9b+c}+\frac{b}{11b+9c+a}+\frac{c}{11c+9a+b}\le\frac{1}{7}$
- Diagonalize a symmetric matrix
- Fit a equilateral triangle on three arbitrary parallel lines with an edge and compass
- Intruiging Symmetric harmonic sum $\sum_{n\geq 1} \frac{H^{(k)}_n}{n^k}\, = \frac{\zeta{(2k)}+\zeta^{2}(k)}{2}$
- test for convergence $\sum_{n=1}^{\infty} \frac{1}{n^n}$
- What is step by step logic of pinv (pseudoinverse)?
- Clarification regarding little n-discs operads
- Prove that $\sin(2A)+\sin(2B)+\sin(2C)=4\sin(A)\sin(B)\sin(C)$ when $A,B,C$ are angles of a triangle
- Why the axioms for a topological space are those axioms?
- Is there an automorphism of symmetric group of degree 6 sending a transposition to product of two transpositions?
- Probability of rolling $n$ successes on an open-ended/exploding dice roll
- Continuous Function
- Computing $\sum\limits_{n=1}^q {1\over (kn-1)(kn)(kn+1)}$ as a telescoping series, when $k\geqslant3$?