Intereting Posts

IID Random Variables that are not constant can't converge almost surely
Spectrum of symmetric, non-selfadjoint operator on Hilbert space
Not commuting exponential matrices
vector spaces whose algebra of endomorphisms is generated by its idempotents
Spaces with equal homotopy groups but different homology groups?
Relation of cubic B-splines with cubic splines
Does there exist a non-constant entire function $f$ such that $|f(z^3)| \leq 1 + |z|$ for all $z$?
polynomials such that $P(k)=Q(l)$ for all integer $k$
Does there exist a unital ring whose underlying abelian group is $\mathbb{Q}^*$?
Parametric Equation of a Circle in 3D Space?
Ring of formal power series over a field is a principal ideal domain
Number of sequences with n digits, even number of 1's
Estimating the Gamma function to high precision efficiently?
Prove that if Rank$(A)=n$, then Rank$(AB)=$Rank$(B)$
Probability of being same birthday of at least three people

I am trying to show that the quotient of a Dedekind domain $A$ by an ideal $\mathfrak{a}$ is a PIR (principal ideal ring). Now by using the Chinese Remainder Theorem and the fact that a direct product of PIRs is a PIR it will suffice to prove the following:

Let $\mathfrak{p}$ be a prime ideal of a Dedekind domain $A$. Then for any $n \in \Bbb{N}$ we have that $A/\mathfrak{p}^n$ is a PIR.

Now it is proven in Proposition 9.2 of Atiyah – Macdonald that a Noetherian local domain of dimension $1$ is a PID. Applying this proposition *mutadis mutandis* I think it will suffice to prove that $A/\mathfrak{p}^n$ is isomorphic to some kind of localization. Now we know that $$(A/\mathfrak{p}^n)_{\mathfrak{p}} \cong A_\mathfrak{p} \otimes_A A/\mathfrak{p}^n.$$

- Applications of additive version of Hilbert's theorem 90
- Intuition for Class Numbers
- Class number/ quadratic field/divisibility-$2$
- Ring of $p$-adic integers $\mathbb Z_p$
- Norms and traces example
- Poles of a sum of functions

If $A/\mathfrak{p}^n$ has the structure of an $A_\mathfrak{p}$ -module then the right hand side is in fact a tensor product over the localization and so

$$A_\mathfrak{p} \otimes_A A/\mathfrak{p}^n \cong A_\mathfrak{p} \otimes_{A_\mathfrak{p} } A/\mathfrak{p}^n \cong A/\mathfrak{p}^n.$$

My Question is:Can we make $A/\mathfrak{p}^n$ into an $A_\mathfrak{p}$ – module?

- Extensions and contractions of prime ideals under integral extensions
- Vague definitions of ramified, split and inert in a quadratic field
- When will $A$ satisfy the dimension formula?
- Cohen-Macaulay and connected implies equidimensional?
- Does there exist two non-constant polynomials $f(x),g(x)\in\mathbb Z$ such that for all integers $m,n$, gcd$(f(m),g(n))=1$?
- Criterion for locally free modules of rank $1$
- A proof that shows surjective homomorphic image of prime ideal is prime
- Homogeneous ideals are contained in homogeneous prime ideals
- Is fibre product of varieties irreducible (integral)?
- A characterization of invertible fractional ideals of an integral domain

To answer the question asked, one method is to mimic the proof that $m$ is invertible in $\mathbb{Z} / \mathbb{n} \mathbb{Z}$ if and only if $m$ and $n$ are relatively prime.

But since we’re merely in a Dedekind domain rather than a Euclidean domain, the key is to use ideal arithmetic.

If $s \notin \mathfrak{p}$, then the ideals $(s)$ and $\mathfrak{p}^n$ are relatively prime, and so $(s) + \mathfrak{p}^n = (1)$. Therefore, there exists some $t$ such that

$$ s t \equiv 1 \pmod{\mathfrak{p}^n}$$

Among the ways to finish the proof off are to observe that this means

