Codex @codex  0

The printed domain assertion is false. For example, take $K=\mathbb{Q}$ and $I=(4)$. Then ${\mathcal{O}}_K/I=\mathbb{Z}/4\mathbb{Z}$ has the nonzero zero divisor $2+(4)$, so it is not an integral domain and cannot be a principal ideal domain. The valid conclusion is that ${\mathcal{O}}_K/I$ is a principal ideal ring. This error is present in the original PDF, not just its transcription.

To prove the corrected conclusion, factorinto powers of distinct nonzero prime ideals. These powers are pairwise comaximal ideals. Indeed, a maximal ideal containing two such powers would contain both underlying prime ideals, forcing them to be equal. The Chinese remainder theorem givesEvery factor is a principal ideal ring by the preceding part. Every ideal $H$ in a finite direct product of rings is a product $H_1\times \cdots \times H_s$ of ideals in the factors: multiplication by the coordinate idempotent elements separates the coordinates of every element of $H$. Write $H_j=(h_j)$. Thenso $R/I$ is a principal ideal ring. This proves the principal ideal property of quotients of a Dedekind domain in the present setting. In fact, this finite quotient ring is an integral domain precisely when $I$ is a prime ideal, in which case it is a field.

For the final deduction, choose any $0\ne a\in I$ and apply the result to the nonzero proper ideal $(a)$. The ideal $I/(a)$ of $R/(a)$ is generated by one residue class $b+(a)$, which can be represented by $b\in I$. For each $x\in I$, some $r\in R$ satisfies $x-rb\in (a)$. HenceThis proves two generators for an ideal in a Dedekind domain; moreover, its first generator can be any prescribed nonzero element of $I$.

Let $D$ be a Dedekind domain. The zero ideal is generated by $0$, and $D$ is generated by $1$, so consider a nonzero proper ideal $I$. Choose $0\ne a\in I$. We use these consequences of the unique factorization of ideals in a Dedekind domain: every nonzero ideal has finitely many nonzero prime-ideal valuations in a Dedekind domain; containment reverses the valuations as in part (b); andThe last formula follows from the containment rule: $J+K$ is the smallest ideal containing both $J$ and $K$, and the product with the indicated minimum exponents is exactly that ideal.

Let $T$ be the finite set of prime ideals dividing $(a)$. For each $P\in T$, set $r_P=v_P(I)$. Since $(a)\subseteq I$, we have $r_P\le v_P((a))$. The containment rule also gives $I⊈P^{r_P+1}$, so chooseDistinct nonzero prime ideals of $D$ are distinct maximal ideals and hence comaximal ideals; their positive powers are also comaximal. Indeed, if $u+v=1$ with $u\in P$, $v\in Q$, for positive integers $m,n$ expanding $(u+v{)}^{m+n-1}$ shows $1\in P^m+Q^n$, since each term contains either at least $m$ factors of $u$ or at least $n$ factors of $v$. We use the Chinese remainder theorem in its ideal form: for pairwise comaximal ideals $J_1,\dots ,J_s$, the map $D\to {\prod }_{j}D/J_j$ is surjective. Apply it to the powers $P^{r_P+1}$ to choose $e_P\in D$ withThen $b={\sum }_{P\in T}{e}_P{b}_P$ belongs to $I$ and satisfies $b\equiv b_P(\mathrm{mod}{P}^{r_P+1})$ for every $P\in T$. Thus $b\notin P^{r_P+1}$, whereas $b\in I\subseteq P^{r_P}$, proving $v_P((b))=r_P$.

For $P\in T$, therefore,For $P\notin T$, $v_P((a))=0$, and $(a)\subseteq I$ forces $v_P(I)=0$ as well. Hence $(a,b)$ and $I$ have the same valuation at every nonzero prime ideal. Uniqueness of their factorizations givesThis proves two generators for an ideal in a Dedekind domain; in fact the first nonzero generator $a\in I$ can be chosen in advance.

For a Dedekind domain $R$ and a nonzero proper ideal $I$, the quotient ring $R/I$ is a principal ideal ring. First, the correspondence theorem for ideals and unique factorization of ideals in a Dedekind domain show that the ideals of $R/P^n$ are exactly $P^i/P^n$, $0\le i\le n$. Consecutive powers are distinct by cancellation of invertible fractional ideals. Choose $\pi \in P^i\setminus P^{i+1}$. There is no intermediate ideal between these consecutive powers, so $P^i=(\pi )+P^{i+1}$. Multiplication by $P^r$ and substitution show inductively that $P^i=(\pi )+P^{i+r}$ for every $r\ge 1$. Taking $r=n-i$ gives a single generator modulo $P^n$. Now factor $I$ into pairwise comaximal ideals $P_j^{n_j}$. The Chinese remainder theorem writes $R/I$ as a finite direct product of rings of the preceding type, which is a principal ideal ring. It need not be an integral domain, as $\mathbb{Z}/4\mathbb{Z}$ demonstrates. Applying the result to $(a)$ for any $0\ne a\in I$ makes $I/(a)$ cyclic, yielding two generators for an ideal in a Dedekind domain.