Intereting Posts

Calculus in ordered fields
Criterion on whether a given ideal of a quadratic order is regular or not
Is it possible to find a companion matrix of a polynomial which is also hermitian?
Is this an equivalent statement to the Fundamental Theorem of Algebra?
Hilbert polynomial Twisted cubic
Line and plane intersection in 3D
Jeep problem variant: cross the desert with as much fuel as possible
How can I prove the identity $2(n-1)n^{n-2}=\sum_k\binom{n}{k}k^{k-1}(n-k)^{n-k-1}$?
Maximum area of a triangle in a square
Real Analysis Qualifying Exam Practice Questions
What are the theorems in mathematics which can be proved using completely different ideas?
Two homologous but not homotopic loops on a closed surface of genus greater than one
basis for hermitian matrices
Visual explanation of $\pi$ series definition
Uniform distribution with probability density function. Find the value of $k$.

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.$$

- Is there a procedure to determine whether a given number is a root of unity?
- Can the sum of the first $n$ squares be a cube?
- Elementary solution to the Mordell equation $y^2=x^3+9$?
- Is the algebraic norm of an euclidean integer ring also an euclidean domain norm?
- Discrete valuation ring associated with a prime ideal of a Dedekind domain
- Easiest way to show $x^2 - 229y^2 = 12$ has no solutions in integers

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?

- $M\oplus A \cong A\oplus A$ implies $M\cong A$?
- Atiyah-Macdonald, Exercise 8.3: Artinian iff finite k-algebra.
- The integral closure of a finite separable field extension of the fraction field is finitely generated
- Show that $M=\bigcap_{\mathfrak{p}\in\operatorname{Spec}(R)}M_\mathfrak{p}=\bigcap_{\mathfrak{m}\in\text{Max}(R)}M_\mathfrak{m}$ for certain $M$.
- Is there a purely imaginary unit in the cyclotomic number field of an odd prime degree?
- Why are maximal ideals prime?
- Group theory proof of existence of a solution to $x^2\equiv -1\pmod p$ iff $p\equiv 1 \pmod 4$
- How to find a quadratic form that represents a prime?
- Algebraic Integers in a Cyclotomic Field
- conductor of a quadratic extension of a number field

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$

- How to solve $ \displaystyle\int \bigg(\small\sqrt{\normalsize x+\small\sqrt{\normalsize x+\sqrt{ x+\sqrt{x}}}}\;\normalsize\bigg)\;dx$?
- Why is Frobenius norm of a matrix greater than or equal to the 2 norm?
- Does an equivalence of $G$-sets and $H$-sets imply an isomorphism of $G$ and $H$?
- Spectrum of infinite product of rings
- Confused on a proof that $\langle X,1-Y\rangle$ is not principal in $\mathbb{Q}/\langle 1-X^2-Y^2\rangle$
- probability distribution of coverage of a set after `X` independently, randomly selected members of the set
- Is a function Lipschitz if and only if its derivative is bounded?
- Bezouts Identity for prime powers
- Order of orthogonal groups over finite field
- Proving that there are infinitely many primes with remainder of 2 when divided by 3
- Is each “elementary + finite functions” function “elementary + finite functions”-integrable?
- Is there a good “bridge” between high school math and the more advanced topics?
- Question on finite Vector Spaces, injective, surjective and if $V$ is not finite
- Origin of the name 'test functions'
- How to enumerate subgroups of each order of $S_4$ by hand