$$ A[s^{-1}] / \mathfrak{p}^n \cong (A / \mathfrak{p}^n)[s^{-1}] \cong A / \mathfrak{p}^n $$

(I assume the notation is understood) which leads to an isomorphism

$$ A_\mathfrak{p} / \mathfrak{p}^n \cong A / \mathfrak{p}^n $$

EDIT: I’m sorry, that wasn’t very polite of me. Yes, there is an $A_\mathfrak{p}$-module structure–you can check below to see why.

I’m confused. I think their is an easier way to do this.

**Lemma:** *Let $A$ be a Dedekind domain, and $\mathfrak{p}$ a prime ideal. Then, $A_\mathfrak{p}$ is a PID.*

**Proof:** You know that $A_\mathfrak{p}$ is a Dedekind domain, and since it has only finitely many prime ideals (it’s local), it is a PID. $\blacksquare$

So, now let $\mathfrak{a}=\mathfrak{p}_1^{e_1}\cdots\mathfrak{p_g}^{e_g}$. Then, as you’ve said, we get that $A/\mathfrak{a}\cong A/\mathfrak{p}_1^{e_1}\times\cdots\times A/\mathfrak{p_g}^{e_g}$ and so it suffices to prove that $A/\mathfrak{p}^e$ is a PIR. But, note that $A/\mathfrak{p}^e$ is local (since the only prime dividing $\mathfrak{p}^n$ is $\mathfrak{p}$) with prime $\mathfrak{p}$. Thus, we know that $A/\mathfrak{p}^e$ is isomorphic to its localization. But, since localization commutes with quotients, the localization of $A/\mathfrak{p}^e$ is $A_\mathfrak{p}/\mathfrak{p}^eA_\mathfrak{p}$. But, by the lemma $A_\mathfrak{p}$ is a PID and so any quotient of it is a PIR.

This is a proof of Alex Youcis’ lemma above.

We prove that a Dedekind domain $A$ that is local (with maximal ideal $\mathfrak{m}$) is a PID. Suppose we are given an ideal $I \subseteq A$. Then it is clear that $I \subseteq \mathfrak{m}$. Now $\sqrt{I} = \mathfrak{m}$ for there is only one maximal ideal and prime ideals are maximal in a Dedekind domain.

Since $I$ is also Noetherian we conclude by Corollary 7.16 of Atiyah – Macdonald that there is some $n > 0$ such that $\mathfrak{m}^n \subseteq I$. However in a Dedekind domain, to contain is to divide and so we conclude that $I|\mathfrak{m}^n$ and so $I$ itself is a power of $\mathfrak{m}$. Now because $A$ is a Dedekind domain we see that $\mathfrak{m} \neq \mathfrak{m}^2$ (because of unique factorization). Hence we can choose an $x \in \mathfrak{m}$ such that $x \notin \mathfrak{m}^2$. Now consider $(x)$; by assumption there is a $k > 0$ such that $(x) = \mathfrak{m}^k$. Because $x \notin \mathfrak{m}^2$ we conclude that $ k = 1$ and so $\mathfrak{m} = (x)$. Since $(x)^k = (x^k)$ we conclude that any ideal $I$ in a Dedekind local domain is principal.

$\hspace{6.5in} \square$

- Produce unique number given two integers
- Does there exist an integer $x$ satisfying the following congruences?
- Partition of a set
- How to Prove the Root Test For Series
- New attempt to prove Dilworth Theorem
- To solve the system of Diophantine equations.
- Roots of polynomials over finite fields
- Borel Measures: Atoms (Summary)
- What is the intuition for using definiteness to compare matrices?
- Accuracy of Fermat's Little Theorem?
- what are the possible values for integral
- Characteristics subgroups, normal subgroups and the commutator.
- Find pairs of side integers for a given hypothenuse number so it is Pythagorean Triple
- Proof of recursive formula for “fusible numbers”
- Does there exist a sequence $\{a_n\}_{n\ge1}$ with $a_n < a_{n+1}+a_{n^2}$ such that $\sum_{n=1}^{\infty}a_n$ converges?